Mehtaab Sawhney

Inside OpenAI’s Breakthroughs in Mathematical Reasoning

Lisha Li, Mehtaab Sawhney, Mark Sellke

The AI model Astra has achieved significant breakthroughs in pure mathematics by resolving open problems in sphere packing, spherical codes, and the existence of non-sofic groups through emergent reasoning capabilities like backtracking and parallel processing. These results demonstrate that large language models can synthesize complex algebraic structures and high-dimensional analysis without explicit programming, effectively closing long-standing gaps in asymptotic bounds and group theory. Consequently, the mathematical community is shifting its focus from theorem proving to the curation of problems and the interpretation of AI-generated insights, signaling a new era where human intuition complements machine persistence.