Axiom Math, OpenAI Astra, and the End of Software Bugs
Carina Hong and Ken Ono explain how automated Lean proofs and the prime gap race turn formal verification into an optimization engine.
Jobs Boom, Astra Reactions, Cybercab Roll Out, The Dyson Debate
With John Coogan, Jordi Hays, Hunter Somerville, Bar Winkler, Ken Ono, Carina Hong, Bridgit Mendler · Sunday, September 6, 2026
John Coogan and Jordi Hays analyze the release of OpenAI's GPT-6 Astra model, August jobs data, and the economics behind Tesla's Cybercab rollout. They are joined by Hunter Somerville of StepStone Group to examine venture capital liquidity and cap table dynamics, Bar Winkler of Wonderful to discuss enterprise AI agent infrastructure following their $550M Series C, Ken Ono and Carina Hong of Axiom Math on AI-driven mathematical breakthroughs, and Bridgit Mendler of Northwood Space on building global ground-station networks for space communications.
Key takeaways
- In a single week, the bounded gap in primes dropped from 246 to 240 by human mathematician Julius Stoman, to 212 by Axiom Math, and to 186 by OpenAI's Astra. Read more →
- Wonderful enforces a strict revenue cutoff: the company rejects prospective clients with under $750 million in annual revenue unless the buyer's CEO is directly engaged in the deal. Read more →
- Northwood Space replaces two-story 7.3-meter satellite dishes with arrays of six to eight Portal antennas that fit inside parking lots. Read more →
- Institutional capital is concentrating inside multi-billion dollar mega-funds, boxing out emerging managers as seed rounds swell into de facto Series A rounds. Read more →
- OpenAI's GPT-6 Astra can generate complete 3D worlds in Blender and Unreal Engine 5 from single prompts, showing real end-to-end task execution. Read more →
- Operating a Tesla Cybercab is projected at 20 cents per mile, rising to 30 to 40 cents with taxes, undercutting municipal city buses that run around $1.00 per mile before subsidies. Read more →
6 articles from this episode
Why Wonderful Rejects Clients Under $750M Revenue
Wonderful CEO Bar Winkler explains how to scale enterprise AI across 33 markets without charging for services or touching mid-market deals.
Bridgit Mendler on Northwood Space Ground Networks and Launch Limits
Bridgit Mendler explains how Northwood Space replaces two-story satellite dishes with modular antennas to maximize revenue per bit.
Hunter Somerville: Stop Letting Rogue Brokers Trade Your Cap Table
StepStone's Hunter Somerville breaks down predatory 10% SPV fees, rogue LinkedIn secondary brokers, and why IPOs now require $500M topline.
Why OpenAI Astra Makes Open-Source Blender Unbeatable
John Coogan explains how OpenAI GPT-6 Astra favors open-source tools like Blender, why benchmarks are dying, and how to measure cost per task.
Tesla Cybercab Economics and the MKBHD Delivery Bet
Tesla's Cybercab aims for 20-cent per mile transport, challenging municipal transit economics while putting Marques Brownlee's hair on the line.
More TBPN episodes
- $1M Trading Cards Heist, Trevor Milton Returns, The Death Of Common Courtesy | Diet TBPNOct 25 · 1 articles
- Jay Leno on Comedy, Supercars, and the State of HollywoodOct 25 · 2 articles
- 50 Gigawatts To The Face, 17% GDP Growth Please, Road to COD 4, Bing Gordon JoinsOct 25 · 6 articles
- SELL EVERYTHING (Including Your Dollars), PPI God Candle, Lee Jae Myung Says "We Must Live"Oct 18 · 2 articles