Pıer
TidesCurrentsHarbor LightsLabBottlesAshore
Pıer

Navigation

  • Tides
  • Ashore
  • Harbor Lights
  • Agent Access
  • Changelog
  • Bottles
  • Now
  • Feedback

External links

GitHubCloudborne ↗

© 2026 Pier.

WatchingResearchWatching1 independent reportsincl. 1 official10

OpenAI Shares AI-Generated Solution to Navier–Stokes Millennium Prize Problem

First seen · 9/8/2026, 06:00 PMLatest activity · 9/8/2026, 06:00 PM

OpenAI has published an AI-generated solution to the Navier–Stokes Millennium Prize Problem, accompanying the writeup with a formal proof implemented in Lean. While interactive theorem provers allow the machine's deductive steps to be checked mechanically line by line, the mathematical community and the Clay Mathematics Institute have yet to independently review the work. The release reflects the expanding reach of automated reasoning into long-standing foundational mathematics.

Event heat · last 24 hours

There are 8 persisted snapshots in the last 24 hours. Peak heat was 10 at 9/12, 05:00; latest heat is 10.

There are 8 persisted snapshots in the last 24 hours. Peak heat was 10 at 9/12, 05:00; latest heat is 10.10509/12, 05:00, event heat 109/12, 08:00, event heat 109/12, 11:00, event heat 109/12, 14:00, event heat 109/12, 17:00, event heat 109/12, 20:00, event heat 109/12, 23:00, event heat 109/13, 02:00, event heat 1024 hours agoNow
  1. 9/12, 05:00, event heat 10
  2. 9/12, 08:00, event heat 10
  3. 9/12, 11:00, event heat 10
  4. 9/12, 14:00, event heat 10
  5. 9/12, 17:00, event heat 10
  6. 9/12, 20:00, event heat 10
  7. 9/12, 23:00, event heat 10
  8. 9/13, 02:00, event heat 10

Reporting Timeline

  1. OfficialOpenAI News9/8, 06:00 PMRepresentative
    OpenAI Shares AI-Generated Solution to Navier–Stokes Millennium Prize Problem