Topic
Use of large language models to attack open problems in mathematics and theoretical computer science, and how the resulting output is classified.
Mathematician Thomas Bloom stopped tagging Erdős problems as open or solved before OpenAI posted 722 AI-produced manuscripts. A DeepMind paper in Science shows the documented, human-vetted alternative: 9 of 353 open problems solved.
Reality
Theoretical computer scientists co-led by Princeton's Pravesh Kothari used two AI models to narrow the bounds of the Grothendieck constant. The preprint is not yet peer reviewed, and its authors say the models are weaker at judging a result's significance.
Reality
OpenAI published full or partial solutions to more than 370 open math problems on Tuesday. The company says its unreleased model averaged about three hours of computing on each, according to Fortune, and mathematicians still dispute the results.
Perspective Coverage
7 publishersReality
Mathematicians reading OpenAI's 166-page Navier-Stokes proof say it departs from the Spanish program the company cited, Scientific American reported. That undercuts the stated premise of the public dispute with NYU's Tristan Buckmaster, though the influence question may not be settled.
Reality
Fields medallist Shing-Tung Yau launched an alliance of eight research institutions to link about 1,000 researchers on AI for mathematics. Output would show whether it works: a specialised model, or conjectures and formalised proofs others can check.
Perspective Coverage
3 publishersReality
OpenAI published 372 families of math results from an unreleased model on Oct. 6, more than mathematicians have yet been able to check or understand. Each claim now waits on human readers, who must work without the prompts OpenAI chose not to publish.
Perspective Coverage
3 publishersReality
The theorem was checked in Lean, more than most capability claims get, but the part that moves a valuation, that very little human input went in, rests on prompt timestamps and a training-data question that went unanswered.
Perspective Coverage
9 publishersReality
OpenAI released 719 manuscripts of claimed solutions to hard math problems this week and included the model's chain of thought for only ten of them. The advisory group of mathematicians OpenAI consulted had set verification standards the lab's release misses on several counts.
Perspective Coverage
3 publishersReality
OpenAI published 722 math manuscripts across 372 result families, all produced by an internal model it has not released. About 300 come with Lean formalizations a machine can check, Crypto Briefing reported, so the rest wait on human reviewers whom one mathematicians' group is urging to stop working with OpenAI.
Perspective Coverage
3 publishersReality
OpenAI posted 719 math papers from an unreleased model on October 6, a week after its IAS-based advisers asked labs to stop such testing. Three mathematicians showed the same day that its machine-checked Navier-Stokes proof proves less than the paper claims, so its results now rest on ordinary peer review.
Reality
Cambridge and King's College London mathematicians say the Lean code for OpenAI's Navier-Stokes proof states a weaker step than the written paper. Both proofs may hold up, but Lean verifies only the code it is given, so a person still has to check that the code matches the text.
Reality
Vitalik Buterin said AI-driven mathematics has a good chance of seriously weakening lattice cryptography within two years. He offered no demonstrated attack, and for teams adopting post-quantum schemes the forecast argues for lattice deployments built to be replaced.
Perspective Coverage
4 publishersReality
OpenAI posted 372 results from an internal model to GitHub, at about three hours of ChatGPT Pro compute each on average. Finding proofs is now cheap enough that the slow step is mathematicians checking and judging them.
Perspective Coverage
6 publishersReality
OpenAI posted 722 model-written math manuscripts in 372 families on GitHub, many with Lean proofs a computer can check. A mathematician citing one has to learn first whether it is a checked proof or a paper still waiting for review.
Perspective Coverage
10 publishersReality
MIT's Dor Minzer and two students posted a 95-page paper three days after rumours that OpenAI had proved the unique games conjecture. An expected AI announcement set the publication date for one group's finished work.
Reality
OpenAI published ten math results from an internal Astra variant, with Lean-formalized proofs and the model's narration of each solution. Astra has no announced API, so what outside teams can take is how the work was split between the model, human authors and a proof checker.
Reality
OpenAI plans to post hundreds of AI-generated math results on GitHub on Tuesday, people familiar with the plans told WIRED. The mathematicians it consulted in August asked for papers they could absorb and use, so a bulk upload leaves that work to every reader.
Reality
OpenAI's new mathematicians' panel must first help release scores more results the company says an unreleased model produced. Researchers call the panel a good first step, though many are unsure how much say it will have over how OpenAI announces what its models find.
Reality
Meta's six Muse Spark math papers, out October 2, label which passages the model drafted and which the researchers wrote. They show a chat assistant writing search code and proof drafts for mathematicians who chose the problems.
Reality
Ramana Kumar used AI to exploit a different bug in each of two Lean kernels, passing off a false Collatz disproof as machine-checked in July. AI labs rely on Lean to vouch for their maths results, so those claims hold only as well as the checker does.
Reality
Invest · September 5, 2026 · Confirmed2 publishers
Product · September 6, 2026 · Confirmed2 publishers
Science · September 11, 2026 · Confirmed7 publishers
Leadership · September 8, 2026 · Confirmed5 publishers
Build · September 10, 2026 · Confirmed3 publishers
Science · September 15, 2026 · Confirmed3 publishers
Build · September 22, 2026 · Confirmed2 publishers
Build · September 16, 2026 · Confirmed2 publishers
Product · September 9, 2026 · Confirmed2 publishers
Science · September 5, 2026 · Confirmed2 publishers
Leadership · September 5, 2026 · Confirmed3 publishers