Axiom says its AI agents formalized a 15,000-page mathematical proof in just 24 days, largest proofs in mathematics.

First reported Oct 27, 2026, 14:45 UTC

Source reports

Axiom says its AI agents formalized a 15,000-page mathematical proof in just 24 days, largest proofs in mathematics. Built by over 100 mathematicians across decades, the proof classifies the fundamental building blocks of finite symmetry. With human guidance, the agents… — @kimmonismus (X), Oct 27, 2026, 14:45 UTC

Excerpts are quoted from the linked sources, which own their text.