北京
10月6日，OpenAI在GitHub公开了722份针对未解决数学问题的研究手稿，宣称在几何、计算机科学、代数等学科的372个数学问题上取得进展。不到24小时后，该公司于10月7日因一个符号错误撤回其中三篇。
OpenAI公告显示，该符号错误使一篇手稿中的一个论证失效，并导致两篇依赖相关构造的手稿失效。每篇被撤回的论文均附有漏洞解释。OpenAI还修订了另外14篇手稿，涉及证明修补、陈述更正、更清晰的假设与依赖关系，以及对一处过时引用的更正。
OpenAI发言人表示，公司欢迎数学界的审查和反馈，发现错误时会努力及时纠正；若无法修复，则撤回论文。该发言人称，与其他研究手稿一样，这是一个迭代过程。
人类数学协会10月7日发布声明批评此次集中发布，称“数学家没有要求做这项工作”，并认为“一次性发布700多份文件不是学术展示，而是权力展示”。该组织敦促数学家停止与OpenAI合作，回归以人类理解为中心的科学愿景。
人类数学协会是由职业数学家自愿结成的独立倡议组织，其官网自述宗旨是“致力于保护数学作为人类智慧的结晶，使其免受人工智能的威胁”。菲尔兹奖得主陶哲轩转载了该声明。
牛津大学数学家、克莱数学研究所所长马丁·布里德森关注到群论、拓扑学和代数领域的具体成果，并称问题清单中包含了一些曾是其自身研究中的关键挑战。他认为，这些解决方案的公布“会令许多人兴奋，令其他人恐惧，对某些人则是毁灭性的”。
康奈尔大学数学副教授亚历克斯·汤森认为，由一个错误连锁导致三篇手稿出问题并不令人意外，他怀疑还会发现更多错误。
西北大学数学家布丽娜·克拉评价AI的写作方式“让人无法理解”。她认为这些结果总体“惊人”，但需仔细检查数万页数学内容，而同行评审“在这个过程中没有了”。她还表示，以这种方式公开发布大量资料，企业正在破坏原本支撑这项研究的生态系统。
OpenAI的内部模型尝试解决约4000道数学问题，最终整理出涉及372组成果的研究材料，并公开了部分Lean形式化证明代码。
研究唯一博弈猜想的理论计算机科学家达娜·莫什科维茨研读了OpenAI公布的相关论文，称其中充斥着难以理解的构造、语焉不详的推理步骤和让人摸不着头脑的文献引用。
得克萨斯大学奥斯汀分校理论计算机科学家斯科特·阿伦森将OpenAI的发布日形容为“数学末日”。
蒙大拿州立大学博士生托马斯·卡尔森对AI系统处理数学问题可能带来的实际影响感到担忧。
市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：知叙
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
