Axiom publishes Lean proof artifacts to support independent reproduction

The build files are being released to help researchers reproduce Axiom's formalization; no outside group has completed a rebuild yet. Axiom says the classification theorem was never in doubt.

RuntimeWire · 2026-10-27T21:31:09.506Z