"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis

Kathleen Fisher and Byron Cook dive into automated reasoning and formal verification as tools for building truly secure software systems. PSA for AI builders: Interested in alignment, governance, or AI safety? Learn more about the MATS Summer 2026 Fellowship and submit your name to be notified when applications open: https://matsprogram.org/s26-tcr. They explain how formal methods can harden critical infrastructure against AI-enabled cyberattacks, and how assumptions, specifications, and proofs combine to deliver real security guarantees. The conversation explores using these techniques to train coding models, enable a “great software rewrite,” and power AWS’s new automated reasoning checks for AI agents and policy compliance. Sponsors: MATS: MATS is a fully funded 12-week research program pairing rising talent with top mentors in AI alignment, interpretability, security, and governance. Apply for the next cohort at https://matsprogram.org/s26-tcr Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai Agents of Scale: Agents of Scale is a podcast from Zapier CEO Wade Foster, featuring conversations with C-suite leaders who are leading AI transformation. Subscribe to the show wherever you get your podcasts Shopify: Shopify powers millions of businesses worldwide, handling 10% of U.S. e-commerce. With hundreds of templates, AI tools for product descriptions, and seamless marketing campaign creation, it's like having a design studio and marketing team in one. Start your $1/month trial today at https://shopify.com/cognitive CHAPTERS: (00:00) About the Episode (04:52) AI Reshapes Cybersecurity (10:16) Formal Methods Foundations (17:46) Security Properties Assumptions (Part 1) (21:27) Sponsors: MATS | Tasklet (24:27) Security Properties Assumptions (Part 2) (28:31) Helicopter Formal Verification (38:15) Proof Confidence And AWS (Part 1) (41:52) Sponsors: Agents of Scale | Shopify (44:40) Proof Confidence And AWS (Part 2) (50:33) Automated Reasoning For Policies (01:04:39) Generative AI Meets Verification (01:19:42) Securing Future AI Systems (01:31:19) Agentic Guardrails And Governance (01:40:44) Outro PRODUCED BY: https://aipodcast.ing SOCIAL LINKS: Website: https://www.cognitiverevolution.ai Twitter (Podcast): https://x.com/cogrev_podcast Twitter (Nathan): https://x.com/labenz LinkedIn: https://linkedin.com/in/nathanlabenz/ Youtube: https://youtube.com/@CognitiveRevolutionPodcast Apple: https://podcasts.apple.com/de/podcast/the-cognitive-revolution-ai-builders-researchers-and/id1669813431 Spotify: https://open.spotify.com/show/6yHyok3M3BjqzR0VB5MSyk

This year-end live show features nine rapid-fire conversations to make sense of AI’s 2025 and what might define 2026. PSA for AI builders: Interested in alignment, governance, or AI safety? Learn more about the MATS Summer 2026 Fellowship and submit your name to be notified when applications open: https://matsprogram.org/s26-tcr. New York Assemblymember Alex Boris breaks down the RAISE Act's bid to curb catastrophic AI risks, the governor negotiations, and why a16z-backed ads are targeting him. Former White House AI adviser Dean Ball maps the emerging coalitions on AI, federal preemption, and what fast-improving coding agents could mean for policy and jobs. Forecaster Peter Wildeford debates selling vs "renting" chips to China and offers a 2026 outlook on agents, costs, and robotics. Recorded live as part of our AI 2025→2026 series (Part 2). Sponsors: Gemini 3 in Google AI Studio: Gemini 3 in Google AI Studio lets you build fully functional apps from a simple description—no coding required. Start vibe coding your idea today at https://ai.studio/build MATS: MATS is a fully funded 12-week research program pairing rising talent with top mentors in AI alignment, interpretability, security, and governance. Apply for the next cohort at https://matsprogram.org/s26-tcr Framer: Framer is the all-in-one tool to design, iterate, and publish stunning websites with powerful AI features. Start creating for free and use code COGNITIVE to get one free month of Framer Pro at https://framer.com/design Shopify: Shopify powers millions of businesses worldwide, handling 10% of U.S. e-commerce. With hundreds of templates, AI tools for product descriptions, and seamless marketing campaign creation, it's like having a design studio and marketing team in one. Start your $1/month trial today at https://shopify.com/cognitive Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai CHAPTERS: (00:00) Sponsor: Gemini 3 in Google AI Studio (00:31) RAISE Act status (04:52) Catastrophic risk focus (10:47) Super PAC backlash (16:17) Data centers and grid (19:47) Palantir and surveillance (23:42) Dean Ball joins (Part 1) (23:46) Sponsors: MATS | Framer (27:05) Dean Ball joins (Part 2) (32:00) Social media lessons (36:22) Trump preemption and chips (Part 1) (40:51) Sponsors: Shopify | Tasklet (43:59) Trump preemption and chips (Part 2) (44:50) Structural US-China decoupling (49:39) Peter on chip ban (55:43) Threat model and renting (01:02:55) Cost drops, revenue (01:16:03) Forecasting paradigm shifts (01:20:38) 2026 agents and robots (01:31:41) Show wrap and markets (01:42:28) Outro PRODUCED BY: https://aipodcast.ing

