The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem
Mathematicians are expressing intense anger as automated systems from OpenAI and Anthropic rapidly solve historic math puzzles. OpenAI is consulting with mathematicians as the field braces for disruptive new results. Meanwhile, student organizers at Caltech redesigned their AI-powered Mathathon following objections from mathematicians, dropping sponsorships from both OpenAI and Anthropic. The backlash highlights deep anxiety over automated research practices, the lack of human-readable understanding in massive machine-generated proofs, and commercial interference in academic competitions.
Listen to Live Briefing
Real-time synthesized voice briefing · Live Feeds Desk
- ✓ Caltech student organizers redesigned their AI-powered Mathathon after mathematicians objected.
- ✓ Caltech student organizers dropped sponsorship from OpenAI and Anthropic for the Mathathon.
What changed
Caltech student organizers dropped sponsorships from OpenAI and Anthropic and redesigned their Mathathon after facing pushback from mathematicians.
Live updates
-
Mathematicians Clash With AI Labs as Automated Proofs Multiply
Mathematicians are expressing intense anger as automated systems from OpenAI and Anthropic rapidly solve historic math puzzles. OpenAI is consulting with mathematicians as the field braces for disruptive new results. Meanwhile, student organizers at Caltech redesigned their AI-powered Mathathon following objections from mathematicians, dropping sponsorships from both OpenAI and Anthropic. The backlash highlights deep anxiety over automated research practices, the lack of human-readable understanding in massive machine-generated proofs, and commercial interference in academic competitions.
Why it matters
The recent acceleration in automated mathematical discovery follows OpenAI announcing that an internal multi-agent AI system solved the Navier-Stokes existence and smoothness problem. Anthropic subsequently solved a probability theory problem just days after a Fields Medalist predicted such an achievement, while an AI model broke the Erdős unit distance problem in 2026. These developments have divided the mathematical community, sparking debates over whether opaque, machine-generated solutions advance true scientific comprehension.
What is confirmed
- Caltech student organizers redesigned their AI-powered Mathathon after mathematicians objected.
- Caltech student organizers dropped sponsorship from OpenAI and Anthropic for the Mathathon.
Still unconfirmed
- OpenAI is keeping advisors close as the field braces for a new wave of results that could upend mathematical work.
- Anthropic succeeded in solving a probability theory problem just days after a Fields Medalist predicted an AI would solve the puzzle.
- An AI model broke the 80-year-old Erdős unit distance problem in 2026.
- Mathematicians are furious and OpenAI agents are described as running around like unsupervised toddlers with root access.
- The money behind the AI mathematical efforts is starting to creak.
What to watch next
- Whether additional academic institutions sever ties with artificial intelligence laboratories over proof automation disputes
- Response from OpenAI and Anthropic to academic backlash regarding competition sponsorships
- Further peer review and readability assessments of machine-generated proofs by the broader mathematical community
confidence 90%Sources used for this update (5)
- www.theverge.com — OpenAI keeps bulldozing mathematicians - The Verge
- www.scientificamerican.com — AI solves a ‘holy grail’ problem from probability theory
- hoodline.com — Caltech Mathathon Redesigned After AI Backlash
- blog.sqlauthority.com — Erdős Unit Distance Problem: What It Is and What AI Found
- teeashby.substack.com — AI’s Misalignment Is Coming From Inside the House
-
Mathematicians Divided After OpenAI Claims Navier-Stokes Solution
OpenAI announced on September 8 2026 that an internal multi-agent AI system solved the Navier-Stokes existence and smoothness problem. The Clay Mathematics Institute established this challenge in 2000 as one of seven Millennium Prize Problems carrying a $1 million award, leaving a 90-year-old question about fluid dynamics without an answer until now. However, mathematicians report that the resulting 166-page proof is largely unreadable and has provided minimal human understanding so far. This has triggered intense disputes over research practices and competing visions for automated mathematical discovery.
Why it matters
The Navier-Stokes existence and smoothness problem asks whether the mathematics of fluid dynamics can break down over time. OpenAI utilized an internal multi-agent AI system to tackle the 90-year-old question, yielding a massive 166-page proof that experts struggle to comprehend. This friction exposes a growing philosophical and methodological divide between traditional human-led mathematical research and automated artificial intelligence discovery.
What is confirmed
- On September 8 2026, OpenAI announced that an internal multi-agent AI system solved the Navier-Stokes existence and smoothness problem.
- The Navier-Stokes existence and smoothness problem is one of the seven $1 million Millennium Prize Problems established by the Clay Mathematics Institute in 2000.
- Mathematicians state that the 166-page proof generated by OpenAI is largely unreadable and has yielded little human understanding so far.
Still unconfirmed
- A brilliant researcher nearing a breakthrough faced an offer from a powerful, shadowy organization promising money and status.
- Disputed research practices and competing visions of AI sharpen a debate over mathematical discovery.
What to watch next
- Formal peer review and verification of the 166-page Navier-Stokes proof by independent mathematicians
- Official evaluation and statement from the Clay Mathematics Institute regarding the $1 million prize eligibility
confidence 100%Sources used for this update (5)
- math-soc.com — AI Solves Navier-Stokes Existence and Smoothness Problem
- rocketnews.com — AI solved one of math’s hardest problems. Humanity learned ...
- news.sbs.co.kr — "Did AI Solve a 90-Year-Old Math Problem?" The Plot Twist and ...
- engtechnica.com — OpenAI’s Math Claim Divides Mathematicians - ENGtechnica
- theloopskill.substack.com — The Mathematician Who Wouldn’t Sell His Soul to AI
-
Mathematicians Baffled by OpenAI's Navier-Stokes Proof
OpenAI claims to have solved one of the world's toughest math problems, the Navier-Stokes equations, using AI agents. However, mathematicians are struggling to understand the proof, calling it 'borderline incomprehensible'. The solution was generated by 10,000 AI agents in 88 hours, but its validity and significance are disputed. The Clay Mathematics Institute offers a $1 million prize for solutions to the seven Millennium Prize Problems, including Navier-Stokes.
Why it matters
The Navier-Stokes equations are a set of nonlinear partial differential equations that describe the motion of fluid substances. Solving these equations is crucial for understanding ocean currents, atmospheric flows, and other complex phenomena. The problem has been open since 2000, and its solution has far-reaching implications for mathematics, physics, and engineering.
What is confirmed
- The Navier-Stokes equations are one of the seven Millennium Prize Problems established by the Clay Mathematics Institute in May 2000.
- OpenAI claims its AI agents solved the Navier-Stokes problem in 88 hours.
- Mathematicians find OpenAI's proof 'borderline incomprehensible'.
- The Clay Mathematics Institute offers $1 million for solutions to the seven Millennium Prize Problems.
Still unconfirmed
- Tristan Buckmaster and Levent Alpöge, mathematicians at New York University, are clashing with OpenAI over the solution.
- Anthropic, a rival AI company, may be working on a competing solution.
What to watch next
- Peer review of OpenAI's proof
- Verification of the solution by independent mathematicians
- OpenAI's response to criticism from the mathematical community
confidence 80%Sources used for this update (8)
- futurism.com — Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible
- www.bloodinthemachine.com — How the stories about all-powerful AI are swallowing the world - Substack,Brian Merchant ,Blood in the Ma....
- www.europesays.com — Mathematicians learn little from AI completing unsolved ...
- miscellanynews.org — Vassar mathematicians reflect on OpenAI’s proof
- dev.to — Navier-Stokes solved? What OpenAI's proof shows and why it's ...
- northiowatoday.com — AI Just Cracked a $1 Million Millennium Prize Problem. Here ...
- www.mindstudio.ai — The Navier-Stokes AI Proof Controversy, Explained | MindStudio
- www.tuftsdaily.com — Mathematicians still checking the Navier-Stokes proof that ...
-
Mathematicians Wrestle with AI Reliance After Navier-Stokes Proof
OpenAI claims a mathematical tour de force with its proof of the Navier-Stokes problem, though real-world applications remain years away or uncertain. Powerful artificial intelligence models present an existential risk to the mathematical profession while simultaneously proving too useful for researchers to abandon. This tension highlights an ongoing debate over the impact of automated systems on traditional academic practices and professional standards.
Why it matters
OpenAI previously reported substantial progress on a second Millennium Prize mathematics problem alongside a confirmed breakthrough in high-dimensional sphere packing that solved a 48-year barrier. These successive developments deepen an ongoing debate among mathematicians concerning the value of conventional methods against rapid computational advancements. Researchers find themselves caught between existential threats to their field and an inescapable reliance on automated tools.
What is confirmed
- OpenAI claims a proof of the Navier-Stokes problem.
- Powerful AI models create an existential risk to the field of mathematics.
Still unconfirmed
- Real-world applications of the Navier-Stokes proof may be years away or might never arrive.
What to watch next
- OpenAI disclosing which specific second Millennium Prize mathematics problem it is targeting
- Further developments regarding the practical application of the Navier-Stokes proof
- Evidence addressing the ongoing debate among mathematicians over AI impact
confidence 100%Sources used for this update (2)
- www.scientificamerican.com — What does OpenAI’s blockbuster Navier-Stokes proof mean for the real world?
- www.wired.com — Mathematicians Feel Threatened by AI. They Can’t Quit It
-
OpenAI Claims Progress on Second Millennium Prize Problem
OpenAI reports substantial progress on a second Millennium Prize mathematics problem, though the company has not disclosed which specific problem it is targeting. This follows a disputed claim regarding the Navier-Stokes problem and a reported breakthrough in high-dimensional sphere packing, a mathematical barrier that had remained unsolved for 48 years. These developments contribute to an ongoing debate among mathematicians regarding the impact of AI on professional standards and the value of traditional mathematical practices.
Why it matters
The Millennium Prize Problems consist of seven challenges with million-dollar rewards for their solutions. AI breakthroughs in these areas threaten to disrupt the professional work of mathematicians and challenge established academic values.
What is confirmed
- OpenAI broke a 48-year-old barrier regarding high-dimensional sphere packing.
Still unconfirmed
- OpenAI has made substantial progress on a second Millennium Prize math problem.
What to watch next
- Disclosure of the specific Millennium Prize problem OpenAI is targeting
- Verification of the high-dimensional sphere packing breakthrough by independent mathematicians
confidence 90%Sources used for this update (2)
- www.scientificamerican.com — The hidden math that keeps your texts from turning to gibberish
- decrypt.co — OpenAI Says It's Made Progress on a Second $1 Million Math Problem
-
OpenAI faces new controversy over twin prime conjecture
OpenAI is embroiled in a new dispute regarding the twin prime conjecture after its model presented a possible solution to the Navier-Stokes Millennium Prize Problem. This follows a warning from UCLA professor Terence Tao, who stated that AI's proficiency in mathematics is creating a crisis in mathematical values and practices. While some mathematicians speculate on which million-dollar problem AI will target next, others like Steven Strogatz report that these breakthroughs have had a seismic impact on their professional work.
Why it matters
The conflict centers on whether AI-generated solutions are valid or merely high-quality noise. This tension follows OpenAI's claim to have solved a 90-year-old problem in 88 hours, leading to protests from the academic community.
What is confirmed
- UCLA professor Terence Tao warned that AI is causing a crisis in mathematical values and practices.
- An OpenAI model presented a possible solution to the Navier-Stokes problem.
Still unconfirmed
- OpenAI is at the center of a controversy regarding the twin prime conjecture.
- Steven Strogatz claims AI breakthroughs have had a seismic impact on his life's work.
What to watch next
- Verification of the Navier-Stokes solution by independent mathematicians
- Confirmation of AI's role in the twin prime conjecture
- Further responses from the International Congress of Mathematicians
confidence 80%Sources used for this update (5)
- www.sciencenews.org — A human set a new mathematical record. Then AI came for it
- www.wired.com — ‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs
- time.com — The AI Tipping Point
- www.scientificamerican.com — Which million-dollar math problem could AI solve next?
- www.theatlantic.com — An Existential Crisis in Math
-
OpenAI Claims Solution to Navier-Stokes Problem Amid Mathematician Backlash
OpenAI claims it solved the 90-year-old Navier-Stokes Millennium Prize Problem in 88 hours. This announcement has triggered a conflict with the mathematical community. Twenty-five leading mathematicians signed an open letter stating AI labs threaten their intellectual work, while others criticize AI-generated math as slop. The tension escalated as OpenAI withdrew from a Caltech math hackathon following these criticisms. Additionally, a mathematician has accused OpenAI of being dishonest regarding its training data.
Why it matters
The Navier-Stokes equations describe the motion of fluid substances. Solving this Millennium Prize Problem is a major goal in mathematics. The current dispute centers on whether AI is advancing the field or undermining human intellectual labor.
What is confirmed
- OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours.
- Twenty-five leading mathematicians signed an open letter arguing that AI labs are threatening their intellectual work.
Still unconfirmed
- A mathematician has accused OpenAI of dishonesty over training data.
- OpenAI is in a feud with mathematicians that is escalating.
What to watch next
- Verification of the Navier-Stokes solution by independent mathematicians.
- OpenAI response to the allegations regarding training data dishonesty.
confidence 80%Sources used for this update (9)
- OpenAI — On the Navier–Stokes Millennium Prize Problem
- CNBC — OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours
- The Economist — OpenAI's apparent maths breakthrough raises profound questions
- The New York Times — The Mathematician Crushed Between OpenAI and Anthropic Over a Math Problem
- newscientist.com — Here is how to understand OpenAI’s major mathematical breakthrough
- qz.com — Second mathematician accuses OpenAI of dishonesty over training data
- Scientific American — The summer AI ate math
- Business Insider — OpenAI pulls out of Caltech math hackathon after mathematicians issue open letter criticizing AI math 'slop'
- techcrunch.com — OpenAI’s feud with mathematicians is only escalating
Community Sentiment: How do you assess this situation?
Voice your perspective · Real-time aggregated sentiment from the Live Feeds community