10,000 Agents, 88 Hours, One Millennium Problem: What OpenAI's Navier–Stokes Claim Actually Means

Описание и применение

<p>There's a particular kind of story that makes me sit up and pay attention, and yesterday's Navier–Stokes announcement is one of them — not because of what an AI did, but because of how it was done, and what the credit dispute around it tells us about where this field actually is.</p> <p>On September 8, 2026, OpenAI published a writeup and a Lean formalization claiming that an initially smooth three-dimensional fluid, under a smooth force, can develop a singularity in finite time while its energy stays finite. That is the Navier–Stokes existence and smoothness problem — one of the seven Clay

Задача

<p>There's a particular kind of story that makes me sit up and pay attention, and yesterday's Navier–Stokes announcement is one of them — not because of what an AI did, but because of how it was done, and what the credit dispute around it tells us about where this field actually is.</p> <p>On September 8, 2026, OpenAI published a writeup and a Lean formalization claiming that an initially smooth three-dimensional fluid, under a smooth force, can develop a singularity in finite time while its energy stays finite. That is the Navier–Stokes existence and smoothness problem — one of the seven Clay

Результат

<p>There's a particular kind of story that makes me sit up and pay attention, and yesterday's Navier–Stokes announcement is one of them — not because of what an AI did, but because of how it was done, and what the credit dispute around it tells us about where this field actually is.</p> <p>On September 8, 2026, OpenAI published a writeup and a Lean formalization claiming that an initially smooth three-dimensional fluid, under a smooth force, can develop a singularity in finite time while its energy stays finite. That is the Navier–Stokes existence and smoothness problem — one of the seven Clay

Доказательства

10,000 Agents, 88 Hours, One Millennium Problem: What OpenAI's Navier–Stokes Claim Actually Means

Источник