This year-end live show features nine rapid-fire conversations to make sense of AI’s 2025 and what might define 2026. PSA for AI builders: Interested in alignment, governance, or AI safety? Learn more about the MATS Summer 2026 Fellowship and submit your name to be notified when applications open: https://matsprogram.org/s26-tcr. Zvi Moshowitz maps the OpenAI–Anthropic–Google race, the denialism gap, and why his PDoom is still ~60–70%. Greg (ARC-AGI Prize), Eugenia Kuyda, Ali Behrouz, Logan Kirkpatrick, and Jungwon Hwang cover sample-efficient benchmarks and ARC-AGI 3, companions and human-flourishing metrics, continual-learning memory, Gemini 3 Flash for developers, and AI for scientific decisions. Sponsors: Gemini 3 in Google AI Studio: Gemini 3 in Google AI Studio lets you build fully functional apps from a simple description—no coding required. Start vibe coding your idea today at https://ai.studio/build MATS: MATS is a fully funded 12-week research program pairing rising talent with top mentors in AI alignment, interpretability, security, and governance. Apply for the next cohort at https://matsprogram.org/s26-tcr Framer: Framer is the all-in-one tool to design, iterate, and publish stunning websites with powerful AI features. Start creating for free and use code COGNITIVE to get one free month of Framer Pro at https://framer.com/design Shopify: Shopify powers millions of businesses worldwide, handling 10% of U.S. e-commerce. With hundreds of templates, AI tools for product descriptions, and seamless marketing campaign creation, it's like having a design studio and marketing team in one. Start your $1/month trial today at https://shopify.com/cognitive Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai CHAPTERS: (00:00) Sponsor: Gemini 3 in Google AI Studio (00:31) Live show experiment (02:26) Zvi: discourse and denial (13:28) Continual learning and doom (22:05) ArcAGI: what's missing (Part 1) (22:09) Sponsors: MATS | Framer (25:28) ArcAGI: what's missing (Part 2) (31:58) Scaffolds and tiny models (38:58) ArcAGI 3 game worlds (45:13) AI companions landscape (Part 1) (45:21) Sponsors: Shopify | Tasklet (48:29) AI companions landscape (Part 2) (58:14) Wabi apps and caution (01:08:16) Nested learning, layered memory (01:23:14) Gemini 3 Flash launch (01:34:09) RAG, agents, dev advice (01:42:20) Elicit speeds evidence synthesis (01:57:57) Outro PRODUCED BY: https://aipodcast.ing

