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
Compare coverage
Axiom Math · 1OpenAI · 200
central to the episode0
121
0
50
1
15
0
14
Author's trends
In the episodes of the author's 20 thoughts, Axiom Math is never central or discussed in depth, and the author's quotes don't mention the name.#194·11 Nov 2026context and comparison✓ article
What Is Going On with AI? The NVIDIA Scandal, OpenAI at $1.25 Trillion and a Market CrashMentions over time
202420252026