网传OpenAI AI模型88小时解决纳维-斯托克斯千禧难题

Holy cow, its official! OpenAI says its AI has solved the Navier–Stokes Millennium Prize Problem, a mathematical question unresolved for roughly 90 years.

An internal model, described as significantly more capable than GPT-6 Astra, powered a group of around 10,000 concurrent agents (see the graph below! Its crazy more powerful than Astra)

The agents reached the solution after just 88 hours. Lean formalization and verification took another 17 hours via GPT-6 Astra.

The reported result: smooth three-dimensional fluid motion can develop a singularity in finite time under a smooth external force, while total energy remains finite.

OpenAI is sharing the proof and its Lean formalization. 130 billion output tokens went into the Navier–Stokes effort alone. The internal model is still training.

Welcome to the singularity!