AI持续破解未解数学难题，数学家反应不一

AI加速数学突破

OpenAI近期对单位距离猜想（Unit Distance Conjecture）的证伪，成为AI介入纯数学研究的标志性事件，并带动一系列AI辅助数学进展。

权威学者亲历验证

菲尔兹奖得主、剑桥大学数学家蒂莫西·高尔斯（Timothy Gowers）透露，GPT-5.6 Pro在首次尝试中便成功解决了他本人曾耗费大量时间攻坚的两个未解问题。他强调，这些结果虽具价值，但其证明过程缺乏人类可追溯的直觉与结构。

文化隐忧与务实立场并存

高尔斯警告，若数学家过度依赖AI输出而疏于构建深层理解能力，可能导致‘数学文化的可能消解’。与此同时，部分同行则持更务实态度，将AI定位为提升研究效率的辅助工具，而非替代人类思维的主体。