The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)
Building an AI Mathematician with Carina Hong - #754
Carina Hong discusses Axiom's work on an "AI Mathematician," leveraging LLMs, formal proof languages, and code generation. The episode covers technical challenges like data gaps and autoformalization, and potential applications in formal verification and discovering new…