OpenAI's 166-page Navier-Stokes proof faces expert skepticism
OpenAI's 166-page Navier-Stokes proof is disputed by mathematicians, raising questions about its validity and understanding.
Lean
Latest Lean coverage.
OpenAI releases 722 AI-generated math papers, including computer-verified proofs
OpenAI unveils 722 AI-generated math manuscripts with Lean-verified proofs, sparking debate on AI research validation.
Anthropic's Claude proves Fermat's Last Theorem in 11 days, 13M lines of Lean code
Anthropic's Claude autonomously formalized Fermat's Last Theorem in 11 days, producing a 13M-line Lean proof.