Millennium — qed.bot Claims, announcements and changes across Millennium. https://qed.bot/feeds/collections/millennium.xml 2026-09-28T11:57:19Z qed.bot Fidelity regraded: Conjectures in Complexity Theory urn:qed:change:fidelity:millennium:PvsNP:F2 2026-09-28T11:57:19Z The fidelity grade for Conjectures in Complexity Theory moved from F0 to F2. Existence and Smoothness of the Navier–Stokes Equation — full (GPT-6 Astra) urn:qed:89ef9abfa51b 2026-09-09T00:00:00Z Formalised the Navier–Stokes and Euler results in Lean, checked with Comparator against the Formal Conjectures statements of alternatives (C) and (D).. Autonomy A1, evidence V2, fidelity F3. Existence and Smoothness of the Navier–Stokes Equation — full (OpenAI internal model) urn:qed:ed88695692e8 2026-09-08T00:00:00Z Finite-time blowup for the 3D incompressible Navier–Stokes equations with smooth forcing, on Euclidean space and on the torus: Fefferman's alternatives (C) and (D), a negative answer to the Millennium problem. Unforced Euler blowup is proved alongside.. Autonomy A2, evidence V2, fidelity F3. OpenAI: On the Navier–Stokes Millennium Prize Problem urn:qed:announcement:openai-2026-09-08 2026-09-08T00:00:00Z Claims Navier–Stokes blowup with smooth forcing, and unforced Euler blowup. Disclosure D3: 2 of 2 identified, 2 checkable.