Tag: mathematics
-
OpenAI Drops 722 Math Manuscripts From an Unreleased Model
On October 6, 2026, OpenAI published 722 mathematical manuscripts — grouped into 372 result families — that it says were produced by an unreleased internal frontier model, covering open problems in mathematics, theoretical computer science, and physics. The company posted them to a public GitHub repository under an Apache-2.0 license with computer-checkable Lean proofs for […]
-
OpenAI Claims a Navier–Stokes Proof, Amid a Dispute Over Credit
On September 8, 2026, OpenAI published a claimed resolution of the Navier–Stokes existence and smoothness problem — one of the Clay Mathematics Institute’s seven Millennium Prize Problems — together with a formalization in the Lean proof assistant. The company says the proof was produced by roughly 10,000 coordinating agents running on an unreleased internal model, […]