OpenAI 昨天发了一篇标题极度克制的博客：《与学术界合作构建科学理解》。 但如果你点进去看内容，会发现这是今年最炸裂的科技新闻，没有之一。 OpenAI… · @mylifcc · TwKit

@mylifcc

OpenAI 昨天发了一篇标题极度克制的博客：《与学术界合作构建科学理解》。 但如果你点进去看内容，会发现这是今年最炸裂的科技新闻，没有之一。 OpenAI 的内部模型，刚刚同时向纯数学、理论计算机、理论物理的基石开了三枪——然后把人类最顶尖的祖师爷们全叫来当“翻译官”。 1️⃣ 计算机：直接证伪统治算法复杂度 27 年的“指数时间假说（ETH）”，附带 Lean 验证代码。最黑色幽默的是，受邀审查它的正是 1999 年提出 ETH 的两位祖师爷本尊——AI 拆了地基，请祖师爷亲自来验尸。 2️⃣ 纯数学：一口气证出全维度“局部平滑猜想”，顺手把挂谷猜想和 Stein 限制猜想一锅端，代码已扔上 GitHub。 3️⃣ 理论物理：给出 4D 量子场论（含 QCD）严格存在性证明。诺奖得主 David Gross 与千禧年难题执笔人 Arthur Jaffe 看完后，决定先扣下 AI 原始手稿，等消化完再公开。 为什么这三件事明明是核弹级突破，OpenAI 却把文章标题取名为“构建科学理解”？ 因为科学界正在经历 Scott Aaronson 和陶哲轩所说的 “Mathocalypse（数学末日/奇点）”： AI 现在吐出的长篇证明，哪怕 Lean 编译器告诉你 Verification Passed（逻辑 100% 正确），人类顶尖学者看它依然像在看天书。 OpenAI 第一次在官方层面承认：AI 产出的不是“论文”，而是“原始研究数据（Raw Research Data）”。 知道“它是对的”（真理凭证），和“人类搞懂它为什么对”（科学理解），已经彻底分裂成了两件事。 为了解决“机器证得出、人类看不懂”的困局，OpenAI 祭出了全新的 “牧羊人模式（Shepherd Model）”，并立下四条规矩： • 不签 NDA：完全透明，学者随时可以公开讨论或指出错误。 • OpenAI 不要学术署名权：哪怕原始发现是内部模型跑出来的，OpenAI 不抢 credit。 • 荣誉归于“解码者”：把 AI 天书翻译、提炼成人类知识的学者团队，拥有最终论文的完整署名权。 • 独立且无偿：不花钱雇佣学者背书，保持学术独立。

曝光 841 · 评论 4 · 点赞 3 · 书签 2