TBPN

AI vs. Dog Cancer, Oscars Reactions, How to Lose the AI Arms Race | Kevin Espiritu, Paul Conyngham, Tony Zhao, Drew Oetting, Carina Hong, Cameron Fink, Debra Birnbaum

9 snips
Mar 16, 2026
Carina Hong, MIT-trained math founder of Axiom Math, joins Drew Oetting, 8VC investor, Tony Zhao, Sunday Robotics CEO, Paul Conyngham, AI consultant, and Kevin Espiritu, Epic Gardening founder. They dig into AI tackling a dog’s cancer, household robots in real homes, math reasoning with verification, Oscars reactions, and how AI could reshape commerce and the arms race.
Ask episode
AI Snips
Chapters
Books
Transcript
Episode notes

Industrial Startups Now Need Finance Founders Early

  • Reindustrialization startups increasingly need finance talent at the founding layer because physical expansion depends on sophisticated capital allocation.
  • Drew Oetting says he now sees co-founding CFO types for project-heavy businesses raising hundreds of millions for facilities.

Formal Verification Reopens the Math Frontier

  • Axiom Math combines post-training reasoning with formal verification in Lean to push beyond standard math benchmark saturation.
  • Carina Hong says its prover scored a perfect 120 on the Putnam while the best general LLM scored 103.

Math Is a Clean Training Ground for Superintelligence

  • Carina Hong sees math as the cleanest route to superintelligence because it offers crisp right-or-wrong rewards for reinforcement learning.
  • Lean lets models verify proofs step by step, making math a scalable sandbox before transfer into code and logic.
Get the Snipd Podcast app to discover more snips from this episode
Get the app