OpenAI 刚刚宣布，它的 AI 推翻了计算机科学界相信了 25 年的一个核心假设。 而这居然只是今天公布的三项重大科学发现之一。 第一项是数学。Open… · @sleepy0x13 · TwKit

@sleepy0x13

OpenAI 刚刚宣布，它的 AI 推翻了计算机科学界相信了 25 年的一个核心假设。 而这居然只是今天公布的三项重大科学发现之一。 第一项是数学。OpenAI 声称，AI 证明了所有维度下的局部平滑猜想，由此解决了 Kakeya 猜想和 Stein 限制猜想。这些都是困扰数学家多年的基础性问题。 第二项更夸张。AI 据称推翻了「指数时间假设」（ETH）。这个假设自 2001 年提出以来，一直是计算复杂性理论的重要基础，数百篇论文依赖它来证明某些计算问题究竟有多难。如果反证成立，很多已有的复杂性结论都需要重新审视。 第三项是物理学。AI 给出了四维量子色动力学（QCD）等量子场论的严格存在性证明，其中还包括杨-米尔斯理论的存在性部分，涉及著名的千禧年数学难题。 OpenAI 这次也找来了相当豪华的验证阵容。 计算机科学方向，直接邀请了 ETH 的原始提出者 Russell Impagliazzo 和 Ramamohan Paturi 等人；物理学方向，则由诺贝尔物理学奖得主 David Gross 牵头。 前两项成果已经公开 AI 生成的证明及 Lean 形式化代码，物理学成果暂缓公开。外部学术界的独立核查仍在进行，这一点非常重要。 我觉得这件事的意义可能比 OpenAI 再发布一个更强的模型大得多。 我们已经习惯了 AI 在考试、编程和各种 Benchmark 上超越人类，但现在，它开始拿出一些需要全世界最顶尖的科学家花时间去理解、验证的研究成果。 如果这三项发现最终都经得起检验，那么 AI for Science 的发展可能比很多人想象得还要快。 接下来最值得看的，就是这些人类科学家如何评价 AI 给出的答案。

曝光 1097 · 评论 1 · 点赞 9 · 书签 2