陶哲轩认为数学 2.0 时代应降低解决难题的核心地位

针对 OpenAI 报告称其一款尚未发布的前沿模型解决了数百个数学难题（包括四维挂谷猜想），UCLA 数学家陶哲轩评论认为，AI 模型的证明由对数学兴趣不大的人通过提示词自主完成，他们只关心解决本身，无法参与研讨会与专家讨论。