OpenAI announced a proof addressing the Navier-Stokes problem, one of the Clay Mathematics Institute's Millennium Prize challenges, generated with help from an internal large language model. Mathematicians, including Luis Silvestre of the University of Chicago, argue the proof relies on introducing an external force that alters the equations into a version disconnected from real fluid behavior. Three mathematicians have since posted their own proof showing OpenAI's method cannot be extended to resolve the original, unmodified problem.
A group of prominent mathematicians, including Timothy Gowers, Ravi Vakil and Edward Witten, has launched the Advisory Group on Mathematics and Artificial Intelligence, based at Princeton's Institute for Advanced Study and online at agmai.org. The group aims to advise AI companies on how they present and release mathematical results and to serve as a communication channel between the mathematics community and the AI industry.
A website hosts several hundred paper models of polyhedra, the geometric solids that have long drawn interest from mathematicians and artists. Visitors can browse pictures of the shapes and click through to printable nets that let them assemble the models themselves at no cost.
In a guest post, 3Blue1Brown creator Grant Sanderson argues that as AI systems become capable of generating proofs without genuine understanding, mathematicians should formalize and reward 'motivated explanations' as academic work on par with solving open problems. He contends this shift would better reflect what mathematicians actually contribute beyond just producing correct proofs.
OpenAI announced that its most advanced AI model produced a mathematical proof that the Navier–Stokes equations, which describe fluid flow, can generate a singularity — a point of physically impossible infinite speed. Mathematician George Karniadakis calculated that for air this breakdown occurs at a vortex width of about 70 nanometres, roughly the distance a molecule travels before colliding with another.
OpenAI announced on 8 September that one of its AI models had solved a major open problem in fluid dynamics, the Navier-Stokes puzzle. The claim provoked backlash after researchers, including Tristan Buckmaster and Levent Alpöge, said they had already been working on the same problem using AI tools from OpenAI and Anthropic and were tipped off before the announcement. Twenty-five Fields Medal winners have since signed an open letter warning that AI involvement in mathematics raises serious plagiarism and credit-attribution concerns.
OpenAI announced it had solved part of the Navier–Stokes Millennium Prize Problem using an AI system, but the announcement via press release drew criticism for lacking transparency about verification and prior human contributions. Hours earlier, mathematicians Tristan Buckmaster and Levent Alpöge said they had reached a partial solution using AI tools from both OpenAI and Anthropic, raising questions about who deserves credit for the breakthrough.
A discussion thread examines how medieval mathematicians like Scipione del Ferro hid discoveries such as cubic-equation solutions to protect their livelihoods, using secrecy as leverage in public problem-solving contests. The post traces this culture of concealment through the Newton–Leibniz calculus dispute, contrasting it with today's norm of open publication despite paywalls and peer-review issues.
Almost 5,000 mathematicians, including 25 Fields medalists, signed a declaration titled 'A Severe Misalignment of AI in Mathematics,' arguing that AI's success at solving famous problems is being mistaken for genuine mathematical progress. They contend that solving problems is merely a proxy for the real goal of conceptual insight, and that rapid AI-generated 'true/false' outputs could crowd out the slower work of idea generation rather than advance it.
A new essay from Proofs and Prompts traces how AI systems went from struggling with basic arithmetic three years ago to earning IMO gold-medal-level scores last year, and are now autonomously cracking open research problems. The author, who previously gave a talk called 'The End of Mathematics,' argues this trajectory will force a fundamental restructuring of how the mathematics profession operates, even though outright 'solving' math isn't the point.
Twenty-five Fields Medal winners signed a letter titled 'A Severe Misalignment of AI in Mathematics,' arguing that AI companies rush out proof announcements—reportedly including a claimed solution to the Navier-Stokes problem attributed to OpenAI—without proper writeups, credit to prior work, or space for conceptual understanding. The commentary piece agrees with the medalists' critique of AI companies but turns the argument back on the mathematics community itself, noting the irony that the letter was also released hastily without consultation, and questioning whether academia has truly nurtured students and ideas as it claims to value.
OpenAI says it has solved a Millennium Prize-level math problem, extending a string of high-profile claims in mathematics. Researchers including Tristan Buckmaster and Andreas Thom say the company has been vague about whether their own prior work, done through OpenAI's Codex tool, fed into its results. OpenAI denies this, insisting Buckmaster's recent prompts could not have influenced the system's training.
GoKawiil