人工智能证伪数十年历史的计算机理论
Tap title to read story
0:00 / 0:25
Anthropic 和 OpenAI 宣布，他们已经证伪了指数时间假设，这是一个存在了二十七年的假设，是理论计算机科学的基石。这一声明于本周公布，证明以自然语言和 Lean 格式发布在 GitHub 上。林雪平大学教授 Peter Jonsson 的研究将在 IEEE 计算机科学基础研讨会上发表，他表示，他的许多研究现在都“失效”了，因为该假设是错误的。研究人员尚未独立验证这些证明，学术界也开始评估其对算法设计和复杂性理论的影响。
More context
Timeline
- 2026-10-29 — 人工智能推翻了存在数十年的计算机理论
Why it matters
即时影响（美国）：研究人员重新评估算法研究基础 可能的长期影响（美国）：计算复杂性研究可能发生转变 受影响最大的群体：理论计算机科学家 读者优先：理解对当前研究的影响
Coverage notes
中心： 《福布斯》、《韩国时报》和 aiflashreport.com 的报道将此视为一个正在发展的新闻事件：人工智能推翻了存在数十年的计算机理论。报道强调事实核查、匿名消息来源以及对读者的近期影响。 左： 报道同一事件的左倾媒体通常强调公众影响、机构问责以及受影响最大的是谁。 右： 报道同一事件的右倾媒体通常强调实际成果、市场或安全风险以及机构应对。
Primary report
WIRED — 人工智能证伪了几十年来的计算机理论
Sources
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
