AI crisis in math: OpenAI's solutions to longstanding problems spark existential debate among mathematicians

Robert Hart, The Verge’s London-based AI reporter, reports that OpenAI has published a set of solutions to longstanding open problems in mathematics, a release that, according to Hart’s account on The Verge’s Decoder podcast, prompted immediate and sharp debate within the mathematics community.

Hart told Decoder host Nilay Patel that he interviewed several accomplished mathematicians about the reaction to the OpenAI results. Per Hart’s reporting, the response among mathematicians has not been uniform celebration. Instead, discussion has centered on what it means for a field long considered resistant to automation to see an AI system produce solutions to problems that had stood unresolved for extended periods.

The Verge frames the episode as evidence of what it calls an “existential” debate among mathematicians, per Hart and Patel’s discussion, though the specific problems solved and the technical basis of OpenAI’s claims were not detailed in the material provided here.

The conversation, published August 20, 2026, situates the episode within broader questions about AI’s role in intellectual disciplines previously assumed to require the specific creative and logical faculties of trained human mathematicians. No further technical documentation, peer review status, or mathematician-by-name attribution beyond Hart’s general account was included in the available summary.