Hannah Fry: How OpenAI has caused an existential crisis in mathematics (www.newscientist.com)

OpenAI recently announced a groundbreaking achievement in mathematics, claiming to have developed proofs for numerous long-standing mathematical problems, including a significant breakthrough regarding the Navier-Stokes equations. This achievement, which includes showing that these equations can break apart—an issue that has intrigued mathematicians for decades—utilized an unprecedented strategy involving 10,000 AI agents communicating over 88 hours, resulting in the discovery of critical counterexamples and formal proofs. The work, however, surfaced in a format that many mathematicians find difficult to understand, leading to a mixed reception within the community. This milestone has sparked an existential crisis among mathematicians, reminiscent of previous upheavals caused by AI advancements in other fields. The sheer scale and pace of OpenAI’s efforts—coupled with the complex and opaque nature of the proofs—have raised concerns about the future of human mathematicians and their role in a field increasingly dominated by technology. With the results now publicly available on platforms like GitHub, the debate continues around the implications of AI's role in mathematics: whether it represents a collaborative tool for discovery or a challenge to the very essence of mathematical inquiry, ultimately shaping a new landscape where machines excel at a pace that humans struggle to match.