Building a model that can prove theorems (with Shubho from Axiom Math)
The Infra Pod
Jun 04
Building a model that can prove theorems (with Shubho from Axiom Math)
Building a model that can prove theorems (with Shubho from Axiom Math)

The Infra Pod
Jun 04
Unprocessed episode, you can be the first!
Shownote
Shownote
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-drive...
Highlights
Highlights
Chapters
Chapters
Transcript
Transcript