Building an AI Mathematician [Carina Hong] - 754
The TWIML AI Podcast with Sam Charrington · 54:53
Karina Hong, founder and CEO of Axiom, argues that "AI mathematicians" are now within reach. Three things have arrived together: LLMs that reason well, the Lean 4 proof language, and mature code-generation techniques....