scripod.com
Building a model that can prove theorems (with Shubho from Axiom Math)

Highlights

Transcript

Chapters

Pins

Building a model that can prove theorems (with Shubho from Axiom Math)

The Infra Pod
OverviewShownote
Unprocessed episode, you can be the first!

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

Chapters

Transcript