陶哲轩在ICM大会演讲中警告，AI正引发数学界“百年危机”。他提出假设AI能完成研究级数学任务，指出数学目标将因“古德哈特定律”脱钩，导致“证明过剩”和“消化不良”。他建议披露AI使用、降低“首个解出”权重、提高“消化”权重，并强调人类需定义规则，避免被AI公司逻辑主导。