OpenAI Solved Navier-Stokes. The Fallout Is Worse.

Description and use

<h1> OpenAI Solved Navier-Stokes. The Fallout Is Worse. </h1> <p>On September 8, OpenAI announced that 10,000 AI agents running on an unreleased model had solved the Navier-Stokes existence and smoothness problem — one of the seven Millennium Prize Problems, each worth $1 million from the Clay Mathematics Institute. The <a href="https://openai.com/index/navier-stokes-solution/" rel="noopener noreferrer">166-page proof</a>, formally verified in Lean, shows that three-dimensional Navier-Stokes equations can develop a singularity in finite time. If it holds up to peer review, it is the most signi

Problem

<h1> OpenAI Solved Navier-Stokes. The Fallout Is Worse. </h1> <p>On September 8, OpenAI announced that 10,000 AI agents running on an unreleased model had solved the Navier-Stokes existence and smoothness problem — one of the seven Millennium Prize Problems, each worth $1 million from the Clay Mathematics Institute. The <a href="https://openai.com/index/navier-stokes-solution/" rel="noopener noreferrer">166-page proof</a>, formally verified in Lean, shows that three-dimensional Navier-Stokes equations can develop a singularity in finite time. If it holds up to peer review, it is the most signi

Outcome

<h1> OpenAI Solved Navier-Stokes. The Fallout Is Worse. </h1> <p>On September 8, OpenAI announced that 10,000 AI agents running on an unreleased model had solved the Navier-Stokes existence and smoothness problem — one of the seven Millennium Prize Problems, each worth $1 million from the Clay Mathematics Institute. The <a href="https://openai.com/index/navier-stokes-solution/" rel="noopener noreferrer">166-page proof</a>, formally verified in Lean, shows that three-dimensional Navier-Stokes equations can develop a singularity in finite time. If it holds up to peer review, it is the most signi

Evidence

OpenAI Solved Navier-Stokes. The Fallout Is Worse.

Source