李国杰院士提出基于可判定性理论的AI安全风险分类框架，深入剖析AGI时代的R1、R2、R3风险层级。探讨为何传统验证失效，以及如何通过工程与制度治理应对不可判定的AGI挑战，为人工智能安全提供全新视角。