Top all-time · #8949
Axiom
Company blog · axiommath.ai/territorymathai
Axiom is the company blog at axiommath.ai, writing about math and ai. Since 2025, 9 different Hacker News readers have linked it 9 times, most often “Formalizing the Enormous Theorem”. No feed was found, so read it on the site itself.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link Axiom's research write-up on formalizing the Classification of Finite Simple Groups in Lean. One comment quotes it for its finding of 34 deviations from the published record.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Axiom builds the formal foundations and tooling that let machines and mathematicians verify proofs and reason about logic — including AXLE, our interactive proof environment.
Most-linked posts?
- Formalizing the Enormous Theorem4 people · 4 mentions · first linked 2026-10-27
- From Seeing Why to Checking Everything2 people · 2 mentions · first linked 2026-01-09
What Hacker News says?
In [1] they claim: >However, there were 34 noteworthy deviations from the published record that needed to be resolved, the most substantial of which related to the Unbalanced Group Theorem. [1] https://axiommath.ai/research/the-enormous-theorem-formalize...
Comment linking /research/the-enormous-theorem-formalized/
on “Classification of Finite Simple Groups Formalized in Lean”Submitted Formalizing the Enormous Theorem as a story · 12 points
HN discussionSubmitted Formalizing the Enormous Theorem as a story · 2 points
HN discussionSubmitted Lattice Triangles Are Rare as a story · 2 points
HN discussionSubmitted Building the Reasoning Engine at Axiom as a story · 2 points
HN discussionSubmitted Formalizing the Enormous Theorem as a story · 1 points
HN discussionSubmitted Axplorer: Democratizing the search for interesting mathematical constructions as a story · 1 points
HN discussionSubmitted AxiomProver Solves All Problems at Putnam 2025: Proof Release and Commentary as a story · 1 points
HN discussionSubmitted From Seeing Why to Checking Everything as a story · 1 points
HN discussion
