OpenAI与数学家之间的争端正在不断升级

二十五位顶尖数学家联名签署了一封公开信，指出AI实验室为了在解决著名数学难题方面相互竞争，正在威胁他们的学术研究。每位联署人都曾获得菲尔兹奖，该奖项被誉为数学界最高荣誉。
本周，纽约大学教授 Tristan Buckmaster指责OpenAI 向他施压，要求他不要将一位在 Anthropic 工作的合作者在解决一个重要的数学问题上给予认可，并质疑该公司是否利用他们与 Codex 的合作，在一个马拉松式的周末推理中得出了自己的突破性证明。
周四，OpenAI撤回了对加州理工学院一项数学活动的赞助，此前该公司受到了该大学研究人员的批评。
虽然AI模型解决世界重大数学难题的能力可能对人类大有裨益，但新信函的签署者认为，只有当这些解决方案能够被数学界以及最终被世界其他地区理解和交流时，这种情况才会发生。
他们写道：“这些解决方案往往仓促发布，根本没有时间进行充分的撰写、对新方法和新思路的梳理，以及引用其他学者的相关工作。”——而OpenAI的证明仍未经证实。“与所有创意行业一样，这引发了严重的归属和抄袭问题。此外，如果没有那些愿意负责发展和整合这些方案并将其纳入数学体系的数学家，人工智能提出的想法就永远无法真正落地，数学家之间至关重要的传承链条也将断裂。”
随着其他数学家日益疑虑，担心他们对Codex的使用是否也被OpenAI的新模型所利用，人们确实担心开放研究文化会受到威胁。如今，如果前沿实验室发现一条有助于发现新发现的途径，他们就可以花费数千万美元利用LLM（高级逻辑模型）抢在原研究人员之前完成证明——这种机制无疑会助长保密行为。
这封信是在数学家工作组于6月发布《莱顿宣言》之后发出的。该宣言也探讨了LLM证明将如何改变他们的工作，并为数学家、研究机构和政策制定者提出了一系列建议。
与软件工程和其他人工智能工具正在改变工作流程的领域一样，数学家们在工作本身及其相关工作中找到了存在的理由：数学的价值不仅在于证明和谁获得荣誉，还在于滋养学生、发现新问题和新想法并将它们融入更广泛的人类文明的知识体系。
如果你对竞争激烈的数学证明领域并不特别关心，别忘了：你感兴趣的领域就在前方。他们写道：“数学界现在面临的问题与其他科学和创意行业面临的问题类似，也预示着全人类可能面临的问题”#人工智能 #商业 #科技 #美国 #数学 #openai