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.
40 hours of podcasts, in 5 minutes.
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.
Carina Hong and Ken Ono explain how automated Lean proofs and the prime gap race turn formal verification into an optimization engine.
Wonderful CEO Bar Winkler explains how to scale enterprise AI across 33 markets without charging for services or touching mid-market deals.
Bridgit Mendler explains how Northwood Space replaces two-story satellite dishes with modular antennas to maximize revenue per bit.
StepStone's Hunter Somerville breaks down predatory 10% SPV fees, rogue LinkedIn secondary brokers, and why IPOs now require $500M topline.
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's Cybercab aims for 20-cent per mile transport, challenging municipal transit economics while putting Marques Brownlee's hair on the line.