OpenAI模型攻克数学界80年难题，数学家紧急签署宣言防范真理私有化

【导语：上月，OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题，这是AI首次自主攻克领域核心开放难题。这一突破引发了数学家的担忧，约60名顶级数学家、计算机科学家紧急集结，签下《莱顿人工智能与数学宣言》。】

AI攻克80年数学难题

上月，OpenAI内部模型自主解决了困扰数学界80年的Erdős单位距离问题，这是AI首次自主攻克领域核心开放难题。数学领域迎来了「AlphaGO」时刻，数学家已经在利用这个解法的方法，并将其用于攻克其他长期存在的数学问题。

算法的「非人化」优势

外媒报道，AI能解决这一难题背后有三大原因。首先是「反直觉的暴力」，人类数学家思考时带有审美惯性，而AI没有审美，它在代数数论与离散几何这两个人类专家极少交叉的领域之间搭建桥梁，找到人类因「偏见」而未尝试的点阵排列。

其次，人类擅长深耕专业，而AI擅长综合贯通，能识别出人类无法察觉的联系。最后，AI具有「不间断的专注」，不会疲倦，不需要休息，能轻松处理长达7.5万字的逻辑链条。

莱顿宣言防范「真理的私有化」

约60名顶级数学家、计算机科学家在莱顿大学紧急集结，签下《莱顿人工智能与数学宣言》。他们担心数学从「公共知识」沦为「商业黑盒」，商业公司利用数学家无偿分享的论文训练AI，却在产出成果时选择「闭源」或延迟发表。

此外，AI给出的证明越来越冗长、晦涩，拥有顶尖算力的公司掌握了定义「什么是重要数学问题」的权力。《莱顿宣言》核心直指痛处，不能让商业逻辑碾压开放科学。

人类要的是答案，还是理解？

AI攻克埃尔德什难题后，其解法虽然正确却极其古怪，更像一个「神谕」，只告知结果不解释原因。这正是人类数学家坚守的底线，数学不仅是产生「正确结论」的工厂，更要赋予人类理解、清晰度和判断力。

编辑观点：AI在数学领域的突破带来了新的机遇和挑战，《莱顿宣言》提醒我们要在利用AI的同时，守住数学的透明度和开放性，确保人类对数学研究的主导权。