Anthropic says the agents began with minimal prompts, developed their own coordination methods, and used a list of intermediate theorem statements rather than mathematical references. The resulting formalization reportedly required one-third as many computational action tokens as the earlier attempt and produced a proof seven times shorter. ...Read more
Anthropic reports that 1,000 cooperating Claude Fable 5.2 agents formalized Fermat's Last Theorem in thirty hours, with minimal human intervention. An earlier system required eleven days. The achievement suggests striking progress in automated mathematical formalization, although independent verification remains essential ...Read more
An Anthropic study of 207,000 scientific AI sessions finds that researchers predominantly use language models for data analysis and writing, rather than generating hypotheses. Mathematics and computer science show particularly high adoption. The findings suggest a substantial gap between AI’s present uses and its scientific ambitions ...Read more
Copyright © Inference 2026
ISSN #2576–4403