Topic

#Ai

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

Article 1w ago 6

Unslop Tools Are Turning AI Voice Into a Lint Error

Open-source de-AI-ifiers now treat ChatGPT cadence as a fixable build defect, and the easy half really is.

Mariana Souza

AI Made Prototypes Free. Production Didn't Get Cheaper.

New data from Veracode, Stack Overflow, and METR keeps confirming that the demo was never the hard part.

Article · 4w ago1

$This Time, the AI Math Breakthrough Actually Holds Up$

This Time, the AI Math Breakthrough Actually Holds Up

GPT-5.6 Sol's hint became a verified counterexample to Maxwell's 150-year-old conjecture — because humans did the checking.

Article · 4w ago0

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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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 · 1mo 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