OpenAI forms math advisory group as its AI resolves more than 100 open problems
OpenAI has assembled a panel of outside experts, including a Nobel laureate, to verify proofs produced by its internal AI models that have solved over 100 open mathematical problems. The AI model has reportedly cracked three major open questions in math, computer science, and physics, including one related to a famous Millennium Prize Problem. These findings have been formalized in Lean, but concerns remain about the reliability of the proofs and the limited use of Lean verification.
Listen to Live Briefing
Real-time synthesized voice briefing · Live Feeds Desk
- ✓ OpenAI's internal AI models have solved over 100 open mathematical problems.
- ✓ The AI model has cracked three major open questions in math, computer science, and physics.
- ✓ One of the solved problems is part of a famous Millennium Prize Problem.
- ✓ OpenAI released over 700 manuscripts on GitHub claiming to have solved hundreds of open mathematical problems on October 6, 2026.
What changed
OpenAI has formed a math advisory group comprising outside experts, including a Nobel laureate, to check the proofs produced by its AI models.
Live updates
-
OpenAI forms math advisory group for AI-discovered proofs
OpenAI has assembled a panel of outside experts, including a Nobel laureate, to verify proofs produced by its internal AI models that have solved over 100 open mathematical problems. The AI model has reportedly cracked three major open questions in math, computer science, and physics, including one related to a famous Millennium Prize Problem. These findings have been formalized in Lean, but concerns remain about the reliability of the proofs and the limited use of Lean verification.
Why it matters
The development has sparked both excitement and concern within the academic community. OpenAI's AI model has produced hundreds of AI-generated papers, which were released earlier this month to support these findings. The volume of output has caused chaos among doctoral students and academic researchers, who question if research is advancing faster than human verification capabilities.
What is confirmed
- OpenAI's internal AI models have solved over 100 open mathematical problems.
- The AI model has cracked three major open questions in math, computer science, and physics.
- One of the solved problems is part of a famous Millennium Prize Problem.
- OpenAI released over 700 manuscripts on GitHub claiming to have solved hundreds of open mathematical problems on October 6, 2026.
- The findings have been formalized in Lean.
Still unconfirmed
- If the computer science proof holds, hundreds of research papers will lose their foundation.
What to watch next
- Verification results from the math advisory group
- Academic community's response to AI-generated proofs
- Further releases of AI-discovered proofs by OpenAI
confidence 85%Sources used for this update (4)
- the-decoder.com — OpenAI asks outside experts, including a Nobel laureate, to ...
- www.theverge.com — OpenAI announces three big science discoveries and a new way to work with academics
- www.aitrove.ai — AI Just Made Three Real Scientific Discoveries: A 35-Year ...
- news.hamidun.com — OpenAI Releases 700+ Solutions to Open Problems ...
-
OpenAI funds workshops to verify 372 AI-generated math results
OpenAI is funding workshops to verify 372 families of mathematical results produced by its internal model. The company released 722 AI-generated papers earlier this month to support these findings. While the model solved problems that previously stumped researchers, the volume of output has caused chaos among doctoral students and academic researchers. Mathematicians now question if research is advancing faster than human verification capabilities, specifically regarding the reliability of the proofs and the limited use of Lean verification.
Why it matters
The company previously claimed its model solved the Navier-Stokes problem in 88 hours. This rapid production of proofs challenges traditional human-led research and attribution. An advisory group hosted by the Institute for Advanced Study now oversees the review process.
What is confirmed
- OpenAI released 722 AI-generated mathematics papers covering 372 groups of results.
- OpenAI is funding workshops to verify the 372 AI-generated math result families.
- The verification process involves an advisory group hosted by the Institute for Advanced Study.
Still unconfirmed
- Some of the released math papers have been withdrawn.
- Mathematics doctoral students are considering leaving the field due to the AI's impact.
What to watch next
- Reports on the percentage of proofs successfully verified by Lean
- Official confirmation of which papers were withdrawn from the initial 722
- Findings from the funded verification workshops
confidence 90%Sources used for this update (6)
- www.livemint.com — Why are mathematicians concerned about OpenAI’s AI solving ...
- aitechmodel.com — OpenAI’s New Model Sparks Fury Among Mathematicians: What ...
- www.gate.com — OpenAI Releases 700+ Papers Solving Hundreds of Math Problems ...
- www.boston.com — What’s the point of MIT? OpenAI’s math proofs have thrown ...
- shattered.io — OpenAI Funds Math Workshops to Vet 372 AI Proofs
- www.archyde.com — AI Solves Math Problems, Disrupting Research – Archyde
-
OpenAI Forms Math Advisory Group Following Hundreds of AI Solutions
OpenAI established an independent mathematics advisory group on September 21, 2026, to review, prioritize, and communicate findings from an internal model that resolved at least 372 long-standing mathematical problems. The American artificial intelligence firm detailed these solutions across more than 700 AI-generated papers. This mass production of proofs follows a prior claim that the model solved the Navier-Stokes problem in 88 hours, prompting warnings from experts about the speed of AI-generated mathematics and its impact on human understanding, attribution, and transparency.
Why it matters
The rapid generation of mathematical proofs by artificial intelligence threatens to alter traditional academic research methods. Critics warn that automated problem-solving yields high volumes of solutions while diminishing human comprehension. These developments have ignited widespread debates regarding academic conduct and transparency within the mathematics community.
What is confirmed
- OpenAI announced an independent mathematics advisory group on September 21, 2026, to review, prioritise and communicate results from an internal model.
- OpenAI published solutions to 372 math problems across over 700 papers using an unreleased internal model.
- The rapid publication of AI-generated proofs has sparked warnings from experts about the impact on mathematics.
- The breakthroughs have inflamed debates regarding attribution, transparency, and conduct.
Still unconfirmed
- The advisory group will completely resolve researchers' concerns about the speed of AI-generated proofs leading to less human understanding.
What to watch next
- Evaluations and findings published by OpenAI's independent mathematics advisory group
- Further responses from the academic mathematics community regarding AI attribution and transparency
confidence 100%Sources used for this update (4)
- www.theverge.com — All the drama around AI’s takeover of mathematics
- veonib.com — AI Video Governance: What OpenAI's Math Advisory Group Means ...
- www.educationtimes.com — OpenAI solves hundreds of maths problems that mathematicians ...
- trendintech.com — OpenAI’s 372 Math Problems Spark ‘Mathpocalypse’ [2026]
-
OpenAI AI Solves Hundreds of Math Problems
OpenAI announced that its AI agents, powered by an unreleased internal model, solved at least 372 long-standing mathematical problems in a matter of weeks. The American artificial intelligence firm detailed these findings in over 700 AI-generated papers. The release includes solutions to hundreds of open questions, following a previous claim that the same internal model solved the Navier-Stokes problem in 88 hours. This mass production of mathematics has generated concern among researchers about the future of the field, with critics warning that the speed of AI-generated proofs may lead to more solutions but less human understanding.
Why it matters
The announcement arrived alongside a broader discussion about the intersection of artificial intelligence and formal mathematics, prompting OpenAI to form an independent advisory group at Princeton to evaluate the results. Many of the generated manuscripts are backed by computer-checkable Lean proofs, attempting to address skepticism from the academic community. The rapid generation of mathematical papers challenges traditional methods of peer review and verification.
What is confirmed
- OpenAI announced that its AI agents, powered by an unreleased model, solved at least 372 long-standing mathematical problems in a matter of weeks.
- The findings are detailed in over 700 AI-generated papers.
- OpenAI previously claimed that the same internal model solved the Navier-Stokes problem in 88 hours.
- The mass production of mathematics has left some researchers concerned about the future of their field and a potential decrease in human understanding.
Still unconfirmed
- Verification of the 100-plus open math problems claims is still underway.
What to watch next
- Evaluations from the independent advisory group at Princeton regarding the mathematical results
- Further independent academic verification of the Lean proofs backing the AI-generated manuscripts
confidence 90%Sources used for this update (5)
- tech.yahoo.com — OpenAI shakes up mathematics again, debuting dozens of new ...
- proofsandprompts.com — On OpenAI’s Release of Mathematical Results
- www.hindustantimes.com — OpenAI claims to have solved hundreds of long-standing maths ...
- www.aispectrumindia.com — OpenAI Says New Internal AI Model has Resolved 100+ Long ...
- www.gpts24.com — OpenAI Claims 100-Plus Open Math Problems Solved: The ...
-
OpenAI forms math advisory group amid AI-generated proofs
OpenAI has formed an independent advisory group at Princeton to evaluate mathematical results from its AI systems, which recently resolved over 100 open mathematical problems, including a proof of the Navier-Stokes blow-up achieved by 10,000 AI agents operating over 88 hours. The move comes as some mathematicians question the timing and speed of AI-generated proofs. OpenAI released 722 mathematical manuscripts from an unreleased internal frontier model, with many results backed by computer-checkable Lean proofs.
Why it matters
The development of AI-generated mathematical proofs has sparked debate in the field of mathematics, with some mathematicians accepting the proofs as correct and others questioning their validity. OpenAI's release of AI-generated results has been met with both excitement and skepticism, highlighting the challenges of integrating AI-generated results into traditional mathematical verification processes. The company's efforts aim to revolutionize the field of mathematics, but also raise concerns about the pace of mathematical discovery and the role of AI in mathematical research.
What is confirmed
- OpenAI is an American artificial intelligence (AI) public benefit corporation headquartered in San Francisco, California.
- OpenAI released 722 mathematical manuscripts from an unreleased internal frontier model, organized into 372 research families.
- The manuscripts cover a broad range of mathematical results produced by an internal model, with many results backed by computer-checkable Lean proofs.
- OpenAI's AI systems resolved over 100 open mathematical problems, including a proof of the Navier-Stokes blow-up.
- The Navier-Stokes blow-up proof was achieved by 10,000 AI agents operating over 88 hours.
Still unconfirmed
- There's a perception of mobster behavior from leading AI companies.
What to watch next
- Mathematicians' reviews of OpenAI's 722 manuscripts
- OpenAI's advisory group's evaluation of AI-generated proofs
- Further releases of AI-generated mathematical results
confidence 90%Sources used for this update (11)
- en.wikipedia.org — OpenAI - Wikipedia
- www.techtarget.com — What is OpenAI? Definition and History from TechTarget
- www.wired.com — OpenAI Is Pissing Off a Bunch of Mathematicians—Again
- www.scientificamerican.com — OpenAI unleashes hundreds more math results upon a field ...
- www.unite.ai — OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model
- interestingengineering.com — OpenAI’s largest mathematics release tackles 4,000 problems with Lean-checked proofs
- www.scientificamerican.com — The most exciting claims from OpenAI’s heap of new proofs
- techcrunch.com — OpenAI’s math solutions aren’t meeting the field’s standards yet
- cryptobriefing.com — Mathematicians are combing through OpenAI’s AI-generated results on over 300 problems
- interestingengineering.com — 377 math results: OpenAI tackles some of the field’s toughest problems
- tech.yahoo.com — OpenAI Just Posted Hundreds More Results On Major Math Problems
-
OpenAI establishes Princeton advisory group after AI solves 100+ math problems
OpenAI has formed an independent advisory group based at Princeton to evaluate mathematical results from its AI systems. The move follows claims that an internal model resolved over 100 open mathematical problems. This includes a proof of the Navier-Stokes blow-up, which OpenAI says was achieved by 10,000 AI agents operating over 88 hours. While some mathematicians accept the proof as correct, others question the timing of the run and the speed at which AI labs publicize such advances.
Why it matters
The company previously faced backlash over how it presented major AI results. The new panel includes mathematicians Gowers and Witten to improve interactions with the academic community.
What is confirmed
- OpenAI claims an internal model solved more than 100 open mathematical problems.
- OpenAI states 10,000 AI agents proved the Navier-Stokes blow-up in 88 hours.
- An independent advisory group of nine mathematicians, including Gowers and Witten, was formed to advise OpenAI.
Still unconfirmed
- Two mathematicians claim the Navier-Stokes run began only after OpenAI learned of their own work.
- The Navier-Stokes proof is accepted as correct by mathematicians so far.
What to watch next
- Princeton advisory group's formal assessment of the Navier-Stokes proof
- Public release of the 100+ solved mathematical problems for peer review
confidence 90%Sources used for this update (7)
- dev.to — Navier-Stokes solved? What OpenAI's proof shows and why it's ...
- www.coursera.org — What Is OpenAI? Everything You Need to Know - Coursera
- www.youtube.com — OpenAI - YouTube
- www.thedailystar.net — OpenAI says internal model solved over 100 open maths problems
- dailysynapse.com — OpenAI forms math advisory group after model breakthrough
- www.odotonline.org — OpenAI assures that its AI has solved more than a hundred ...
- goodtransformer.ai — An AI proved a famous maths problem in 88 hours. What it ...
-
OpenAI Forms Math Advisory Group After AI Resolves 100+ Open Problems
OpenAI formed an independent advisory group of nine mathematicians following backlash over how the company presented and released major artificial intelligence results. The panel includes Gowers and Witten, and was established to advise OpenAI on its interactions with mathematical researchers. This move comes after OpenAI reported that its AI models resolved over 100 open mathematical problems, drawing varied reactions from the academic community regarding disputed results, including claims related to the Navier-Stokes equation.
Why it matters
Tech companies are pushing further into mathematical research as artificial intelligence models approach complex challenges, touching fields traditionally reserved for human intellectual activity. The creation of the advisory group follows criticism from the academic community concerning how major computational achievements are released and framed. Observers note that these developments spark debate about the depth of human understanding gained from such automated breakthroughs.
What is confirmed
- OpenAI has formed an independent advisory group of mathematicians to advise the company on its interactions with mathematical researchers.
- Nine mathematicians, including Gowers and Witten, form the OpenAI maths advisory group.
- The advisory group was created following criticism over how OpenAI has presented and released major AI-generated results, including its claimed Navier-Stokes result.
- OpenAI stated that its artificial intelligence systems have resolved over 100 open mathematical problems.
Still unconfirmed
- Results from OpenAI's models are nearing solutions to complex Millennium Prize math problems.
What to watch next
- Specific guidance or policy changes issued by the mathematics advisory group regarding how OpenAI releases future AI-generated math results.
- Further academic verification or peer review of the 100+ open mathematical problems claimed to be resolved by OpenAI's AI.
confidence 95%Sources used for this update (7)
- www.theverge.com — OpenAI keeps bulldozing mathematicians - The Verge
- www.gossipherald.com — OpenAI seeks mathematicians’ advice after string of disputed ...
- www.studioglobal.ai — What OpenAI’s New Math Advisory Group Can Actually Do
- note.com — AIが数学の未解決問題を100以上解いた。OpenAIが数学者の諮問グループを設立した理由
- note.com — Claude Opus 5.5 and OpenAI Training Pause | Weekly AI News 9/21–9/28
- thenextweb.com — Top mathematicians will advise OpenAI on releasing its AI ...
- www.ycict.net — OpenAI announces the formation of a Math and AI advisory group
-
OpenAI Forms Math Advisory Group Following AI Milestones
OpenAI has established a mathematics advisory group following achievements by its artificial intelligence systems in resolving over 100 open problems. The initiative brings together external experts as tech companies push further into mathematical research, drawing varied reactions from the academic community. While some platforms report that models are nearing solutions to complex Millennium Prize math problems and tackling difficult equations like Navier-Stokes, observers debate the depth of human understanding gained from these computational breakthroughs.
Why it matters
The intersection of artificial intelligence and advanced mathematics has intensified discussions around the role of human researchers versus automated systems. Tech firms increasingly target foundational math challenges, prompting debates among mathematicians over verification and scientific insight. The creation of specialized advisory bodies highlights an effort to bridge the gap between commercial AI development and traditional academic standards.
What is confirmed
- Openeta has formed a mathematics advisory group.
- Artificial intelligence systems have resolved more than 100 open problems.
Still unconfirmed
- OpenAI is close to solving another Millennium Prize math problem.
- Questions persist regarding whether OpenAI solved the correct Navier-Stokes problem.
What to watch next
- Releases or publications from OpenAI detailing the scope and membership of the math advisory group.
- Further academic peer review or commentary regarding the specific open problems solved by AI models.
confidence 90%Sources used for this update (10)
- The Information — OpenAI Is Close To Solving Another Millennium Prize Math Problem
- WIRED — Mathematicians Hate AI. They Can’t Quit It
- The Guardian — The Guardian view on AI v mathematicians: humans are still vital to the field, but tech firms refuse to see that | Editorial
- TechCrunch — OpenAI forms math advisory group as its AI resolves more than 100 open problems
- openai.com — Advisory Group on Mathematics and Artificial Intelligence
- Scientific American — Did OpenAI solve the wrong Navier-Stokes problem?
- The New York Times — Opinion | Why A.I. Is Dangerous for Science, Too
- NPR — AI solved one of math's hardest problems. Humanity learned nothing (so far)
- The Washington Post — Opinion | Is math doomed? Don’t count on it.
- The Verge — OpenAI wants to consult elite mathematicians about how to not fumble again
Community Sentiment: How do you assess this situation?
Voice your perspective · Real-time aggregated sentiment from the Live Feeds community