Podcasts

Filtered to Formal Verification · clear filter

Browse by topic

Reinforcement learning 11AI agents 10recursive self-improvement 7AI safety 6Diffusion models 5formal verification 5Agentic AI 4AI ethics 3AI infrastructure 3Code generation 3Human-AI collaboration 3Mechanistic interpretability 3multi-agent systems 3Open Source AI 3Scaling laws 3Synthetic data generation 3Venture capital 3world models 3Agent architecture 2Computational complexity 2Context engineering 2Continual learning 2Continuous learning 2Data generation 2Developer experience 2Drug discovery 2Foundation models 2GPU infrastructure 2Lab automation 2LLM inference 2

Matching episodes

Alignment with Awakening: Davidad on Moral Realism, AI Wisdom, & why His p(Doom) is Down to 5%

"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis · 12 JUL 2026 · 144 min

David Dalrymple, known as Davidad, discusses his shift from formal verification approaches to an 'Alignment with Awakening' framework, emphasizing the formation of coalitions of aligned AIs that recognize shared moral truths. He sha…

formal verificationsafe AI containmentworld modelsproof infrastructureAI wisdommoral realismreinforcement learninginoculation promptingmulti-agent systemsbodhitropic alignmentAI interiorityobjectificationUS-China AI cooperationcatastrophic riskrecursive self-improvementsystem promptingalignment techniquescoalition of aligned AIsAI ethicsAI governance

Grant Sanderson – AI and the future of math

Dwarkesh Podcast · 30 JUN 2026 · 94 min

This episode explores AI's rapid progress in mathematics, particularly its ability to solve complex problems like those in the International Math Olympiad and generate counterexamples to long-standing conjectures. The discussion delves …

AI in MathematicsAGI BenchmarksInternational Math OlympiadMathematical CreativityRiemann HypothesisGroup TheoryConjecture GenerationDefinition GenerationMathematical ExplanationAI Training ParadigmsFormal VerificationAI ParallelizationTheory of MindFuture of Math Careers

The First Thermodynamic AI Computing Chip - Thomas Ahle

Machine Learning Street Talk (MLST) · 28 JUN 2026 · 63 min

In this episode, Thomas Ahle discusses the development of thermodynamic computing chips and the challenges of chip design automation using AI agents. He explains how his team built an open-source Verilog simulator with AI collaboration to o…

thermodynamic computingchip design automationformal verificationVerilog simulationAI agentsopen source EDAcontinual learningprobabilistic machine learninghardware-software co-designauto formalizationsoftware complexityAI-generated codeBayesian inferencestochastic differential equationsMarkov chain Monte Carlodiffusion modelsneural network accelerationrecursive self-improvementAI safetyagentic coding

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space: The AI Engineer Podcast · 3 JUN 2026 · 93 min

Carina Hong, CEO of Axiom Math, discusses the company's recent $200M Series A funding and their perfect Putnam exam score, highlighting their mission to scale "verified AI" through formal mathematics. She explains how formal v…

Formal verificationAI for mathLean proof assistantMathematical discoveryPutnam examHardware verificationSoftware verificationRecursive self-improvementAI agentsTransfer learningAuto-formalizationCode generationComputational complexityReinforcement learningKnowledge graphsInterdisciplinary teamsStartup funding

🔬Doing Vibe Physics — Alex Lupsasca, OpenAI

Latent Space: The AI Engineer Podcast · 5 MAY 2026 · 92 min

This episode features Alex Lupsasca from OpenAI, who discusses how AI, particularly GPT models, has achieved superhuman capabilities in theoretical physics, solving problems that puzzled human experts for over a year. He details the discove…

AI in physicsTheoretical physicsQuantum field theoryGluon amplitudesGraviton amplitudesScientific discoveryAI ethics in researchBlack hole physicsQuantum gravityAI in educationFormal verification