GPT-5.6攻克25年量子信息难题，人类学者连夜「像素级」洗稿发论文
7月23日，量子信息领域一道悬了25年的老问题，在同一天出现了两份独立证明。时间差不到3小时。
一份由GPT-5.6 Sol生成，时间戳定格在UTC 11:23；另一份直接提交到了arXiv，时间是UTC 14:31。
两天后，纽约大学阿布扎比分校的博士后Rishikesh Gajjala在X上公开质疑：这篇看似由人类署名的论文，与他和同事用基础prompt从GPT-5.6 Sol获得的证明存在高度相似，而且全文没有任何AI使用声明。
先来还原下事件经过。这道题是关于Werner态的2-copy不可蒸馏性问题，早在2024年就被波兰格但斯克大学国际量子信息中心（KCIK）列为量子信息五大悬赏难题之一，附带2024欧元的现金奖励。问题的核心，是判断参数α = −1/2处的Werner态能否通过两份拷贝蒸馏出纠缠——这问题从2000年就开始困扰学界了。二十多年来，部分特殊情形陆续被攻破，但完整的维度无关证明始终缺席。
Gajjala在推文中说，他和两位同行（@Quantum_Kishor、@TobiasHaug_Q）只是用GPT-5.6 Sol测试了一下模型对这道题的解题能力。过程简单到令人难以置信：他们只给了最基础的提示词，没有任何专业层面的引导，模型就直接输出了一套完整的证明，并被写入了Overleaf文档，时间戳为7月23日UTC 11:23。
就在同一天UTC 14:31，arXiv上出现了一篇论文《A solution to 2-copy distillability of Werner states》。核心结论与GPT-5.6 Sol的输出完全一致：对所有维度d ≥ 2，Werner态ρ(−1/2)是2-copy不可蒸馏的。
Gajjala在推文中写道：“我们发现另一篇论文第二天就发表了，没有任何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日发布后的半个月内，已经在三个不同学科产出了可独立验证的数学证明。
图论方面，7月10日OpenAI就公布了GPT-5.6 Sol Ultra模式生成的Cycle Double Cover猜想证明，这道图论难题悬了近50年，证明全文仅3页，由64个并行子智能体在不到1小时内完成。
统计学领域，4天后宾夕法尼亚大学统计学教授Edgar Dobriban用GPT-5.6 Sol Pro在90分钟内反证了Benjamini-Hochberg程序的一项20年未决猜想。
代数几何方面，Fable 5更是在7月19日直接证伪了困扰张益唐7年的雅可比猜想。
短短半个月，旗舰AI的诺奖级重大科研成果如雨后春笋般涌现。大语言模型的数学推理能力正在跨过一条临界线——从“辅助人类研究者”到“独立生成可验证的完整证明”。这条线一旦越过，学术署名的灰色地带立刻暴露。
Dobriban的做法提供了一个参照：他以单一作者身份将反例挂上arXiv，但在论文中逐字写明证明由GPT-5.6 Pro完成。学术界对此反应不一，但至少做到了信息透明。
Werner态事件的争议焦点恰恰在于：如果确实使用了AI，零声明让读者无法区分人类原创和机器输出。arXiv目前不强制要求作者披露AI工具的使用情况，多数期刊的政策也停留在“建议声明”层面。当GPT-5.6这个级别的模型变得普遍可及，“暗中使用AI、署名只挂人类”的灰色地带将迅速扩大。
下个观察节点是KCIK奖委员会的态度：这道题如今有了两份声称完整的证明，一份来自AI，一份来自人类（且被质疑与AI有关），奖金归谁？更根本的问题是，当机器开始参与解决带奖金的科研悬案，学术优先权和署名规则需要一次系统性的更新——而这次更新，还没有开始。
AI应该有署名权吗？为AI付费后，是否能一并买断其智力成果？
参考资料：
https://x.com/publishiperishi/status/2080862681020641388
https://arxiv.org/pdf/2607.21367
https://www.overleaf.com/project/6a61f9c8589697f47841c47b
