Evidence item

OpenAI says its system proved finite-time singularity formation for an initially smooth fluid. DIRECT_TEXT

Authenticity UNVERIFIED · extraction UNVERIFIED · independence group none (unreviewed) · created seq 5256

Source: On the Navier–Stokes Millennium Prize Problem · locator {} · excerpt hash sha256:dacbd5c5c63d824f655a505b22d61c06abfa6cd3fa2211ccac29ea765ea6f3ed

Our system produced an analytical proof and a Lean formalization that an initially smooth fluid at rest can develop a singularity in a finite time.