Sam Altman said on the Cheeky Pint podcast that OpenAI will keep publishing AI-generated solutions to unsolved math problems, despite backlash from mathematicians. He acknowledged disruption to the field but argued the world benefits from understanding how the universe works, while saying he has 'empathy for the method' used by critics. This follows controversy over OpenAI's Navier-Stokes solution, produced using 10,000 AI agents over 88 hours at roughly $10 million cost, which one mathematician said relied on his unreleased research.
futurism.com
· 2026-10-31
Google DeepMind's Demis Hassabis spoke at the International AI Summit in Dublin, arguing that AI technology will help solve climate change. He also referenced Google's new Gemini 4 Argon model and distinguished AI's strong performance in math, coding and games from its more limited role in physical sciences like physics and biology, which he said require human creativity and real-world experimentation.
cnet.com
· 2026-10-14
OpenAI's September 8 announcement of a solution to the Navier-Stokes problem included two versions of its proof: one in natural language with mathematical symbols, and one formalised in the Lean programming language for automated verification. A team led by Anders Hansen and Fabian Circelli at the University of Cambridge says these two versions do not actually match, meaning the Lean code may not faithfully represent the natural-language argument.
newscientist.com
· 2026-10-09
OpenAI released hundreds of papers containing AI-generated mathematical proofs, following earlier controversy over its models' handling of the Navier-Stokes equations. The Association for Human Mathematics issued a statement condemning the release, which was shared and endorsed by Fields Medalist Terence Tao, arguing the dump of files demonstrates power rather than scholarship. OpenAI's announcement cited consultations with an independent group, the Advisory Group on Mathematics and Artificial Intelligence, but did not mention that the group had actually opposed continued testing of its proprietary models on advanced problems.
futurism.com
· 2026-10-09
Mathematicians including Tristan Buckmaster of New York University say that after working for about a year on a fluid-dynamics puzzle related to the Navier-Stokes problem, OpenAI announced its agents had solved it the day after Buckmaster posted his own progress. Scientists say this is one of at least two recent cases in five weeks where AI companies reached or announced results on questions researchers were already pursuing, prompting some to limit sharing unpublished work with AI tools.
nature.com
· 2026-10-08
OpenAI released 722 manuscripts addressing progress on 372 significant mathematics problems, generated by an unreleased ChatGPT model, publishing them in a GitHub repository. The company said it largely followed release guidelines set by its advisory group AGMAI, including disclosing the model used and compute costs, though it withheld per-problem compute times and prompts. Claimed results include a solution to the four-dimensional Kakeya conjecture and progress toward the Riemann hypothesis.
engadget.com
· 2026-10-07
OpenAI reportedly plans to release on GitHub hundreds of mathematical solutions generated by an internal model it began training in August, including a claimed resolution of the Navier-Stokes Millennium Prize problem. Mathematicians who attended an August meeting with OpenAI say they asked the company to publish such findings as peer-reviewable papers rather than a bulk dump, a request they say was ignored. OpenAI spokesperson Lindsay McCallum says the company is consulting an advisory group at the Institute for Advanced Study and has not set a release date.
wired.com
· 2026-10-06
OpenAI announced it used thousands of AI agents to produce a solution to the Navier-Stokes existence and smoothness problem, a decades-old open question in mathematics. Mathematicians interviewed noted that this brute-force approach differs sharply from the traditional, deliberate process of mathematical discovery, which many compare to artistic creation.
wired.com
· 2026-09-28
OpenAI recently claimed its AI agents produced a solution addressing the Navier-Stokes equations, one of math's unsolved Millennium Problems, after running 10,000 agents for 88 hours. Mathematicians including Oxford's James Maynard and Brown's Javier Gómez-Serrano say the resulting proof, while apparently technically correct, is written in a form that is extremely difficult for humans to interpret or learn from.
futurism.com
· 2026-09-23
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.
scientificamerican.com
· 2026-09-22
OpenAI announced an independent Advisory Group on Mathematics and Artificial Intelligence, hosted at Princeton's Institute for Advanced Study, to give mathematicians input into its math research. The move follows OpenAI's claim that an internal model solved the Navier-Stokes Millennium Prize problem plus over 100 other open math problems, and comes after 25 Fields Medal winners signed a letter warning AI labs are undermining mathematical scholarship. Nine mathematicians have joined as founding members of the unpaid advisory body.
techcrunch.com
· 2026-09-21
Following OpenAI's announced solution to a Navier-Stokes Millennium Prize variant, thousands of mathematicians signed declarations like the Leiden Declaration and Math and AI letters seeking to protect research norms, while others opposed events such as the Caltech Mathathon. Economists and technologists pushed back, arguing mathematicians should adapt rather than resist AI's growing role. Po-Shen Loh's essay examines these objections and questions whether human mathematicians remain necessary.
terrytao.wordpress.com
· 2026-09-20
GoKawiil