Andy Masley on AI energy and water use unpacks common myths and brings an Effective Altruism lens to the debate. PSA for AI builders: Interested in alignment, governance, or AI safety? Learn more about the MATS Summer 2026 Fellowship and submit your name to be notified when applications open: https://matsprogram.org/s26-tcr. You’ll get memorable heuristics—one ChatGPT query ≈ running a microwave for one second; 10,000 queries ≈ a cross-town car trip, burger, or hot shower—and clear comparisons about data center power, solar land area, and an estimated 80 GW buildout. We also cover local impacts, water trade-offs, uncertainty drivers, and why AI’s global resource footprint is smaller than many fear while noting where caution is still warranted. LINKS: Andy Masley Substack homepage Power Hungry Processing paper PDF Energy Efficiency AI Benchmarks PDF Deep neural network energy paper Gemini Deep Research report ChatGPT 5.1 Pro report Claude Opus 4.5 report Altman “The Gentle Singularity” SemiAnalysis AI datacenter energy dilemma Epoch OpenAI compute spend Dean Ball Out of Thin Air Sponsors: Framer: Framer is the all-in-one tool to design, iterate, and publish stunning websites with powerful AI features. Start creating for free and use code COGNITIVE to get one free month of Framer Pro at https://framer.com/design Agents of Scale: Agents of Scale is a podcast from Zapier CEO Wade Foster, featuring conversations with C-suite leaders who are leading AI transformation. Subscribe to the show wherever you get your podcasts Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai Shopify: Shopify powers millions of businesses worldwide, handling 10% of U.S. e-commerce. With hundreds of templates, AI tools for product descriptions, and seamless marketing campaign creation, it's like having a design studio and marketing team in one. Start your $1/month trial today at https://shopify.com/cognitive PRODUCED BY: https://aipodcast.ing

Max Tegmark and Dean Ball debate whether we should ban the development of superintelligence in a crossover episode from Doom Debates hosted by Liron Shapira. PSA for AI builders: Interested in alignment, governance, or AI safety? Learn more about the MATS Summer 2026 Fellowship and submit your name to be notified when applications open: https://matsprogram.org/s26-tcr. They unpack the Future of Life Institute's call for a moratorium until there is broad scientific consensus and public buy-in, contrasting Tegmark’s precautionary stance with Dean’s emphasis on experimentation, competition, and practical policy hurdles. Listeners will get clear takes on p(doom), the limits of FDA-style regulation, unilateral ban risks, and what safe, beneficial advanced AI might realistically look like. LINKS: AMA episode feedback survey form Doom Debates Substack newsletter Sponsors: Framer: Framer is the all-in-one tool to design, iterate, and publish stunning websites with powerful AI features. Start creating for free and use code COGNITIVE to get one free month of Framer Pro at https://framer.com/design Agents of Scale: Agents of Scale is a podcast from Zapier CEO Wade Foster, featuring conversations with C-suite leaders who are leading AI transformation. Subscribe to the show wherever you get your podcasts Tasklet: Tasklet is an AI agent that automates your work 24/7; just describe what you want in plain English and it gets the job done. Try it for free and use code COGREV for 50% off your first month at https://tasklet.ai Shopify: Shopify powers millions of businesses worldwide, handling 10% of U.S. e-commerce. With hundreds of templates, AI tools for product descriptions, and seamless marketing campaign creation, it's like having a design studio and marketing team in one. Start your $1/month trial today at https://shopify.com/cognitive PRODUCED BY: https://aipodcast.ing CHAPTERS: (00:00) About the Episode (05:43) Cold open and intro (09:21) Opening statements: ban debate (Part 1) (14:49) Sponsors: Framer | Agents of Scale (17:11) Opening statements: ban debate (Part 2) (17:11) Licensing-style AI regulation (26:52) Liability, tail risks (Part 1) (33:24) Sponsors: Tasklet | Shopify (36:32) Liability, tail risks (Part 2) (39:23) Timelines and precautionary regulation (47:03) Defining superintelligence and risk (52:26) Risk-based safety standards (56:28) Current regulations and definitions (01:05:23) Max's doom scenario (01:19:46) P-doom gap and adaptation (01:34:40) National security and China (01:43:57) Closing statements and reflections (01:55:22) Host debrief and outro (02:02:10) Outro