Let's do the Math!
Built This Week21 Nov 2025

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

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(55)

Nobody Takes Notes Anymore. 5 Million People Let AI Do It Instead.

Nobody Takes Notes Anymore. 5 Million People Let AI Do It Instead.

This week we sat down with Rob Williams, co-founder and CTO of Read AI, to dig into what 5 million monthly active users actually looks like at the product and infrastructure level. Most people know Re...

9 Okt 22min

He Ran a Rocket Launch Company. Now He Is Building Autocomplete for Hardware Design.

He Ran a Rocket Launch Company. Now He Is Building Autocomplete for Hardware Design.

He Ran a Rocket Launch Company. Now He Is Building Autocomplete for Hardware Design.This week we sat down with Sohrab Haghighat, CEO and co-founder of Hestus, to demo the AI layer that sits on top of ...

2 Okt 17min

She Sold Her First AI Company to Google in 2009. Now She Is Fixing How Teams Work.

She Sold Her First AI Company to Google in 2009. Now She Is Fixing How Teams Work.

This week we sat down with Jennifer Dulski, CEO and founder of Rising Team, to demo the AI leadership platform that acts as a personal trainer for your effectiveness at work. Jen spent 10 years at Yah...

21 Sep 21min

It Ships While You Sleep. The AI Agent OS a Former Google Engineer Built After Leaving Google.

It Ships While You Sleep. The AI Agent OS a Former Google Engineer Built After Leaving Google.

This week we sat down with David Petrou, CEO of Continua, to demo Wheely — an agent development operating system built for developers running multiple AI coding agents who are hitting the wall of ment...

4 Sep 26min

Physics Simulation for Chip Design Used to Take Days. This AI Does It in Seconds.

Physics Simulation for Chip Design Used to Take Days. This AI Does It in Seconds.

This week we sat down with Hardik Kabaria, co-founder and CEO of Vinci, to demo the AI platform making physics simulation accessible to any engineer building hardware. A chip tape-out used to cost mil...

10 Jul 30min

A Ten Minute Phone Video Replaces Hours of Home Inspections. We Demo the AI Doing It.

A Ten Minute Phone Video Replaces Hours of Home Inspections. We Demo the AI Doing It.

This week we sit down with Zach Rattner, CTO and co-founder of Yembo, to demo the computer vision platform that turns a ten minute phone walkthrough into a full home inventory, 3D model, and floor pla...

3 Jul 16min

The Code Running Your Plane Was Written Decades Ago. This Startup Proves It Still Works.

The Code Running Your Plane Was Written Decades Ago. This Startup Proves It Still Works.

This week we sit down with Ryan Aytay, President and COO of Code Metal, to dig into one of the most underestimated problems in tech — the legacy code running mission critical infrastructure across aer...

26 Jun 24min

AI Agents Doing Commercial Real Estate Due Diligence in Minutes. We Demo It Live.

AI Agents Doing Commercial Real Estate Due Diligence in Minutes. We Demo It Live.

This week on Built This Week we sit down with Jackson, co-founder of Realm AI, to demo the platform replacing months of manual due diligence with AI agents that find, compile, and cite every piece of ...

19 Jun 24min

Populært innen Business og økonomi

stopp-verden
dine-penger-pengeradet
rss-penger-polser-og-politikk
e24-podden
rss-borsmorgen-okonominyhetene
rss-skravla-gar
rss-pa-konto
livet-pa-veien-med-jan-erik-larssen
tid-er-penger-en-podcast-med-peter-warren
rss-orjasater
pengepodden-2
finansredaksjonen
lederpodden
utbytte
morgenkaffen-med-finansavisen
stormkast-med-valebrokk-stordalen
liberal-halvtime
rss-markedspuls-2
okonomiamatorene
rss-fa-makro