TokenPost topic

Axiom Math

1 TokenPost story is tagged Axiom Math. The newest appear first.

Latest Axiom Math stories

• Axiom Says AI System Formalized 15,000-Page Group Theory Proof

  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