Skip to content

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

Episodes

depth
topic
Showing 1 of 1 · mentions in the archive: 1