Anthropic says Claude, running for days with minimal human oversight on its Claude Science platform, computed the nine-loop six-particle scattering amplitude in planar N=4 super Yang-Mills theory, a recognized frontier problem in theoretical physics.
Wharton associate professor Edgar Dobriban used GPT-5.6 Sol Pro to disprove a conjecture in multiple hypothesis testing that had stood for about 20 years, and posted the result as an arXiv preprint listing himself as sole author.
In 1946 Paul Erdős posed the unit distance problem: among n points in the plane, how many pairs can be at distance exactly 1? For nearly 80 years mathematicians widely believed the square grid was optimal. OpenAI says its internal reasoning model produced the first fully autonomous counterexample proof.
OpenAI has published a collection of mathematical results generated by an internal frontier model: 722 manuscripts and 372 "result families" covering number theory, algebra, topology, logic and theoretical computer science. The model reportedly faced about 4,000 open problems, and the results that survived were compiled and released.
French AI lab Mistral on October 6 released Mistral Large 4, its largest and most powerful model to date, internally codenamed "Le Chonk" (meaning "big fat cat"), mounting a direct challenge to US closed frontier models and Chinese open-weight models.
AI-native pharmaceutical company Talus Bio has launched Ptarmigan-1, billed as the first AI model that can predict small-molecule binding across the entire human proteome without needing three-dimensional structures, and has opened public access.