OpenAI's secret model settles a $1M math problem
Assessment
Sensif.ai assesses this as a potentially material capability claim, but not an established breakthrough because the source provides no independent validation of the proof or the model's data provenance.
Limits of the evidence: The item is a single analysis source with an unknown publication date; OpenAI's claim is not independently corroborated, the proof is not assessed in the supplied text, and the dispute over Codex drafts and usage data remains unresolved.
What to watch
- Independent mathematicians validate or reject the Navier–Stokes proof
- OpenAI releases the proof, evaluation details, or reproducibility evidence
- Evidence clarifies whether Codex drafts or usage data influenced training
- Further public capability comparisons between the internal system and GPT-6 Astra
Taken from the first report; the whole story has not been re-assessed yet.
Reporting timeline
OpenAI's secret model settles a $1M math problem
The Rundown AIPublication date unverified · detected Sep 9, 2026First report
Our assessments
No revisions yet.
Maturity
No maturity ladder applies to this desk.
Sens.ai aggregates and assesses published reporting. The assessment above is machine generated; the original sources are authoritative.