Axiom Math completes formal verification of the Stacks maths project
What happened
On 6 November 2026, AxiomMath, valued at $1.6 billion, announced it had formally verified the Stacks Project: using AI agents to translate the roughly 7,654-page mathematical text into about 16 million lines of computer-checkable Lean code. The team set a loose hierarchy for the agents, letting them claim tasks in parallel on their own, and built its own maths-specialised model. CEO Carina Hong said the aim was to give AI agents a reusable verification foundation, reduce low-quality output, and publicly challenged coding companies to match the scale of formalisation. Progress so far is that the project is complete and publicly announced, with no third-party review or follow-up results disclosed.
Written by AI from the reports · updated 3 h ago
Timeline
Follow the reports to see the event from each side.
- TechCrunch · AIAxiom Math wants to keep AI slop out of mathematics
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
Heat of this event
Current heat 8·Peak in the comparable range 9（Nov 6 05:00）·Change over 24 hours in the comparable range –
The trend compares only the same accounts observed without a break, so its range can be narrower than the current heat count. Move the pointer or tap the chart to see each hour; with a keyboard, use the left and right arrow keys.