Person · appeared on 2 episodes
Founder and CEO of Axiom Math, an AI company developing tools for mathematical discovery and formal verification.
Tap a name to go there · tap a line to see why they are linked
Entrepreneurial Thought Leaders (ETL) · 4 Nov · guest
TBPN · 5 Sept · guest