陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机
内容提要
陶哲轩在ICM大会演讲中警告，AI正引发数学界“百年危机”。他提出假设AI能完成研究级数学任务，指出数学目标将因“古德哈特定律”脱钩，导致“证明过剩”和“消化不良”。他建议披露AI使用、降低“首个解出”权重、提高“消化”权重，并强调人类需定义规则，避免被AI公司逻辑主导。
延伸解读
古德哈特定律的数学版KPI陷阱
陶哲轩用古德哈特定律警示，当数学目标被简化为可量化的指标（如解题数量）时，这些指标会因过度优化而失效。他推演了目标从“解题”到“正典化”的五次修正，揭示AI可能加剧目标脱钩，导致“证明过剩”和“消化不良”。这提醒我们，在AI辅助下，数学评价体系需警惕指标异化，避免短视的量化导向。
AI证明的信任危机
陶哲轩指出，AI生成的证明可能通过机器验证，但缺乏人类理解，导致“已验证却无人能讲清”的困境。他举例Erdős问题网站上已有几十份AI证明，但无人核验。这凸显了数学共同体面临的信任挑战：如何确保AI成果的可信度与可传播性，而非仅依赖形式验证。
人类瑕疵的独特价值
陶哲轩认为，人类表述中的瑕疵（如理解困难、批注）反而有助于数学传承，而AI的“完美”写作可能让读者误以为理解。他引用Thurston的观点，强调数学成功的度量在于促进人类理解，而非抽象生产。这提示我们，在AI时代，保留人类认知的“不完美”过程对数学教育至关重要。
数学共同体的规则制定权
陶哲轩呼吁数学界主动定义AI使用规则，而非被动接受AI公司逻辑。他建议披露AI使用、降低“首个解出”权重、提高“消化”权重，并强调人类作者对成果的最终责任。这反映了在AI冲击下，数学界需集体协商，维护价值观与实践的自主性。
Q&A
陶哲轩在ICM大会上的演讲主题是什么？
陶哲轩在ICM大会上的演讲主题是《Mathematics in the age of AI》，他在演讲中警告数学正面临一场百年危机。
陶哲轩为什么说数学正面临百年危机？
陶哲轩认为，随着AI能够以合理成本完成研究级数学任务，数学的目标将因古德哈特定律而脱钩，导致证明过剩和消化不良，从而引发一场关于数学价值观和实践方式的基础危机。
古德哈特定律在陶哲轩的演讲中是如何应用的？
陶哲轩用古德哈特定律（当一个度量成为目标，它就不再是好的度量）来说明，如果数学界过度优化AI工具，可能导致数学的多个目标（如解题、验证、传达、消化、正典化）互相脱钩，从而引发危机。
陶哲轩提出的应对AI冲击数学的建议有哪些？
陶哲轩建议：披露AI使用、降低“第一个解出”的权重、提高“消化”的权重，并强调人类作者对成果的正确性和引用负责。他还提出，如果作者不能清晰、专家级地报告成果，就不应发表。
陶哲轩提到的“证明消化不良”是什么意思？
“证明消化不良”是指数学研究的各个环节（生成、验证、表述、发表、正典化）流速不匹配，导致系统失效，即AI生成的证明过多，但人类无法及时消化和接受。
陶哲轩对AI在数学教育中的使用持什么态度？
陶哲轩认为在教育和人才培养领域应强调属人的部分，严格限制AI的使用，而在其他领域数学界应主动定义规则，而不是被AI公司的产品逻辑主导。
陶哲轩在演讲中如何以身作则示范AI的使用？
陶哲轩在演讲中披露自己使用了AI进行文本补全和图表生成，同时幽默地标注“本slides中所有破折号均为人类生成”，以此示范不拒绝、不隐瞒但规则由数学家自己定的态度。
