陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机

背景：在AI技术快速发展的背景下，陶哲轩在2026年ICM大会上发表演讲，指出数学界正面临一场价值观与实践方式的根本性危机，这与百年前由罗素悖论引发的数学基础危机类似。研究目的：探讨AI尤其是生成式AI对数学研究核心目标、评估体系和实践方式的冲击。通过提出“假设AI已能高效完成研究级数学任务”的工作假设，分析数学研究目标（解题、验证、传达、共同体接受、正典化）在古德哈特定律（KPI陷阱）下可能出现的脱钩现象，并推演从“证明稀缺”到“证明过剩”时代转变带来的“证明消化不良”问题。结论：陶哲轩认为，数学共同体必须主动定义AI使用的规则，披露AI使用，降低“第一个解出”的权重，并提高“消化”（如清晰传达、共同体接受、正典化）的权重。他强调，若作者无法就成果做出清晰、专业的报告，则该成果不应发表，以此维护数学作为人类智力活动的核心价值。