Inference is now accepting submissions submit your article


Dispatches

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

Recent Articles



Letters to the Editors



From the Archives


Endmark

Copyright © Inference 2026

ISSN #2576–4403