Claude Fable 5.2 AI Agents Rebuild Fermat's Last Theorem Proof in 30 Hours, Starting With 47 Lemmas
· techtimes.com · popularity 19/100 · 0 similar stories today · AI & Data Science (Artificial Intelligence)
Read the original at techtimes.com →
Summary
Fable 5.2 Fermat's Last Theorem run took 30 hours, but Anthropic's engineering post says the 1,000 Claude agents began with 60 target statements, a route sketch and 47 proved lemmas, and got one Lean kernel check, not September's comparator review. Also covered: a Quantum ESPRESSO speedup that is a 36x geometric mean, and two unrefereed AI-written physics preprints.
Found in: Tech Times. Rating basis: single outlet; outlet tier 2 (unlisted); 1 feeds; feed position 9.