AI 持续攻克数学难题，数学家们喜忧参半

The Decoder梳理了数学界对AI攻克数学难题浪潮的分裂反应——继OpenAI证伪“单位距离猜想”引发一连串AI辅助数学突破后，菲尔兹奖得主Timothy Gowers公开表示GPT-5.6 Pro一次尝试就解出了他本人长期未能攻克的两道题目，让部分数学家陷入复杂心态。

• 起点是OpenAI证伪了单位距离猜想（Unit Distance Conjecture），被认为拉开了这轮AI辅助数学进展的序幕；
• Gowers本人验证GPT-5.6 Pro在首次尝试就解出了他投入大量时间未解的两道问题，这份评价出自顶级数学家本人，含金量较高；
• Gowers同时发出警告：如果数学家因此停止训练理解此类结果所需的专业能力，可能造成数学文化的潜在毁灭；
• 另一部分学者态度更平和，只把AI当作提升研究效率的工具，不认为需要过度担忧；
• 文章呈现的是同一批AI能力突破，在数学共同体内部引发的认知与情感分歧，而非单一定论。
• 争议的实质不是AI能不能解题，而是数学作为一门以人类理解为核心的学科，该如何消化一个越来越擅长直接给出证明、却不解释直觉从何而来的合作者。

本内容由 AI 生成，仅供参考，请注意甄别