x
Another formalization attempt: Central Argument That AGI Presents a Global Catastrophic Risk — LessWrong