Notícia da ME, 9 de setembro (UTC+8), a OpenAI anunciou ter resolvido um dos problemas do Prêmio do Milênio, a existência e suavidade de Navier-Stokes, um problema em suspenso por cerca de 90 anos.
This proof was completed by a team of agents using an upcoming OpenAI model significantly more capable than GPT-6 Astra; OpenAI reports 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, the core stretches and accelerates 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)
