AI 时代的数学证明

文章将“证明”区分为人类对数学事实的理解、计算机对正确性的机械核验，以及依据权威 oracle 获知命题为真的启示。计算机时代出现了无证明的核验，AI 时代则出现了无证明的启示，而现有制度仍假定三者相同。核心问题是如何区分三者，使作为人类实践的数学继续存在。