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的同时守住数学的透明度和开放性确保人类对数学研究的主导权。