
ModelsLead story
Google DeepMind's Athletica Solves Six of Ten Novel Math Proofs at Publishable Quality
DeepMind's new autonomous math agent, built on Gemini 3 DeepThink, scored above 91.9% on the IMO proof benchmark.
Jaeden SchaferEditor in Chief3 min read