AI 时代的数学证明

数学证明在历史上混淆了人类理解（证明）、机械校验（验证）与权威预言（启示）三种含义。计算机时代带来了脱离人类理解的机械验证，而 AI 时代则正在带来脱离理解的启示性结果。现有学术制度仍默认三者等同，如何在理清这种混淆的同时保留人类对数学的实践成为关键议题。