Let's do the Math!

Episode 22: Let's do the Math! — Sam Nadler and Jordan Metzner return with one of the most mind-bending episodes yet. Joined by Carina, founder & CEO of Axiom Math, the startup is building a self-improving, formal-reasoning AI mathematician. The trio breaks down why math is the next AI frontier, how Lean formalization works, and why proving theorems is a completely different challenge than solving them. Jordan also unveils his newest build: the LLM Math Roaster, a tool that scores, compares, and even roasts large models on proofs, with a full leaderboard, custom problem submissions, and an API for automated evaluation. (Yes, it even benchmarked Gemini, GPT-5, Claude, and Grok head-to-head.) In AI News, the hosts unpack Google’s massive Gemini 3 launch, Jeff Bezos stepping into the arena with Project Prometheus, and Suno’s $250M raise at a $2.45B valuation, plus what hyper-powerful AI means for creativity, coding, and even music composition. It’s fast builds, deep math, big models, and a guest who’s literally building the future of reasoning. — Show Notes: (0:00) Intro + welcoming our guest Carina (1:00) What Axiom Math is building (3:00) Jordan’s LM Math Roaster: how it works (5:00) Testing models on proofs (Gemini, GPT-5, Claude, Grok) (7:00) Why formal proofs beat natural-language reasoning (9:00) The data bottleneck: Lean scarcity & synthetic generation (12:00) How formal systems unlock “research-level” AI math (15:00) Comparing LLM math vs. Axiom’s approach (18:00) AI News: Gemini 3 hits the market (20:00) Jeff Bezos returns with Project Prometheus (22:00) Suno raises $250M — AI-generated music explodes (24:00) How math, code & creativity overlap (25:30) Episode wrap-up + what’s coming next — Platforms / Tools Mentioned: • Axiom Math – https://www.axiom.ai • Gemini 3 – https://ai.google.dev • Lean / mathlib – https://lean-lang.org • Grok / xAI – https://x.ai • GPT-5.x – https://openai.com • Claude – https://www.anthropic.com — Listen on Your Favorite Platform: • Spotify – https://open.spotify.com/show/0ahiOCzYxhhkEgbtz9kkeC • Apple Podcasts – https://podcasts.apple.com/us/podcast/built-this-week/id1823270832 • Amazon Music – https://music.amazon.com/podcasts/1017d387-fbb0-4bbf-9488-817cee38e058 • Deezer – https://www.deezer.com/us/show/1001995001 — Follow the Hosts: Jordan Metzner • LinkedIn – https://www.linkedin.com/in/jordanmetzner/ • Instagram – https://www.instagram.com/mrjmetz/ • X – https://x.com/mrjmetz?lang=bn Sam Nadler • LinkedIn – https://www.linkedin.com/in/sam-nadler-1881b75/ • X – http://x.com/Gravino05