Topic
Formal Mathematics
1 story tagged Formal Mathematics, newest first.
Sep 8, 2026, 10:00 AMArtificial Intelligence
AI-Generated Navier-Stokes Solution Arrives With Formal Lean Proof
An AI-generated solution to the Navier-Stokes Millennium Prize Problem is shared with a writeup and formal Lean proof, though details are still limited.
DateSectionHeadlineSource