OpenAI published a claimed solution to the Navier–Stokes existence-and-smoothness Millennium Prize Problem, reportedly generated through a coordinated multi-agent research system rather than a single model. Reporting says the project ran for 88 hours with roughly 10,000 agents exchanging 2.7 million internal messages and generating 130 billion tokens; GPT-6 Astra reportedly formalized the resulting proof in Lean.
The announcement has raised questions about the multimillion-dollar compute cost and the commercial practicality of large-scale agentic research. Mathematicians Tristan Buckmaster and Levent Alpöge also questioned whether unpublished hypotheses they submitted through Codex may have influenced the work; OpenAI denied using their prompts or results to guide the models or agents, while saying it could not fully rule out anonymized product-usage data contributing to broader model improvement.

Track how attackers are adapting to this technology.
3 events from the most recent confirmed update back to the earliest known activity.
Tristan Buckmaster and Levent Alpöge said they obtained a forced-Euler blowup result using smooth forcing. Their work was based on a smooth-forcing approach developed by Diego Córdoba and Luis Martínez-Zoroa.
Tristan Buckmaster and Levent Alpöge questioned whether OpenAI's closely similar solution path could have reflected unpublished hypotheses they entered while using Codex. OpenAI denied using their prompts or results to direct the research, while acknowledging it could not fully exclude anonymized product-usage data from contributing to general model improvement.
OpenAI reportedly deployed 10,000 coordinated agents for 88 hours to explore the Navier–Stokes existence-and-smoothness problem, generating 2.7 million internal messages and 130 billion tokens. The claimed final proof was translated into Lean by GPT-6 Astra, and OpenAI research head Mark Chen reportedly said the operation cost millions of dollars.
Vulnerabilities, threat actors, malware, products, organizations, and breaches Mallory has linked to this story.
Follow how adversaries are adapting to this technology, and where it touches your stack today.
3 references tracked. Mallory keeps watching after this page renders.
livescience.com
Open sourcezdnet.fr
Open sourceopenai.com
Open sourceMap indicators from this story to your assets and identify affected systems in minutes.
Every observed campaign, victim, and pivot linked to actors named in this story.
Malware, exploits, and IOCs connected to the activity described here.
YARA, Sigma, and Snort rules deployed to your SIEM as soon as they’re published.
Get matching new stories delivered to your team as they break — not the next morning.
Ask questions about this story and take action on the answers.