9 min read 0 AI Artificial Intelligence Axiom Math’s 16 Million-Line Lean Stacks Project Formalization Tests AI’s Path to Checkable Mathematics Rosario Fortugno November 9, 2026
7 min read 0 AI Artificial Intelligence OpenAI Releases Mathematical Results With Lean Proofs, Failed Attempts and Compute Data Rosario Fortugno October 9, 2026
10 min read 0 AI Artificial Intelligence Anthropic Says Claude Formally Verified Fermat’s Last Theorem in Lean Rosario Fortugno September 5, 2026
