ng28.com南宫体育-OpenAI撤回3项数学研究成果！数学仓库首次修正

2026-10-17

　　【ng28.com南宫体育科技消息】10月8日，@danintheory 在X上宣布，openai/math数学成果仓库上线后迎来首次修正：新增6项Lean形式化，修改19项内容，撤回3项成果。发帖人是OpenAI研究员Dan Roberts，他表示目前约42%的主要成果已完成形式化，团队将持续补充新的形式化内容，并在发现错误时公布勘误。

OpenAI OpenAI

　　10月7日，OpenAI发布一批内部前沿模型产生的新数学成果，共722篇手稿，按官方口径归入372个成果族，没有提前预告，也未走同行评审流程，一次性全部放入GitHub。据科学网援引《自然》报道，不少数学家抱怨自己的在研课题被抢先发表，康涅狄格大学数学家Alvaro Lozano-Robledo在社交平台上询问，OpenAI为什么要把数百个数学问题的答案集中对外发布。

OpenAI撤回3项数学研究成果！数学仓库首次修正

　　OpenAI与数学界的摩擦已持续两个月。据外媒披露，今年8月OpenAI曾召集约40位数学家闭门开会，学者给出的建议是逐篇按学术规范发表论文，给数学界留出消化和验证的时间。9月，OpenAI宣布内部模型给出千禧年难题纳维—斯托克斯方程存在性与光滑性问题的Lean验证证明，当时就有数学家质疑AI是在参考了研究者未发表的工作后才做出成果。10月，规模变成了722篇。

OpenAI撤回3项数学研究成果！数学仓库首次修正

　　Lean是一个机器证明助手，证明写成Lean代码并通过编译后，才算机器可验证。Roberts称约42%的主要成果完成形式化，仍有近58%的成果停留在人类可读的手稿阶段。本轮同时有19项内容被修改，说明已入库的证明代码还在调整，3项撤回则是大规模发布后OpenAI公开撤下的首批成果。

　　OpenAI在发布成果时曾表示，发布方式参考了普林斯顿高等研究院数学与人工智能独立咨询小组的建议。

-ng28.com南宫体育

上一篇:ng28.com南宫体育-二季度全球晶圆代工2.0市场营收达966亿美元增长25% 下一篇:ng28.com南宫体育-华为Mate 80系列激活量累计达930.6万台单周净增约13万

: ng28.com南宫体育-OPPO F35 Pro印度发布配6500mAh电池＋80W快充　　【ng28.com南宫体育科技消息】10月5日，据外媒报道，OPPO在印度正式发布F35系列，包含F35和F35 Pro两款机型。F35起售价22999卢比（约合人民币1840元），F35 Pro; 2026-10-17

: ng28.com南宫体育-索尼分批向Meta转让XR相关专利：总量高达418项　　【ng28.com南宫体育科技消息】10月5日，据韩媒报道，索尼已将418项扩展现实（XR）相关专利转让给Meta。此举被解读为索尼收缩XR硬件业务的信号，Meta的XR专利组合则借此得到补强。M; 2026-10-17

: ng28.com南宫体育-华为高通签多年期广泛许可协议覆盖5G、AI等领域　　【ng28.com南宫体育科技消息】10月5日，华为官宣与高通达成一项多年期的广泛专利许可协议，该协议包含双方在5G、计算、人工智能和网络等多个领域的专利组合交叉许可，同时高通将收购华为的部分美国; 2026-10-17