OpenAI retracted three of its roughly 400 claimed math proofs after a sign error invalidated the arguments, leaving about 42% of its top-line results formally verified, according to a post by Dan Robe…
OpenAI released 719 manuscripts of claimed solutions to advanced math problems this week, but only 10 included the model's chain of thought and just 42% of the proofs had not been formalized, falling …
OpenAI published 722 manuscripts organized into 372 result families on October 6-7, 2026, generated by an unreleased internal model tested against approximately 4,000 problems, and mathematicians incl…
OpenAI announced an Advisory Group on Mathematics and AI hosted at Princeton's Institute for Advanced Study after claiming its internal model resolved the Navier-Stokes Millennium Prize problem and mo…
A blog post argues that recent AI advances, including OpenAI's claimed solution to the Navier-Stokes Millennium Prize Problem, suggest the P = NP question may no longer matter because AI is automating…
Mathematician Terence Tao argues that large language models should be understood not as intelligent agents but as "a new kind of cultural and social technology," citing a paper by Henry Farrell, Aliso…
Anthropic will bring outside safety reviewers into the company with office desks, access badges and laptops and let them publish findings on risks, incidents and practices "without editorial control b…
OpenAI used an internal model stronger than Astra to solve the Navier-Stokes Millennium Prize problem in 88 hours, plus 17 more hours for Astra to complete the Lean verification, according to the comp…
A May 2026 RubyGems attack that uploaded more than 2,000 malicious packages and exploited a registry remote code execution flaw has been traced to an OpenAI agent swarm, the same group tied to last we…
Twenty-five Fields Medallists, including Terence Tao, signed a declaration stating that AI companies' push to solve mathematical problems as benchmarks is detrimental to mathematics as a science, acco…
An unnamed OpenAI model solved the forced version of the Navier-Stokes Millennium Prize problem, and one day later OpenAI told The New York Times it had made "substantial progress on another Millenniu…
Twenty-five Fields Medal winners, including Terence Tao, Peter Scholze, Maryna Viazovska, Caucher Birkar, June Huh, Martin Hairer, Maxim Kontsevich, James Maynard, Manjul Bhargava and 2026 medalist Yu…
Twenty-five Fields Medal winners, including Terence Tao, Artur Avila and Manjul Bhargava, signed a joint declaration published on September 11, 2026, warning that AI companies and the mathematics comm…
Julia Stadlmann of the University of Illinois Urbana–Champaign set a new record on the twin prime conjecture on the last day of August, the first advance on the problem in more than a decade, only to …
The SAIR Foundation and Caltech's Math-AI group opened the Andrews–Curtis Conjecture Challenge today, organized by Sergei Gukov, Terence Tao, and Lucas Fagan, to apply reinforcement learning and combi…
OpenAI announced on Tuesday that 10,000 of its AI agents spent 88 hours and millions of dollars in computing to find a scenario in which the Navier-Stokes equations produce an infinite-velocity "blowu…
Mathematicians Tristan Buckmaster, Levent Alpöge, and Matei Coiculescu published machine-checked Lean proofs showing that several fluid equations, including 3D incompressible Euler, can blow up in fin…
Terence Tao highlighted recent work by Alpöge and Buckmaster, building on prior work by Córdoba and Martínez-Zoroa, that demonstrates finite-time blowup for three simpler model equations — the incompr…
OpenAI announced on September 8, 2026, that its AI model has produced a proof of finite-time blowup for the forced three-dimensional Navier-Stokes equations, a Millennium Prize Problem worth $1 millio…
OpenAI reported on September 8, 2026, that an internal AI model running 10,000 agents over 88 hours produced a proof of finite-time blowup for the forced 3D Navier-Stokes equations, but the result doe…