Axiom Releases Open-Source Code for Math's Largest Verified Proof and Fixes Historical ErrorsAIAxiom5 days ago