Mathematical Breakthrough: OpenAI Claims to Have Solved Navier-Stokes Problem Using AI

Artificial intelligence has encroached upon fundamental science. On September 12, 2026, the OpenAI lab published a proof of one of the Millennium Prize problems—the Navier-Stokes existence and smoothness problem. The proof was generated by a neural network and formalized in the Lean environment.

The academic mathematical community is currently in a state of shock and skepticism, demanding independent verification of the results. However, the mere fact of such a claim marks a colossal architectural shift. Generative networks are moving from statistical word guessing (pattern matching) to complex chains of formal logical reasoning. For the B2B macroeconomy, this means that AI will soon be able not only to write code but also to autonomously design new material physics, aerodynamics, and biochemistry. Scientific R&D stands on the threshold of total automation.

Source: OpenAI / WSJ