OpenAI 纳维-斯托克斯证明被指未走西班牙路线,公司自己也没看懂
《科学美国人》最新报道称,数学家深入研究 OpenAI 那份 166 页纳维-斯托克斯方程证明后发现,其构造外力的方法与此前普遍认为的西班牙数学家路线完全不同,OpenAI 在 9 月发布时却称沿用了该路线。
《科学美国人》最新报道称,数学家深入研究 OpenAI 那份 166 页纳维-斯托克斯方程证明后发现,其构造外力的方法与此前普遍认为的西班牙数学家路线完全不同,OpenAI 在 9 月发布时却称沿用了该路线。
前神经科学家 Michał Wójcik 在 LinkedIn 和 Bluesky 上持续曝光 AI 生成或抄袭的同行评审垃圾论文,最新一例是 Springer Nature 2025 年出版的《Nanocomposites for Sustainable Wastewater Treatment》,其第一章由该书编辑 Swapnila Roy 撰写,插图是明显的 AI 垃圾。
菲尔兹奖得主丘成桐与多位中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”,联合八家机构,目标建成超过 1000 名研究者的网络,丘成桐警告中国在 AI 数学研究上落后于美国。
arXiv 宣布自 2026 年 10 月 1 日起将投稿上限收紧为每人每自然月两篇,原有同时最多三篇活跃投稿的限制保留,共同作者不受影响,被拒稿件仍计入额度。
arXiv 自 2026 年 10 月 1 日起将每人每月投稿上限设为两篇,同时保留 2024 年起实行的最多三篇在审限制,被拒论文仍计入额度,发表前删除可退回名额。
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿,论文和部分 Lean 证明上传 GitHub,其中编号 074 的两篇共 272 页,作者栏只写 OpenAI。
推荐理由:OpenAI 一次性放出 722 篇数学手稿并声称推进挂谷猜想,读者可据此了解数学界围绕 AI 批量产出的争议。
OpenAI 于 2026 年 10 月 6 日一次性发布 700 多篇手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。
OpenAI 于 2026 年 10 月 6 日在 GitHub 一次性发布 700 多份手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 收集了 100 多位研究者的回应。
推荐理由:汇总百余名数学家对 OpenAI 一次性发布 700 多份数学手稿的回应,呈现从震惊到担忧职业未来的多种立场。
OpenAI 于当地时间 6 日在 GitHub 公开 700 多份数学研究文稿,称成果出自公司内部一款前沿 AI 模型,许多数学证明附有可供计算机验证的版本。
OpenAI 在 GitHub 上公开了 722 篇由内部模型生成的数学研究手稿,涵盖多个前沿领域。数学界对此反应强烈,认为 OpenAI 把数学当成展示算力的舞台而非合作对象,陶哲轩等数学家呼吁停止与 OpenAI 合作。
OpenAI 本周突然发布近 400 项 AI 生成的数学成果,分布在 719 份手稿中,涵盖组合数学、数论、拓扑等多个学科,其中约 42% 已在 Lean 中形式化验证。三十多位数学家向 The Verge 表示,仅理解这批内容就可能需要数年,且论文质量参差、署名与引用信息不全。OpenAI 表示将资助研讨会并保留公开修订历史,但未披露所用模型与提示词,也未停止在数学问题上测试内部模型。
同一新闻,精选展示《OpenAI 公布前沿模型在数学开放问题上的进展》
OpenAI 本周突然发布近 400 项 AI 生成的数学结果,分布在 700 多份手稿中,覆盖组合数学、几何、数论、拓扑、概率与数学物理等多个方向。OpenAI 在 GitHub 上说明这些结果处于不同验证阶段,719 份手稿中仅 300 项主要结果完成 Lean 形式化,约 42%,并称会陆续补充。
同一新闻,精选展示《OpenAI 公布前沿模型在数学开放问题上的进展》
一个名为“vegetative electron microscopy”的无意义短语已出现在近二十篇学术论文中,被科研打假者视为论文工厂的“指纹”。该短语疑似源自1959年一篇双栏论文被机器错误读取,随后被AI生成文本并遭抄袭扩散。Springer Nature已于2024年撤稿一篇相关论文,但Elsevier仍为旗下论文使用该措辞辩护。
OpenAI 于 10 月 6 日在 GitHub 发布 722 篇预印本,称其内部 AI 模型在几何、计算机科学、代数等 372 个数学问题上取得进展,次日因一个符号错误撤回其中 3 篇,并修订了另外 14 篇。
OpenAI 公布由其内部模型生成的约 372 组数学研究成果,但缺乏必要的同行审查和背景解释,学界难以有效理解或整合这些发现。菲尔兹奖得主陶哲轩和人类数学协会批评这种发布方式是将验证负担转移给学术界,并呼吁停止合作。
在 OpenAI 传出将公布 unique games 猜想证明的传闻下,MIT 教授 Dor Minzer 与研究生 Yumou Fei、Shuo Wang 三天内赶完并发布 95 页论文,证明 Khot 2-to-1 games 猜想的一个变体(4-to-1 版本),并由此推出经典图着色问题的新结论。
TechCrunch 报道称,OpenAI 本周发布数百个高难数学问题的解答,但未完全达到普林斯顿高等研究院 AGMAI 提出的准则。AGMAI 的首要建议是停止在闭源模型上测试高等数学问题,而 OpenAI 明确表示正用开放研究问题评估其闭源模型;719 份稿件中仅 10 份公开了模型的思维链,42% 的证明未经过形式化。
OpenAI 发布了一批共 722 篇手稿,覆盖 372 个结果族,据 AGMAI 称其中包含对数百个开放问题的解答,这些结果由一个未发布的前沿模型产出。OpenAI 表示平均每个结果相当于 ChatGPT Pro 思考三小时,并称此前在 9 月已解决超过 100 个长期开放问题。
同一新闻,精选展示《OpenAI 公布前沿模型在数学开放问题上的进展》
OpenAI 从一个未公开的内部前沿模型发布了一批数学结果,公开在 GitHub 仓库中,包含 722 篇手稿、分为 372 个相关结果族,来自约 4000 个研究问题的评测,平均每个结果约用 3 小时 ChatGPT Pro 推理算力。
推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可了解其规模、算力成本与数学界对结果的分歧。
OpenAI 发布由内部前沿模型产出的一系列新数学成果,相关仓库地址为 github.com/openai/math。OpenAI 表示一直在与普林斯顿高等研究院的数学与人工智能独立咨询小组磋商,并借鉴其建议和公开推荐来指导成果的发布方式。
arXiv 宣布对预印本投稿实施限流,每位研究者每个日历月最多提交 2 篇,同时最多 3 篇在审投稿,原因是 AI 生成的低质量论文淹没了志愿者审核团队。据 arXiv 数据,月度投稿从 2016 年 9 月的 9,869 篇增至 2026 年 9 月的 40,363 篇,两年内翻倍,计算机科学类别增长六倍,并出现大量窄范围薄论文、香肠切片式拆分论文和 AI 撰写的低价值论文。
Sakana AI 宣布成立前沿智能研究组 FIG,主张智能尚未"解决",应主动探索替代当前主流范式(扩大 Transformer 架构的数据与算力)的路径。FIG 由 CTO、Transformer 发明者之一 Llion Jones 等人推动,强调研究自由、允许失败与"伟大无法被计划"等原则,并关注模型幻觉、面对全新情境失效及能耗等现有系统的基本问题。