报道称OpenAI大量发布的数学证明偏离了其咨询的数学家小组制定的指南
发布 2026年10月8日
已核实（事实）
TechCrunch报道称，OpenAI大量发布的证明偏离了OpenAI曾征询意见的一组数学研究者所制定的指南。这是继前一天报道的陶哲轩的反应及Lean验证结果分享之后的新事实。
意义（解读）
如何按学术界标准验证和发布AI生成的数学成果，正在成为争议焦点。
可信度 中 · 待补官方来源
来源
资讯脉络
- 2026-10-07 OpenAI 公布内部前沿模型在数学未解决问题上的成果及 Lean 形式化证明
- 2026-10-08 陶哲轩转发“Association for Human Mathematics”呼吁停止与 OpenAI 合作的声明（社区转述）
- 2026-10-08 陶哲轩回应 OpenAI 数学成果：“只堆积答案，研究社区的成长跟不上”；经 Lean 验证的改进结果也被分享（社区转述）
- 2026-10-09 OpenAI公开722篇AI数学研究稿件一天后撤回3篇、修改14篇，可信度争议扩大（报道）
- 2026-10-09 报道称OpenAI大量发布的数学证明偏离了其咨询的数学家小组制定的指南
更多关于 OpenAI
-
OpenAI将于22日在首尔举办“OpenAI DevDay Exchange: Seoul”，设智能体开发与Codex安全议程，AWS和LG CNS分享案例（报道）
据ZDNet Korea报道，OpenAI将于10月22日在首尔江南区面向韩国开发者和技术创业者举办“OpenAI DevDay Exchange:...
-
美国8个州以“ChatGPT对儿童不安全”为由起诉OpenAI（报道）
艾奥瓦、堪萨斯、内布拉斯加、西弗吉尼亚、阿肯色、亚利桑那、爱达荷、蒙大拿8个州分别对OpenAI提起诉讼，指控其对儿童造成伤害，并在ChatGPT的安全性问题上误导消费者。The Verge称，Reuters率先报道了此事。
-
OpenAI公布Amp案例：借助GPT-6 Astra、Ultrafast、GPT-Live-1和“Sign in with ChatGPT”将智能体扩展到编码之外
OpenAI介绍了Amp的应用案例。Amp正借助GPT-6 Astra、Ultrafast、GPT-Live-1和“Sign in with ChatGPT”，将智能体的用途扩展到代码编写之外的工作。摘录中没有具体成效数据。
-
OpenAI公布SentinelOne采用“Daybreak”的案例：“恶意软件分析从数周缩短至数小时”
据OpenAI称，安全公司SentinelOne借助OpenAI Daybreak，将原本需要数周的恶意软件分析缩短至数小时，从而有余力调查更多威胁。摘录中未说明测量方式和适用范围。
-
OpenAI公布Third Moment Research案例：运行1万个智能体超过36小时的AI研究机构
OpenAI介绍了AI研究机构Third Moment Research的案例。该机构利用GPT-6 Astra、GPT-6.1 Sol、Codex以及面向安全的Daybreak，运行1万个智能体超过36小时。这些智能体被设计为可连续数天专注于一项任务，并在使用中不断改进。