Jacob Tsimerman won the biggest prize in math. Now he’s working on the most important problem of his career.
Thomas Wolf on Twitter / X
wtf is this way to handle mathematicians work and scientific communicationTLDR: Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and… https://t.co/zNozwkFcFO pic.twitter.com/XcefJ17AQe— Thomas Wolf (@Thom_Wolf) September 8, 2026
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.
OpenAI’s math breakthrough played to AI’s strengths
I tried to explain OpenAI’s solution more clearly than OpenAI did.
Can AI replace mathematicians? Vienna researchers weigh in
In September, OpenAI announced that some 10,000 AI agents partially 'solved' the Navier–Stokes problem, one of the most prestigious open challenges in mathematics. University of Vienna mathematicians Nathanaël Berestycki and Vera Fischer agree that the field will never be the same, but argue that maths is far more than producing proofs at speed.
OpenAI spent millions to solve this famous math problem — mathematicians are furious
Mathematics relies on a community of experts openly sharing ideas.
AI co-mathematician: Accelerating mathematicians with agentic AI
We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to provide holistic support for the exploratory and iterative reality of mathematical workflows, including ideation, literature search, computational exploration, theorem proving and theory building. By providing an asynchronous, stateful workspace that manages uncertainty, refines user intent, tracks failed hypotheses, and outputs native mathematical artifacts, the system mirrors human collaborative workflows. In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover overlooked literature references. Besides demonstrating a highly interactive paradigm for AI-assisted mathematical discovery, the AI co-mathematician also achieves state of the art results on hard problem-solving benchmarks, including scoring 48% on FrontierMath Tier 4, a new high score among all AI systems evaluated.
OpenAI accused of stealing math proof from expert Andreas Thom | Valerio Capraro posted on the topic | LinkedIn
BREAKING: OpenAI might have stolen another major proof. In a detailed Mathstodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved. I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem. If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself. And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents. We may be looking at one of the greatest intellectual scandals in the history of science. AI is not discovering new mathematics. AI is stealing human discovery. | 201 comments on LinkedIn
Ale×ey on Twitter / X
Funniest possible outcome of new ai math proofs publications would be that explosive progress cannot be delivered through individual genius and singular products but only through contextualized human understanding and embedding of knowledge.— Ale×ey (@EqualParallel) October 7, 2026
One of the world's biggest mathematicians Joel David Hamkins says AI models are basically zero help for mathematics as they produce… - The Times of India
Technology News News: Joel David Hamkins, a leading mathematician and logic professor at the University of Notre Dame, has fired a withering salvo at large language models .
The End of Mathematics — Daniel Litt
I'm currently returning to Toronto from a summit on the future of mathematics, at OpenAI. Sebastian Bubeck asked me to talk a bit about the future we'd all like to avoid, where humans are mathematically disempowered. Jacob Tsimerman advised us to try to prioritize detail over correctness, and I have no doubt that I succeeded in deprioritizing correctness.
The Mathocalypse
Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: “mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on …
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
A Severe Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
A landmark announcement by the frontier AI lab has been overshadowed by accusations of impropriety.
Phillip M. Alday
I was a struggling mathematician, then a linguist and now a (cognitive) neuroscientist, but will probably always be a hacker. I also moonlight as an applied statistician. These are some of the things I’ve done along the way.