GPT-5.6攻克25年量子信息难题，人类学者连夜「像素级」洗AI稿发论文

量子信息领域一道悬了 25 年的难题还是在同一天出现了两份独立证明一份由 GPT-5.6 Sol 生成时间戳定格在 UTC 11:237 月 23 日量子信息领域一道悬了 25 年的难题还是在同一天出现了两份独立证明一份由 GPT-5.6 Sol 生成时间戳定格在 UTC 11:23另一份直接提交了 arXiv时间是 UTC 14:31。前后相差不到 3 小时。两天后纽约大学阿布扎比分校博后 Rishikesh Gajjala 在 X 上公开质疑这篇人类署名的论文与他和同事用基础 prompt 从 GPT-5.6 Sol 获得的证明存在相似性且全文没有任何 AI 使用声明。一道 25 年的悬赏题两份证明3 小时之差这道题是 Werner 态的 2-copy 不可蒸馏性问题。波兰格但斯克大学国际量子信息中心KCIK2022 年将它列为量子信息五大悬赏难题的第 5 题附带 2021 欧元现金奖励。问题可以追溯到 2000 年核心是判断参数 α −1/2 处的 Werner 态能否通过两份拷贝蒸馏出纠缠。二十多年来部分特殊情形被逐步攻破但完整的维度无关证明始终缺席。Gajjala 在推文中说他和两位同行Quantum_Kishor、TobiasHaug_Q用 GPT-5.6 Sol 测试了模型对这道题的解题能力。据他称过程格外简单We had no intellectual contributions while prompting. We just gave some basic prompts.我们在提示时没有任何智力贡献。我们只是提供了一些基本提示。没有任何专业层面的引导只给了最基础的提示词模型直接输出了一套完整的证明并被写入 Overleaf 文档时间戳为 7 月 23 日 UTC 11:23。https://www.overleaf.com/project/6a61f9c8589697f47841c47b同一天 UTC 14:31arXiv 出现了论文《A solution to 2-copy distillability of Werner states》。https://arxiv.org/abs/2607.21367核心结论与 GPT-5.6 Sol 的输出一致对所有维度 d ≥ 2Werner 态 ρ(−1/2) 是 2-copy 不可蒸馏的。Gajjala 在推文中写道We found another paper published the very next day, with NO AI acknowledgment, containing a proof and phrasing similar to what we got when we prompted it ourselves before the result was announced. An interesting coincidence!我们发现另一篇论文在第二天就发表了没有任何 AI 致谢包含的证明和措辞与我们在结果公布前自己提示它时得到的内容相似。有趣的巧合将两篇论文摊开对比证明路径有明显差异。Gajjala 他们的版本走的是 partial-trace inequality 路线先在双反对称张量子空间 Alt(U) ⊗ Alt(V) 上建立奇异值估计再通过三体纯态的算子不等式推导出秩二偏迹不等式。Fu 等人走的是另一条路将问题转化为 block-operator inequality在对称子空间上对反对称投影的 Hilbert-Schmidt 范数做零阶、一阶、二阶变分用 Cauchy-Schwarz 不等式锁死 Schur 补条件。两篇论文都使用了 Takagi 分解也都得到了维度无关的 1/2 临界估计但整体架构不同。当 AI 能独立解题现有的学术署名规则撑得住吗Werner 态这件事之所以值得关注是因为它不是孤例。GPT-5.6 Sol 7 月 9 日发布半个月内已经在三个不同学科产出了可独立验证的数学证明。https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf这道图论难题悬了近 50 年证明全文仅 3 页由 64 个并行子智能体在不到 1 小时内完成。统计学4 天后宾夕法尼亚大学统计学教授 Edgar Dobriban 用 GPT-5.6 Sol Pro 在 90 分钟内反证了 Benjamini-Hochberg 程序的一项 20 年未决猜想。https://x.com/EdgarDobriban/status/2077082912021786660代数几何Fable 5 更是在 7 月 19 日直接证伪了著名难题雅可比猜想的三维及以上高维形式。https://x.com/__alpoge__/status/2079028340955197566短短半个月旗舰 AI 的诺奖级重大科研成果如雨后春笋般涌现。大语言模型的数学推理能力正在跨过一条临界线——从「辅助人类研究者」到「独立生成可验证的完整证明」。这条线一旦越过学术署名的灰色地带立刻暴露。Dobriban 的做法提供了一个参照他以单一作者身份将反例挂上 arXiv但在论文中逐字写明证明由 GPT-5.6 Pro 完成。学术界对此反应不一但至少做到了信息透明。Werner 态事件的争议焦点恰恰在于如果确实使用了 AI零声明让读者无法区分人类原创和机器输出。arXiv 目前不强制要求作者披露 AI 工具的使用情况多数期刊的政策也停留在「建议声明」层面。当 GPT-5.6 这个级别的模型变得普遍可及「暗中使用 AI、署名只挂人类」的灰色地带将迅速扩大。下一个观察节点是 KCIK 奖委员会的态度这道题如今有了两份声称完整的证明一份来自 AI一份来自人类且被质疑与 AI 有关奖金归谁更根本的问题是当机器开始参与解决带奖金的科研悬案学术优先权和署名规则需要一次系统性的更新——而这次更新还没有开始。AI 应该有署名权吗为 AI 付费后是否能一并买断其智力成果