随着人工智能实验室的竞争加剧，OpenAI公司与全球25位顶尖数学家之间的争议不断升级。这些数学家均为菲尔兹奖获得者，他们签署了一封公开信，警告称人工智能实验室正在威胁数学家的智力工作，因为这些公司在没有经过传统科学渠道的情况下，急于为复杂的数学问题提供证明。
争议的导火索是纽约大学的数学教授特里斯坦·巴克·马斯特（Tristan Buck Master）指控OpenAI公司施压，要求他不提及Anthropic公司的研究人员在解决一项重要数学问题中的贡献。此外，外界对OpenAI是否利用研究人员的工作，通过Codex生成被称为“重大突破”的证明提出质疑。该公司在加州理工学院（CalTech）的一项活动赞助中撤回支持，原因是遭到该校研究人员的批评。
公开信强调，人工智能生成的证明往往匆忙发布，未能给予足够的时间进行科学的撰写、记录或与以往工作相结合。信中警告，抄袭和掩盖数学发展的思想链条的风险日益增加。科学家们指出，人工智能产生的想法，若没有数学家们的进一步发展和融入现有知识，将无法成为数学的有机组成部分。
研究人员担心，使用Codex等工具可能会导致OpenAI模型的训练，这可能促使公司在研究者之前利用这些成果，从而使科学家们更倾向于隐瞒自己的研究，而不是公开分享。
这封信是在去年六月发布的莱顿声明之后发布的，该声明讨论了人工智能对数学证明性质的影响，并向研究人员、机构和政策制定者提供了应对这一转变的建议。
科学家们警告称，当前在数学领域发生的事情可能会扩展到其他科学和创造性领域。随着人工智能继续改变传统工作方式，确保这一转变不会导致科研的价值被削弱，成为最大的挑战。
关注阿拉伯语原文 阿拉伯语