{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Built This Week","title":"Let's do the Math!","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/10be41bb\"></iframe>","width":"100%","height":180,"duration":1568,"description":"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: •...","thumbnail_url":"https://img.transistorcdn.com/DcxLgyo52OTPB6vLXk0DQx0p7_qs5hQqaceutObHZhA/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS8wZTY4/Nzk5NDcxMDdmNGIx/N2MzYzQzY2M2NWE2/MDAxMS5wbmc.webp","thumbnail_width":300,"thumbnail_height":300}