Share
))
HBO and The Ringer's Bill Simmons hosts the most downloaded sports podcast of all time, with a rotating crew of celebrities, athletes, and media staples, as well as mainstays like Cousin Sal, Joe House, and a slew of other friends and family members who always happen to be suspiciously available.
…
continue reading
Manage episode 520465099 series 3674205
Content provided by Built This Week, Jordan Metzner, and Samuel Nadler. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Built This Week, Jordan Metzner, and Samuel Nadler or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.
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
23 episodes
