Building a model that can prove theorems (with Shubho from Axiom Math)
Failed to add items
Add to basket failed.
Add to wishlist failed.
Remove from wishlist failed.
Adding to library failed
Follow podcast failed
Unfollow podcast failed
Building a model that can prove theorems (with Shubho from Axiom Math)
-
Narrated by:
-
By:
What happens when you combine world-class mathematicians with cutting-edge AI systems?
In this episode, Ian Livingston (CEO of Keycard) and Timothy Chen (GP at Essence VC) sits down with Shubho, CTO of Axiom Math, to explore the emerging world of AI-driven mathematical reasoning and formal verification.
From proving theorems in Lean to scaling software verification for the agentic coding era, Shubo lays out a compelling vision for why mathematical infrastructure matters more than ever. The conversation also ventures into homomorphic encryption, multi-party computation, Navier-Stokes, and why the next frontier of computing might just be running on math we haven't discovered yet.
[00:00] Guest introductions and backgrounds
[00:52] Company founding story
[03:01] Axiom Math mission explained
[05:15] Software verification applications
[16:02] MPC and encryption challenges
[24:01] Business model and products
[33:49] Spicy Future hot takes