CompanyUnited States
Axiom Math
A US AI startup building mathematical reasoning systems whose proofs are machine-checked in Lean.
1
mention in the archive
0
central to an episode
1
episode with a mention
0
fragments with a timecode
Nov 2026
first mention
Nov 2026
peak · 1 in a month
67
links to other entries
Trends
Axiom Math in the author's trends
all 20 thoughts →A link is an episode of the thought where Axiom Math is central or discussed in depth, or an author's quote that names it. The bar counts the shared episodes; blue bars are the months they meet on the June 2024 — November 2026 scale.
No links to the trends found
Axiom Math is never central or discussed in depth in the episodes of the author's 20 thoughts, and the author's quotes don't mention the name.