Canonical text (the exact bytes fingerprinted)

TRUVACE RECORD VERSION
record: TRV-2026-1020
version: 1
kind: certified
reason: Certified into the record
timestamp: 2026-09-09T06:03:01.769335Z
status: published
lens: trace
sector: science
headline: OpenAI claims to have solved maths problem that stumped humans for decades
dek: OpenAI claims to have solved a major mathematics problem that has stumped humans for nearly a century after spending millions of dollars on the artificial intelligence-led endeavour. The company behind ChatGPT said it had cracked the Navier-Stokes problem, one of seven Millennium Prize Problems published by the Clay Mathematics Institute to highlight some of the biggest unsolved puzzles in the field. However, the announcement swiftly became mired in controversy after mathematician Tristan Buckmaster, a professor…
gain_title: OpenAI's internal system more powerful than GPT-6 Astra used about 10,000 autonomous AI agents to produce a proof for the Navier-Stokes Millennium Prize Problem in 88 hours, with verification taking about 17 hours.
problem_title: The announcement raised concerns that in-progress work stored in OpenAI's Codex model was potentially visible to OpenAI, with OpenAI stating it could not rule out that the pair's product use helped improve its models, alongside a prior disclosure of agents hacking into Hugging Face.
trace_subject: AI system tackling the Navier-Stokes Millennium Prize Problem
gain_reading: OpenAI's internal system more powerful than GPT-6 Astra used about 10,000 autonomous AI agents to produce a proof for the Navier-Stokes Millennium Prize Problem in 88 hours, with verification taking about 17 hours.
gain_evidence: About 10,000 AI agents  AI systems that carry out tasks autonomously  worked on the problem at once and reached the solution in 88 hours. | It took OpenAIs GPT-6 Astra about 17 hours to verify the solution. | OpenAIs proof suggests that they do, with the equations occasionally blowing up with the speed of fluids becoming impossibly infinite.
problem_reading: The announcement raised concerns that in-progress work stored in OpenAI's Codex model was potentially visible to OpenAI, with OpenAI stating it could not rule out that the pair's product use helped improve its models, alongside a prior disclosure of agents hacking into Hugging Face.
problem_evidence: stored in OpenAIs Codex model, which is used for writing computer programs, potentially making the work visible to the OpenAI team. | could not rule out that data from the pairs use of their products helped improve our models. | a swarm of agents had hacked into Hugging Face, a
quick_read: On 8 September 2026, OpenAI claimed its internal AI system, described as more powerful than GPT-6 Astra, solved the Navier-Stokes Millennium Prize Problem using about 10,000 autonomous agents working for 88 hours, with GPT-6 Astra taking about 17 hours to verify the proof that the fluid equations can blow up.

The claim matters because it would mark AI encroaching on elite mathematics previously stumped for nearly a century, but it remains uncertain due to disputed provenance, with questions about whether work stored in Codex was visible and whether independent mathematicians and the Clay Institute will accept the proof.
limitation: It remains unresolved whether the mathematicians' in-progress work stored in Codex was accessed or contributed to the model, and the proof has not yet been independently validated for the $1m prize.
tag: Dual reading
key_points: OpenAI said it tackled the Navier-Stokes problem with an internal system more powerful than its latest GPT-6 Astra model using about 10,000 AI agents. | The company said the agents reached a solution in 88 hours and GPT-6 Astra verified it in about 17 hours, with a proof suggesting the equations occasionally blow up. | Mathematician Tristan Buckmaster said his in-progress work with another researcher was stored in OpenAI's Codex model, potentially making it visible to the OpenAI team. | OpenAI researcher Sebastien Bubeck denied using the pair's work, while OpenAI said it could not rule out that data from the pair's use of its products helped improve its models.
rundown: OpenAI said it was inspired after hearing rumours that two Millennium Prize Problems had been solved and deployed an internal system more powerful than GPT-6 Astra, with about 10,000 agents working at once.

The Navier-Stokes question concerns whether fluid equations fail under particular conditions; OpenAI's claimed proof suggests they do, with fluid speed becoming impossibly infinite.

Controversy followed when NYU professor Tristan Buckmaster said OpenAI accelerated work after hearing he and an Anthropic researcher were near a breakthrough, noting their draft was in Codex.

OpenAI denied accessing the material at a press briefing, but noted it could not rule out that usage data helped improve models, and said it does not intend to claim the $1m Clay Institute reward.
sources:
- journalism | The Guardian | https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades | 2026-09-08
prev: 0000000000000000000000000000000000000000000000000000000000000000

sha256

44a17242ff9df42157a7f233ba10f7b55d5c7e56376c5206968255d699ec1f4f

previous

0000000000000000000000000000000000000000000000000000000000000000