Building a model that can prove theorems (with Shubo from Axiom Math)
Episode Date: June 4, 2026What happens when you combine world-class mathematicians with cutting-edge AI systems? In this episode, Ian Livingston (CEO of Keycard) and Timothy Ch...
