Search across episodes, people, companies, and topics — or ask the AI agent for deeper research and structured analysis.

Browse all available podcasts, episodes, and categories. Explore Technology shows and discover new content to follow.

Manage your subscribed podcasts. New episodes are automatically analyzed with AI when published, so you never miss important discussions.

Your AI analysis feed. Every episode you analyze appears here with key insights, summaries, and extracted intelligence.

Browse individuals mentioned across analyzed episodes. See who's being discussed, in what context, and how often.

Track companies and organizations referenced in podcast discussions. Monitor brand mentions and competitive intelligence.

Explore recurring topics and themes extracted from analyzed episodes. Discover what subjects are driving podcast conversations.

Spot emerging trends identified by AI across analyzed episodes. See what's gaining momentum in podcast discussions.

Browse brands and advertisers identified across analyzed episodes. See which companies sponsor which shows and how often.

Formal verification as a bottleneck for AI progress claims

Discussed in 1 analyzed podcast episode across 1 show

Discussed On

Episodes

TBPN · Aug 3, 2026

Astra Ends Math, 1 Person $1M Companies, Hank Green Is Absolutely Right | John Gruber, Shaun Maguire & Isaiah Taylor, Justin Lopas, Beau Gaston, Ron Arel

AI progress in open mathematics problems via OpenAI Astra model Hank Green AI research controversy and creator trust dynamics Solo founder $1M+ revenue companies enabled by AI tools Nuclear energy startup funding and reactor design philosophy Home battery systems as distributed virtual power plants