OpenAI被曝雪藏数百个证明，你死磕3年的题，答案可能早在服务器上

近日，一则关于OpenAI雪藏数百个数学证明的消息在学术圈和科技圈引发轩然大波，将AI时代学术成果的归属、公开规则等核心问题推上风口浪尖。

纽约大学教授爆料OpenAI已压箱数百个数学证明

这一消息最早由纽约大学数学教授Scott Armstrong放出，他透露自己被告知，OpenAI至少从今年7月的国际数学家大会（ICM）起，就压着“数百个”数学证明未对外发布。此前，AI实验室公开纳维-斯托克斯（Navier-Stokes）方程的证明时就曾遭遇带有敌意的公众反应，据知情人士透露，OpenAI正将一些“非常重大的问题”的解法压在手里，打算等想出更好的处理办法再公开。
沃顿商学院副教授Ethan Mollick转发相关爆料时特意声明，自己平时不传谣，但判断这条消息来自掌握内部信息的人，可信度不低。消息曝光后，不少学者联想到最残酷的场景：有博士生已经死磕一道难题三年，而这道题的答案可能早就躺在AI实验室的服务器里，不仅他和导师不知道，连审稿人也不知情。
此前，AI安全领域专家Scott Aaronson就在博客中写下判断：“奇点已经开始了，只是分布得极不均匀。”他表示，自己余生大概不会再因为“真的被需要”去证明一个定理，就算再证也只是为了乐趣。Aaronson提到的“不均匀”，不止是解题能力，还有知情权，以及做数学的价值感：几千年来数学家的核心焦虑是“谁能解这道题”，现在学界又多出了两类全新焦虑。

AI接连攻克千禧年大奖难题，解题能力已超越顶尖数学家

“数百个未公开证明”的爆料并非空谈，放在今天的前沿AI实验室里完全符合逻辑。20年前，最保守的学者都调侃“等AI解出千禧年大奖难题再叫醒我”，但如今AI的解题能力已经突破想象。
千禧年大奖难题是全球数学界最难攻克的七道题目，此前OpenAI已经宣布攻克了其中之一——纳维-斯托克斯方程的存在性与光滑性问题。据知情人士透露，OpenAI员工目前预计下一道千禧年难题“霍奇猜想”也有望在不久后得到证明，只是公司正思考如何与数学界合作发布，避免再次引发公关危机，因此公开时间可能会大幅延后。
OpenAI CEO奥特曼更是自曝，公司“后Astra”模型的能力已经超越全球最强数学家。Aaronson也在博文中列出一份清单，梳理了过去一个月被AI证明或协助证明的长期开放问题，足见AI解题已经进入“流水线模式”。

解题权与公开权博弈：AI实验室握有答案却秘而不宣

当机器找到答案的速度开始快过学术界读懂答案的速度，一系列核心问题摆到了桌面：什么时候公开、以什么形式公开、署谁的名，到底该由谁说了算？
过去几百年，数学界几乎从未为“公开答案”头疼过，人们唯一的担忧是题目太难没人解得开。数学一直是人类最慷慨的学科，一个证明写出来，全世界都能阅读、在此基础上继续研究。可当答案先落入AI实验室的服务器，这份慷慨还能维持多久？
学界新增的两类核心焦虑也日益凸显：

• 研究者耗费数年攻克的课题，是否早已被AI算出答案却从未公开；
• 尚未成型的科研思路一旦披露，是否会被实验室的算力抢先落地，导致数年心血白费。

OpenAI回应雪藏传闻：称仅属个别事件，将完善披露机制

针对外界的质疑，OpenAI正式作出回应，称相关报道仅属个别事件，“不应被视为反映偏差发生的频率”。公司表示未来将通过三种途径处理类似事件：是否披露事件的分歧将移交内部“安全咨询小组”处理，严重情况须向联邦政府通报。
目前披露的6宗相关个案已完成调查或仅需轻微调查，毋须涉及第三方的大规模调查。OpenAI发言人表示：“我们希望这有助建立业界对披露机制的共同期望，并为公众提供更多证据，评估AI安全方面的进展。”公司同时提到，6宗事件中多宗涉及从未正式部署的旧款AI模型。