TokenPost topic
1 TokenPost story is tagged AxiomProver. The newest appear first.
The 24-day project produced about 43.1 million lines of Lean code and found a significant gap in the Unbalanced Group Theorem proof.
Oct 27, 2026, 8:59 PM EDT ยท Technology
