OpenAI未评审数学证明引争议

IT时代网10月29日消息，OpenAI于10月6日一次性公开了722份由内部未发布AI模型生成的数学问题求解手稿。由于未经同行评审且缺少充分说明，这批手稿在数学界引发关于谁来审阅、谁来负责的争议。

按惯例，数学论文在期刊发表前需经其他数学家同行评审，发表后作者还要回应质疑并更正错误。OpenAI此次集中发布的手稿并未经过这一流程。该公司在部分证明中使用了形式化验证工具，该工具可在求解过程转为代码后检查逻辑错误，但代码中的断言是否与原稿一致仍需人工确认，通过机器逻辑检查并不等于证明已被完整审阅。

面对数学界的担忧，OpenAI宣布正与一个由九名成员组成的独立数学与AI咨询小组合作。不过，阅读数百份手稿、找出错误并补充解释的工作量依然存在。有数学教授在学术期刊上批评称，OpenAI把一堆草稿抛出来，却指望学术界来收拾。

也有观点担忧，即便AI解出了难题，数学学科也难以消化这些成果。一名高校数学教授表示，令人深感挫败的是，参与这些证明的人里没有人能回答问题或做讲解，而通常证明者要向同行解释解法、培养下一代，后续研究才得以延续，这条链条被切断了。

编辑：林一舟