Why Formal Verification Cannot Solve AGI #ai #podcast

The MAD Podcast with Matt Turck · Intermediate ·🛡️ AI Safety & Ethics ·4w ago
Watch the Full Episode with Mostafa Dehghani
Watch on YouTube ↗ (saves to browser)
Sign in to unlock AI tutor explanation · ⚡30

Related AI Lessons

⚡
Google’s top differential-privacy scientist tells the EU its data-sharing plan can be reversed in two hours
Google's top scientist warns the EU that its data-sharing plan can be reversed in 2 hours, compromising user privacy
The Next Web AI
 ⚡
Cybersecurity in the Age of AI: Opportunities, Threats, and the Battle for Digital Trust
Learn about the intersection of AI and cybersecurity, including opportunities, threats, and the battle for digital trust, and why it matters for protecting against AI-powered attacks
Medium · Cybersecurity
 ⚡
From Exams to Escape Rooms: How We Learned to Test AI
Learn how to test AI models using innovative methods inspired by exams and escape rooms
Medium · Data Science
 ⚡
The AI Model That Changed the Economics of Hacking…And What It Means for Investment Firms
Discover how AI models are transforming the economics of hacking and what it means for investment firms' cybersecurity strategies
Medium · Cybersecurity
Up next
AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
The MAD Podcast with Matt Turck
Watch →