OpenAI 宣称模型否证指数时间假设，并换了一种发布方式：先请提出者本人来检验

为什么重要：10-26 那期写了千余名数学家因 OpenAI 一次放出 722 篇稿件而承诺拒绝合作。这次发布几乎是逐条回应：数量从几百篇减到三项，每项都有点名的外部检验人，形式化证明先行，并主动放弃署名。如果 ETH 被否证经得起检验，它的影响远超数学界：大量算法领域的「这个问题不可能更快」的结论需要重画边界。我的立场是，比结论本身更值得记下的是发布流程的变化——前沿实验室开始承认，AI 产出的结果要变成科学认识，验证成本必须由它自己组织和付钱，而不是丢给学界。反方检验：Lean 验证的是形式化陈述，未必与人们通常理解的猜想完全一致，已有研究者专门指出这一点；三项结果均未经独立同行评审，OpenAI 自己也说仍待学界确认；物理部分材料未公开，外界目前无法检验。

• OpenAI：Working with academic communities to build scientific understanding 企业宣称
• GitHub：openai/math 形式化材料 已证实
• explainx：Lean 验证的边界

所属专题：OpenAI：持续追踪 · 全部专题

相关读懂

• GitHub 替开发者选模型，跑分差 2 分、花费减半

  GitHub 新功能替开发者挑模型，第三方测得 Max 档比 Claude Code 低 2 分、每题花费约一半，日常档尚无独立成绩。

  2026-10-30

• 纽约提案拟授权州政府限制算力，日罚最高 300 万美元

  纽约州议员提出 RAISE 法 2.0，拟让州政府可限制大模型公司的训练算力、罚款按天累计。它要到 2027 年会期审议，现行法也要到 2027 年 1 月才执法。

  2026-10-30

• 谷歌把 Claude 和 Codex 请进安卓开发工具

  Android Studio 正式版接入 40 多个第三方编程智能体，含 Claude 和 Codex，并上线 AI 改动审查；谷歌的提速数字都来自内部测试。

  2026-10-29

• 甲骨文承诺再发债和增发合计不超 200 亿美元

  甲骨文称到 2030 财年只再向资本市场融 200 亿美元。这笔钱此前已排进本财年计划，上限之外的缺口由供应商融资、客户自带硬件和预付款来填。

  2026-10-29

• ChatGPT 订阅每月送最多 500 美元 API 额度

  ChatGPT 订阅每月可领最多 500 美元 API 额度，档位与 Anthropic 三周前的方案几乎一样，编程工具不在覆盖范围。

  2026-10-29

• OpenAI 研究员说人人升经理，企业先减经理和新人

  OpenAI 两位研究员设想 AI 让人人升为经理、无须裁员；本月 PayPal、FICO、ServiceNow 与 Gartner 调查显示，企业先减的是管理层级和新人。

  2026-10-29

• ServiceNow 把部署工程师打包进 AI 大单

  ServiceNow 三季报披露：部分 AI 大单附带自家部署工程师，这部分合同价值从订阅收入挪进专业服务，三季度约 25 个基点。它称获得支持的客户头五周采用快一倍。

  2026-10-29

• 沃尔玛 170 多万份员工答卷，测的是对 AI 的信心

  沃尔玛首次就 AI 问全体员工，收回 170 多万份答卷。三个百分比问的是不同的人和不同的事，培训效果目前只量到自评信心。

  2026-10-28

本页是事件档案；当日判断见 2026-10-27 简报。