OpenAI拟发布数百项数学成果
2026年10月7日,WIRED报道称OpenAI已告知相关人士,计划于周二在GitHub一次性发布数百个未解数学问题的解答,但当时尚未确定发布时间。随后OpenAI于10月6日一次性发布700多份手稿,声称解决了数百个未解数学问题;The Verge报道称其中近400项AI生成数学结果分布在700多份手稿中,OpenAI称719份手稿中约42%的主要结果完成Lean形式化。10月8日,Gary Marcus批评发布报告未说明所用模型、流程、失败率等细节。10月9日,人类数学协会呼吁数学家停止与OpenAI合作,陶哲轩转发该声明。10月10日,OpenAI因一个符号错误撤回三篇手稿,该错误使一篇手稿的论证及两篇依赖论文的构造失效,同时修订另外14篇手稿。
English translation is being prepared.
匹配字段标题