OpenAI公布一款未发布人工智能模型得出的372项数学成果，数学家要求证明其产生过程
OpenAI公布了数百项据称针对数学和理论计算机科学开放问题的解答或进展，其中许多附有经计算机验证的证明。产生这些成果的模型并未公开，成果也未经同行评审。
事件经过： 该公司表示，OpenAI周二发布了由一个内部“前沿”模型产生的372项成果，并将其发布在GitHub代码库中，而非学术期刊上。据《科学美国人》报道，OpenAI称每项成果都解决了数学或理论计算机科学中的一个开放问题，或在该问题上取得了实质性进展。其主张包括：解决了四维挂谷猜想、改进了重要的计算机算法，以及在黎曼猜想相关问题上取得进展。
它所说的做法： 一名OpenAI发言人对《科学美国人》表示，几乎每项成果都来自给单个人工智能智能体的单条提示，但有些尝试了多次。OpenAI称，平均每项成果所用算力约相当于ChatGPT Pro三小时的“思考”。据The Decoder报道，这与该公司此前的纳维-斯托克斯成果形成对比，那项成果动用了10000个智能体组成的集群和数百万美元的计算费用。
如何验证： OpenAI表示，许多证明附有用Lean编写的版本，Lean是一种可让计算机检查每一步逻辑的编程语言。Lean检查能表明证明在逻辑上成立，但不能表明成果是否新颖或重要。OpenAI还公布了10份模型推理摘要以及其尝试问题数量的统计，但没有公布提示词或每个问题所用的算力。
质疑之声： 据《科学美国人》报道，OpenAI曾咨询的普林斯顿高等研究院一个独立数学家顾问小组建议，企业应公布每项成果背后的模型、确切提示词和计算时间。OpenAI表示会认真对待这些指导原则，但不受其约束。麻省理工学院数学家安德鲁·萨瑟兰说：“我们应该要求出示凭据。”多伦多大学数学家丹尼尔·利特表示，公布这些成果“对数学来说将是一件好事”。
下一步： OpenAI表示正努力“负责任地”发布该模型，并将资助有关理解人工智能所产成果的研讨会和会议。预计数学家需要数月时间来审查这批成果。