TWIML AI Podcast
Building an AI Mathematician with Carina Hong - #754
Nov 04, 2025
· 55m
In this episode, Carina Hong, founder and CEO of Axiom, joins us to discuss her work building an "AI Mathematician." Carina explains why this is a pivotal moment for AI in mathematics, citing a convergence of three key areas: the advanced reasoning capabilities of modern LLMs, the rise of formal proof languages like Lean, and breakthroughs in code generation. We explore the core technical challenges, including the massive data gap between general-purpose code and formal math code, and the difficult …
이 에피소드는 아직 녹음되지 않았습니다
STT.ai을 사용하여 AI로 이 에피소드를 기록합니다. 발음기 감지, 타임스탬프, 다양한 형식으로 내보내기를 통해 정확한 텍스트를 얻으십시오.
스피커 감지
단어 수준 시간 스탬프
SRT, TXT, JSON으로 내보내기