《王的猜想》一文因数学家王虹证明三维挂谷猜想而走红。文章指出，AI虽能解决复杂数学问题，但缺乏爱因斯坦提出等效原理所需的创造性跳跃。DeepMind论文认为，大模型擅长归纳和演绎，却无法进行溯因推理。陶哲轩则提醒，数学界需应对AI带来的“证明过剩”，重视验证与理解。

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