The mathematicians published machine-checkable proofs. OpenAI announced its result on a call with reporters.

OpenAI used an internal model, surpassing GPT-6 Astra, to produce a proof that the 3-D Navier-Stokes equations can form a finite-time singularity. The computation ran 10,000 agents for 88 hours, costing millions. The proof remains unpublished. Mathematicians Tristan Buckmaster and Levent Alpöge released Lean-formalized preprints on related problems. Buckmaster questioned whether OpenAI accessed his unpublished work; the company denies it.