ME News rapporte que le 9 septembre (UTC+8), OpenAI a annoncé avoir résolu l'un des problèmes du prix du millénaire, à savoir l'existence et la régularité de Navier-Stokes, un problème en suspens depuis environ 90 ans.
This proof was completed by a team of agents using a next-generation OpenAI model significantly more capable than GPT-6 Astra, with OpenAI reporting that approximately 10,000 agents worked in parallel over about 88 hours to derive the proof, followed by formal verification in the Lean theorem prover by GPT-6 Astra in 17 hours. The proof demonstrates that singularities can form in three-dimensional fluid motion within finite time: vortices contract inward, their cores stretch and accelerate until velocities become unbounded, while the total energy of the system remains finite. OpenAI has published the 165-page proof manuscript and the Lean formalized code, and stated it does not intend to claim the $1 million prize. The Clay Mathematics Institute still lists this problem as unsolved, as per the rules, a solution must be published in a qualified journal, remain publicly available for at least two years, and gain general acceptance by the mathematical community before being considered for the award. (Source: X)
