OpenAI's math breakthroughs spark existential crisis in mathematics field

The rapid shift in AI's mathematical capabilities represents a fundamental recalibration of what large language models can do. As recently as 2024, the conventional wisdom was that AI models were particularly bad at math—unable even to count letters in simple words like "strawberry." Yet within six to twelve months, models reached what researchers describe as professional-level performance on problems mathematicians have genuinely cared about and spent years trying to solve. This mirrors a pattern seen earlier in software engineering, where AI moved from being a curiosity to a tool that can handle significant professional work in a compressed timeframe.

The nature of the problems Astra solved offers clues to how this acceleration happened. The breakthrough problems are almost entirely self-contained theoretical puzzles where the work can be verified by running the proof again. There is no need for world knowledge or real-world intelligence; the system can apply horsepower and compute to a well-bounded problem space. This explains why AI excels at abstract mathematics while still being unable to reliably count or tell time—skills that require basic arithmetic or grounding in the external world, not high-level reasoning connections. Meanwhile, the mathematician community has noted that some areas, such as topology, may still be weak points for the models, confirming that the breakthrough is uneven across the discipline.