Achieving high-assurance alignment will require formal guarantees in complexity theory.| www.lesswrong.com
Obstacles in ARC's research agenda| Alignment Research Center
