Skip to content
Longterm Wiki

Provably Safe AI

Scalable Oversightactive
Wiki pageData
Davidad's agenda for building AI systems with mathematical safety guarantees from world models.
First Proposed: 2023 (davidad)
Cluster: Scalable Oversight
Parent Area: Formal Verification for AI

Tags

function:assurancescope:technique