Achieving high-assurance alignment will require formal guarantees in complexity theory.| www.lesswrong.com
YouTube link| AXRP - the AI X-risk Research Podcast
