x
Aumann's Agreement Theorem — AI Alignment Forum