After Math (terrytao.wordpress.com)

On September 8, 2026, OpenAI announced an AI-generated solution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. This significant achievement sparked discussions about the role of AI in mathematics and the balance of credit between human mathematicians and artificial intelligence. While some heralded it as a moment akin to Deep Blue's victory over Garry Kasparov, many in the mathematical community caution against oversimplifying the narrative. Mathematicians argue that merely producing an answer, albeit formally verified through Lean formalization, does not equate to providing a substantive, intelligible proof that contributes to the discipline's broader goals. The implications of AI's entry into mathematics are profound. Current AI outputs risk separating logical proofs from intelligible understanding, potentially leading to stagnation in creative thought and innovation within the field. Mathematicians emphasize that the essence of their work transcends mere problem-solving; it involves the development of new theories, fostering community, and valuing aesthetic contributions. Moving forward, the mathematical community must reflect on and redefine its objectives, ensuring that AI serves to enrich rather than diminish the human aspects of mathematical inquiry. The future of mathematics, in this context, poses choices about its identity and the interaction with advanced AI technologies.