Fluid Dynamics

Boundary Value Problems AI Applications Euler-Poisson Equations

OpenAI Publishes Machine-Checked Navier–Stokes Proof While Math Community Begins Scrutiny

The company released a formal Lean verification of a proposed finite-time singularity and faces an unresolved dispute over possible influence from outside researchers.

16 ARTICLES

9h ago

OpenAI Says Its AI Found a Finite‑Time Singularity in Navier–Stokes

Stories older than 24h

7 ARTICLES

last yr.

Physicists Propose Rotating Universe to Resolve Hubble Tension