Noticia de ME, 9 de septiembre (UTC+8): OpenAI anunció que resolvió uno de los problemas del Premio Milenio, la existencia y suavidad de Navier-Stokes, un problema que llevaba sin resolver aproximadamente 90 años.
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 for about 88 hours to produce the proof, followed by 17 hours of formal verification in the Lean theorem prover by GPT-6 Astra. The proof demonstrates that singularities can form in three-dimensional fluid motion within finite time: vortices contract inward, the core stretches and accelerates until the velocity becomes 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)
