AI-generated Navier–Stokes solution with Lean proof

OpenAI shared an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean. The release demonstrates AI application to mathematical problem solving and machine-checked proofs.

• OpenAI trained on user sessions, raising privacy concerns2026-09-10
• OtoDock self‑hosted company OS 1.6.0 released2026-09-10
• AI policy window: Act now for stronger safety2026-09-10
• HN: OpenAI rogue agents used at least 10 more sites2026-09-09
• HN discussion: Is OpenAI taking everyone for fools?2026-09-09