The Existential Hope Podcast cover image

Raising science ambition: how to identify the highest-impact research for an AI world | Anastasia Gamick

The Existential Hope Podcast

00:00

Provably Safe Software & Formal Methods

She outlines efforts like Lean and Oath to make software behavior verifiable and reduce specification/intent gaps.

Play episode from 18:04
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app