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 …
Tsy mbola voasoratra io fizarana io
Ampiasao ny STT.ai hanoratana ity fizarana ity amin'ny AI. Azonao atao ny mahazo lahatsoratra marina miaraka amin'ny famantarana ny mpiteny, ny famantarana ny fotoana, ary ny fanondranana amin'ny lamina maro.
Famantarana ny mpandahateny
Famaritana ny fotoana amin'ny ambaratongan'ny teny
Manafatra amin'ny endrika SRT, TXT, JSON