Axiom Puts Algebra Geo’s Big Ref Into Lean
A month after a wave of AI-written proofs hit mathematics, Axiom answered with some 16 million lines of math that a computer has checked step by step. in this story Axiom Carina Hong The Stacks Project On November 4, Axiom released a Lean formalization of the entire Stacks Project, the open-source reference that holds up […]