已核验 · Oct 28, 2026
已独立佐证OpenAI 于 10 月 26 日星期一公布三项结果——ETH 反证、挂谷集进展、QCD 质量间隙上界;按 Scientific American,Anthropic 在仅仅几小时后发布了自己的 ETH 反证——而这批发布正与 OpenAI 自家顾问组的建议相抵触
3 个信源OpenAI 的研究帖(RSS pubDate「Mon, 26 Oct 2026 14:30:00 GMT」;抓取到的 openai.com/news 列表页标题为「Working with academic communities to build scientific understanding」、Research、2026 年 10 月 26 日)摘要开篇:「Today, in collaboration with researchers at Caltech, ETH Zurich, and the MIT Center for Theoretical Physics (“MIT CTP”), we're sharing three new results across mathematics, computer science, and physics: a proof that the Exponential Time Hypothesis is false; progress on the Kakeya set conjecture in finite fields; and a new upper bound on the QCD mass gap.」——这是本 run 完整看到结尾的官方捕获唯一一句(reader 捕获在第二句句首截断,三次尝试一致;记录在源备注里,超出此句的内容全部来自已打开的媒体层)。Scientific American(Joseph Howlett 与 Peter Hall,Lee Billings 编辑;页面日期标签「October 27, 2026」;原始 HTML 全文打开)这样框架这次发布:「Just a few weeks after dropping hundreds of artificial-intelligence-generated math breakthroughs on a field that's already in crisis, OpenAI is piling on more.」与「Yesterday the company dropped three massive proofs that touched on math, physics and computer science, sending shockwaves rippling through those fields.」按该媒体,ETH 结果:「OpenAI's proof provides an algorithm to solve 3-SAT that is just a tiny bit faster than exponential time, refuting ETH.」——意义:「First suggested in 1999, ETH can be thought of as an even stronger version of P ≠ NP」,核验:「Russell Impagliazzo and Ramamohan Paturi, two computer scientists at the University of California, San Diego, who first suggested ETH, as well as Ryan Williams, a computer scientist at the Massachusetts Institute of Technology, are now working with OpenAI to perform an independent investigation of the result.」Kakeya 按该媒体:「In last month's “slop drop,” OpenAI's internal model solved the four-dimensional Kakeya problem. Now it's solved the problem in every dimension, proving that there's a limit to how small a space a high-dimensional stylus can take up.」Yang-Mills 按该媒体:「Today OpenAI claimed to prove the first of the two—that the “Yang-Mills theory” is mathematically consistent in all relevant cases: in other words, it “exists.”」——而「The part of the Clay problem that remains open is more quantitative, asking whether a certain number in the theory, called the “mass gap,” is always bigger than zero.」流程之争是故事的另一半:「These latest releases from OpenAI continue to contradict the recommendations of the Advisory Group on Mathematics and Artificial Intelligence (AGMAI), the expert panel the company organized in response to widespread criticism from mathematicians.」「The large language model (LLM) that produced the new proofs remains proprietary, and the exact prompts used, time spent computing and “chain of thought outputs” involved have not been made public.」以及「a paper relating to the “million-dollar” Yang-Mills problem (one of seven Millennium Prize Problems set by the Clay Mathematics Institute in 2000) has still not been made public」。对手公告:「Mere hours after OpenAI's announcement, Anthropic posted its own independent result disproving ETH, based on work by an internal Anthropic model.」——按 OfficeChai(published_time 2026-10-27T05:12:13+00:00;正文经 reader 通道读取),那一轮是 Claude Opus 6,消耗约 1400 万 token,耗时约六小时,证明写作阶段无人类引导——这是 OfficeChai 对 Anthropic 公告的转述,而该公告的第一方页面本 run 未能定位(sitemap 全量抓取——583 条 URL,ETH/proof 零匹配;/news 与 /research 索引页原始抓取;四个 slug 探测 404)。
为什么现在讲
两家前沿实验室在星期一前后脚对同一个猜想声明了反证,而学界反应正是观众还能看着它变化的部分:Scientific American 页面自带「Editor's Note (10/27/26): This is a breaking news story and will be updated.」,ETH 结果正处 OpenAI 自己请来的独立调查中——按该媒体是 Impagliazzo、Paturi 与 Williams——且按 Williams 的说法 OpenAI 将赞助一场关于该证明的计算机科学会议。流程之争同样鲜活:按 Scientific American,OpenAI 在早期批评后组建的顾问组 AGMAI 已在案表示这批发布「continue to contradict the recommendations of」小组规则,且杨-米尔斯相关论文「has still not been made public」。下一个公布核验结果的人将拿到本季度最大的数学故事续集——现在把层级搭好的创作者会第一个等到兑现。
推荐理由
这是本周最好的层级纪律练习:一句可以逐字引用的官方原句、一篇已打开的长篇报道(其流程报道延伸到官方帖没有的地方)、和一个只能通过转述到达的反方主张——Anthropic 自己的页面本 run 无法定位,卡里直说而不是假装看到。数学相邻垂类拿到一条真正可讲的主线(3-SAT 与「just a tiny bit faster than exponential time」(只比指数时间快一点点)是什么,一个 1999 年的猜想为何关乎 P ≠ NP);媒体素养频道拿到 AGMAI 流程之争与专有模型细节;而 breaking-story 限定给所有人一个内建的理由:等核验落地时回来跟进。
依据
本轮三个已打开信源:OpenAI 研究帖(官方;reader 通道——域名对 curl 挑战、无 Wayback 快照;仅摘要首句完整捕获,截断已记录)、Scientific American(媒体;原始 HTML 全文;署名 Howlett 与 Hall,Billings 编辑;页面日期标签 2026 年 10 月 27 日;Editor's Note 记录突发状态)、OfficeChai(媒体;published_time 2026-10-27T05:12:13+00:00;正文经 reader 通道——客户端渲染页面)。日历(本 run 从真实日历一次性算出;四组日期与星期的配对跨本轮卡片一致,注释引用各卡自己打开的证据):2026-10-26 = 星期一(OpenAI 两帖日期,RSS pubDate;SciAm 的「Yesterday」相对其自身页面);2026-10-27 = 星期二(SciAm 页面标签;OfficeChai published_time);2026-09-01 = 星期二(Astra 的 Critical 指定,按 Help Net Security——Terra 卡引用);2026-10-28 = 星期三(本卡发布日)。仅年份提及(无星期主张):1999(ETH 首次提出,按 SciAm)、2000(Clay Mathematics Institute 设立千禧年大奖难题,按 SciAm)。热度:两个实验室围绕计算复杂性核心猜想的证明竞赛,经一句已打开的官方原句加两篇已打开媒体阅读核实,Anthropic 一腿骑中继且标注源头未打开——否定性搜索已入档,这本身就是对所有「Anthropic 说」式账号的差异点。
“OpenAI 说它的 AI 做出了指数时间假设的反证——按 Scientific American,仅仅几小时后,Anthropic 也发布了自己的一个。”
切入角度
角度是竞赛加流程之争:两个实验室在几小时内先后对同一个 1999 年的猜想声明反证,OpenAI 自己的顾问组说这批发布违背其建议,而其中没有一样是已核验的数学——把卡搭成带主张状态列(已声明 / 调查中 / 仅转述)的时间线,而不是突破帖。
形式
长视频讲解
演示想法
白板竞赛时间线:星期一的 OpenAI 公告点出三项结果(官方原句上屏、逐字引用),然后是 Scientific American 的「Mere hours after OpenAI's announcement」Anthropic 条目——每个方框盖章:已声明 / 独立调查中 / 仅转述,收在 AGMAI 的异议与仍未公开的杨-米尔斯论文上。
平台注意
这是一张主张状态卡,状态纪律就是信任护城河:OpenAI「说」「公布」——自己的口吻里永远不用光杆的「证明了」「推翻了」,因为按 Scientific American,ETH 结果正处 OpenAI 自己委托的独立调查中(Impagliazzo、Paturi、Williams),且证明背后的模型、提示与计算时长均未公开。Anthropic 侧数字(Claude Opus 6、约 1400 万 token、约六小时、证明写作阶段无人类引导)是 OfficeChai 对 Anthropic 公告的转述——就这样标注,永远不要当成我们对一手来源的阅读;本 run 未找到该结果的任何 Anthropic 第一方页面(sitemap、两个索引页、四个 slug 探测——否定结果已入档)。猜想名称保持精确:指数时间假设(Exponential Time Hypothesis),1999 年首次提出,与 P ≠ NP 相关但不同(按 Scientific American)——不要告诉观众 ETH「被解决」了,也不要说这为 P 与 NP 盖章。杨-米尔斯边界保持拆分:按 SciAm,OpenAI 声明的是存在性那一半,质量间隙为正的另一半仍未解决——绝不能焊成「OpenAI 解决了 Yang-Mills」。SciAm 杨-米尔斯一节里的「Today」是该媒体的公告相对词;你的卡写 10 月 26 日星期一。SciAm 页面按其自己的 Editor's Note 是突发报道——跟进时打时间戳。zh 术语保持英文:OpenAI、Anthropic、Claude Opus 6、ETH、Exponential Time Hypothesis、3-SAT、Kakeya、QCD mass gap、Yang-Mills、AGMAI、P ≠ NP、Clay Mathematics Institute、Scientific American。
可用说法
- 2026 年 10 月 26 日(星期一),OpenAI 公布三项新结果,合作方署名「at Caltech, ETH Zurich, and the MIT Center for Theoretical Physics (“MIT CTP”)」;官方帖自己的摘要句将其列为「three new results across mathematics, computer science, and physics: a proof that the Exponential Time Hypothesis is false; progress on the Kakeya set conjecture in finite fields; and a new upper bound on the QCD mass gap」(横跨数学、计算机科学与物理的三项新结果:ETH 指数时间假设为假的证明;有限域挂谷集猜想进展;QCD 质量间隙的一个新上界)。按 Scientific American 已打开的报道(页面日期标签 2026 年 10 月 27 日):「Yesterday the company dropped three massive proofs that touched on math, physics and computer science, sending shockwaves rippling through those fields.」;关于 ETH 结果,「OpenAI's proof provides an algorithm to solve 3-SAT that is just a tiny bit faster than exponential time, refuting ETH.」,且「Russell Impagliazzo and Ramamohan Paturi... as well as Ryan Williams... now working with OpenAI to perform an independent investigation of the result」(三位最早提出 ETH 或深耕复杂度的学者正与 OpenAI 合作对该结果做独立调查);关于流程争议,这批发布「continue to contradict the recommendations of」OpenAI 自己的数学与人工智能顾问组 AGMAI,「The large language model (LLM) that produced the new proofs remains proprietary, and the exact prompts used, time spent computing and “chain of thought outputs” involved have not been made public.」,关于杨-米尔斯问题,「a paper relating to the “million-dollar” Yang-Mills problem (one of seven Millennium Prize Problems set by the Clay Mathematics Institute in 2000) has still not been made public」,而按该媒体,克雷问题中质量间隙为正的那一半仍未解决:「The part of the Clay problem that remains open is more quantitative, asking whether a certain number in the theory, called the “mass gap,” is always bigger than zero.」;关于对手公告,「Mere hours after OpenAI's announcement, Anthropic posted its own independent result disproving ETH, based on work by an internal Anthropic model.」按 OfficeChai 已打开的报道(published_time 2026-10-27T05:12:13+00:00),Anthropic 这一轮用的是 Claude Opus 6,消耗约 1400 万 token,耗时约六小时,证明写作阶段无人类引导——这是 OfficeChai 对 Anthropic 公告的转述,本 run 未找到任何已打开的 Anthropic 第一方页面佐证。
证据链
来自新闻
拆解
这张卡的每一层证据权重不同,卡的设计就是让权重始终可见。官方层只有一句话:OpenAI 摘要里点出 Caltech、ETH Zurich 与 MIT CTP 并列出三项结果的那句——本 run 完整捕获、可逐字引用,而且(按源备注)这就是本 run 实际看到的帖子细节的全部,因为 reader 捕获在第二句句首截断、三次尝试一致,且不存在 Wayback 捕获。关于结果内容的其余一切骑 Scientific American 已打开的全文:ETH 的机制(「an algorithm to solve 3-SAT that is just a tiny bit faster than exponential time」)、挂谷的历史(王虹与 Zahl 去年的三维证明;上个月「slop drop」里的四维情形;现在全部维数)、杨-米尔斯的拆分(声明了存在性那一半;质量间隙为正那一半仍未解决)、核验阵容(Impagliazzo、Paturi、Williams)、以及整场流程之争——AGMAI 的异议、专有模型、未公开的提示与计算时长、不公开的杨-米尔斯论文。注意该媒体的两种框架:开篇「Yesterday the company dropped」(相对其 10 月 27 日页面——与 10 月 26 日星期一的 RSS 日期一致)和杨-米尔斯一节里残留的公告相对词「Today」;卡内一切日期取自日历,两者皆不取。Anthropic 层权重最弱,卡也直说:「Mere hours after OpenAI's announcement, Anthropic posted its own independent result disproving ETH」是 Scientific American 的句子;Opus 6 / 1400 万 token / 六小时 / 无人类引导的细节是 OfficeChai 对 Anthropic 公告的转述;而第一方搜索——全量 sitemap(583 条)、两个索引页原始抓取、四个 slug 探测——空手而归,这一点被记录而不是被抹平。这里没有一样是已核验的数学:核验是 OpenAI 委托的、正在进行中,顾问组与发布者公开分歧,页面自带突发标记。这张卡教的功夫是写「声称已证明」而全程不写「证明了」——并且成为那种观众清楚知道每句话属于谁的账号。
信源
风险
- 说「声称」「公布」「说它证明了」——自己的口吻里永远不用光杆的「证明了」「推翻了」。每个证明表述归属到其主张方,每条流程批评归属到 Scientific American 的报道;Anthropic 侧的数字标注为「OfficeChai 对 Anthropic 公告的转述」,不是我们对第一方来源的阅读。猜想名称保持精确(指数时间假设,按 Scientific American 是 1999 年提出、与 P ≠ NP 相关但不同的猜想),并告诉观众:数学本身还在独立调查中——今天的故事是竞赛与流程之争,不是已有定论的结果。
演示思路
- 白板竞赛时间线:官方公告原句上屏(按捕获逐字引用)、Scientific American 的「Mere hours after」条目作第二个方框——每个方框盖章:已声明 / 独立调查中 / 仅转述,收在 AGMAI 异议与仍未公开的杨-米尔斯论文上。
- 「这是谁验证的?」盘点段:对任何 AI 数学头条都该问的三个问题(谁跑的模型、谁查的证明、论文在哪里)对照本周事实作答——按 Scientific American,模型是专有的、提示未公开,调查是 OpenAI 委托的,杨-米尔斯论文不公开。