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
Fragments
No timecoded fragments for Axiom Math
The entry is tagged in episodes, but no transcript line names it. Its episodes are in the Episodes tab.