Development

Ten thousand agents solve a Millennium Prize problem in 88 hours

development2026-09-12

Claim

OpenAI's 10,000 agents solved Navier-Stokes in 88 hours, Lean-verified, with Noam Brown expecting this to cost $20 a month within a year and Sam Altman calling it the strongest evidence yet of the urgency.

Reported metric: 88 hours / 10,000 agents

Reporting date: 2026-09-12 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to September 12, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to September 12, 2026

Actor

OpenAI

Evidence for

Supersedes

A mathematician calls for all human mathematics formalized in a year

Referenced by

Cite or correct this record

Citation formatCitation text

Ten thousand agents solve a Millennium Prize problem in 88 hours
Innermost Loop KB — secondary record
Reporting date: 2026-09-12
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-09-12-navier-stokes-in-eighty-eight-hours
Claim: OpenAI's 10,000 agents solved Navier-Stokes in 88 hours, Lean-verified, with Noam Brown expecting this to cost $20 a month within a year and Sam Altman calling it the strongest evidence yet of the urgency.
Attributed sources:
- Welcome to September 12, 2026 — https://theinnermostloop.substack.com/p/welcome-to-september-12-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.