Topic

#Ai

55 articles on Ai — news, releases, guides and analysis from the SourceFeed engine.

Article 3h ago 1

Anthropic's New Benchmark Scores Reasoning Nobody Can Verify

The Conceptual Reasoning Index grades argument quality and logical coherence in domains with no ground truth.

Mariana Souza

Nobody Shut Down AlphaFold. Check Your License Instead.

Google dissolved the team, not the database, and the real migration risk was never Google's org chart.

Article · 2w ago5

An AI Just Cracked HAWK-256. Read the Fine Print.

Anthropic's Claude found a real key-recovery attack, but on a toy parameter set nobody ships and a weakness HAWK's own team had already flagged.

Article · 2w ago0

AI Cryptanalysis Is Real, and Verification Is the Bottleneck

Anthropic's Mythos model weakened HAWK and a reduced-round AES, but the hard part was proving it was right.

Article · 2w ago5

No, an AI Did Not Break AES

Claude found real weaknesses in reduced-round ciphers and a NIST candidate — but the story is cost curves and verification, not broken crypto.

Article · 2w ago5

Kimi K3 Is Open. You Still Can't Run It.

Moonshot's 2.8-trillion-parameter release is the biggest open-weights drop ever, and it redefines what open means.

Article · 2w ago2

Tao at ICM: AI Makes Proofs Cheap and Trust Expensive

The ICM 2026 lecture reframes AI-for-math as a pipeline problem software teams will recognize immediately.

Article · 2w ago4

Terence Tao's Proof-Abundance Problem Is Software's Too

His ICM 2026 lecture on Goodhart's law and verification bottlenecks maps directly onto AI code generation.

Article · 2w ago1

Washington's Case Against Kimi K3 Doesn't Quite Add Up

The distillation timeline is shaky, but the sanctions threat is very real for teams building on Chinese open weights.

Article · 2w ago0

AI Flew a Stock F-16. The Retrofit Kit Is the Real News

DARPA's VENOM program turns fleet-standard fighters into autonomy testbeds without touching the jet's core software.

Article · 3w ago0

Cisco's $1 Bug Finder Ties GPT-5.5 by Undercutting It

Antares shows tiny specialized models matching frontier ones at vulnerability triage — and reveals how unsolved the task still is.

Article · 3w ago7

AI turned a routine SQL bug into a WordPress catastrophe

The scary part of wp2shell isn't discovery. It's how cheaply a model chained the flaw to full RCE.

Article · 3w ago1

Build a Browser-Automation Agent with OpenAI Function Calling and Playwright

Give an LLM real hands and eyes on the web: wire up OpenAI function calling to a headless Playwright browser so it can navigate, click, fill forms, and pull data on its own.

Tutorial · 4w ago2

The junior developer collapse is real, but misdiagnosed

The data shows a specific kind of coding job dying while the title 'software developer' keeps growing.

Article · 1mo ago5

Why Japan's AI Patent Ban Matters for Dev Teams

Japan's top court rules AI cannot hold patents, forcing engineering teams to rethink how they protect autonomous code.

Article · 1mo ago5

GLM 5.2 Beats Claude in Security Benchmark

Zhipu AI's open-weight model outshines proprietary giants in detecting complex access control vulnerabilities without leaking code.

Article · 1mo ago6