OpenAI's reported math proofs and scientific discovery results produced by internal, unreleased models.
Updated EU status checked Last shown
Sources: the vendor's own pages (linked above) and creator videos at the linked timestamps. EU status is information, not legal advice; see how we check.
This entry covers OpenAI's reported results in which internal models produced new mathematical proofs and other scientific findings. In a recent interview, Sam Altman described these results as the start of AI generating significant new knowledge. He said he expects similar outcomes in biology, materials science and energy.
According to Altman, no widely available model comes close to the math results. The results come from internal models, not a released product. The material provided here contains no technical details, paper, benchmark data or list of specific proofs, so the scope and verification status of the claims are not documented in the sources available.
It is not a product users can access directly. Any related capabilities would reach users only if the underlying models are later released through ChatGPT or the OpenAI API.
Watch the moment: the exact second top creators show it. Videos load only when you press play, via youtube-nocookie.com.
Altman describes recent math proofs and discoveries from OpenAI's internal models as the start of AI producing significant new knowledge, expecting similar results in biology, materials and energy. He says no widely available model comes close to the math results.
Closest neighbours by meaning, not just by category.
Research · OpenAI
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
Research · OpenAI
OpenAI's announced AI-produced results: a local smoothing proof, an ETH refutation and a QCD result, with Lean verification.
Model · OpenAI
Unreleased OpenAI model, reportedly run as an agent group, claimed to have produced a Navier-Stokes proof; unverified.
Research · OpenAI
OpenAI's announced AI-generated finite-time blowup result for Navier–Stokes, with a writeup and Lean formalization.
Model · OpenAI
OpenAI's first reasoning model series, trained with reinforcement learning to think before answering; now deprecated in the API.
Research · OpenAI
OpenAI and Molecule.one research system pairing GPT-5.4 with the Maria agentic chemistry platform and a high-throughput lab.
