业余研究者借 Claude 假期攻克量子力学开放问题

一位在医疗影像公司从事安全与基础设施工作的工程师 Jamie Orlando，利用 Anthropic 的 Claude 在一周的家庭假期中，对量子力学中的「广义 Pauli 约束」问题取得了实质性进展，并以预印本（DOI: 10.5281/zenodo.21313736）和 GitHub 开源仓库（theorlandog/gpc-census）公开了完整的验证流程。研究聚焦于一个困扰物理学界多年的多面体「角」问题，AI 提议与严格的人工审计相结合，最终揭示出此前未被写下的分类结构。

背景：从安全工作到量子物理

Jamie Orlando 自述本职工作是 Terraform、威胁建模与 FDA 合规文档，数学和物理学位已是多年前的事。他刻意让 Claude 接触与其日常工作完全无关的领域，检验 AI 能否在真正艰深的技术问题上保持稳定表现。这次他选定的方向是 Nima Arkani-Hamed 的「振幅多面体」（amplituhedron）纲领——一套从纯几何而非时空或量子力学出发的物理图景。Orlando 自承无法读懂相关论文中的 Grassmann 流形、矩映射、上同调等概念，于是换了一个更巧的提问方式。

他没有让 Claude 解释论文本身，而是问了一个更开放的问题：「物理学和数学中，还有哪些问题已经成熟到可以从『正性』中获益？」 Claude 给出的答案之一指向了 Orlando 此前从未听说过的「广义 Pauli 约束」。

广义 Pauli 约束：被多面体几何定义的量子规则

从泡利不相容到更严格的边界

泡利不相容原理规定每个量子态至多容纳一个费米子，占据数落在 0 到 1 之间。2008 年，Altunbulak 与 Klyachko 证明这其实只是冰山一角：所有允许的占据数组合在高维空间中构成一个多面体（polytope），由许多平整的面和锐利的角围成。泡利原理只是其中一面，还有几十面此前无人写下。

物理集中在「角」上

多面体的角对应最极端的物质构型。2008 年论文中有两个角被打了星号：它们只在数值上被优化器逼近到 10⁻⁸ 以内，从未有过显式的量子态精确落在上面。后续多篇论文的工作隐含地依赖着这两个角，但始终无人写出。Orlando 觉得这是一个 AI 辅助业余人士至少能学到点东西的位置——他有游戏 PC、有带 WiFi 的度假屋、有午睡的孩子。

工作流程：Claude 提议，个人 PC 执行，严格验证

Orlando 描述了一个迭代节奏：早晨与傍晚围绕家庭时间展开，一台搭载 i7-12700K 的游戏 PC 在海滩边跑数百万次优化任务；关键环节全部以精确有理数运算重新推导，独立验证，零浮点。

验证纪律是支柱

Orlando 强调 Claude 经常「自信地出错」：

误报一位健在数学家已去世；
把 PDF 表格 OCR 错一位数字，团队因此浪费了一天；
宣称某个数值态「不可约稠密」，实际存在精巧的隐藏结构。

这些错误都是被验证环节抓住的，而非靠信任。Orlando 将「审计」称为整个流程的承重步骤。

突破：第一个角的整数组合结构

第一个角在双方都未预期的情况下被攻破。一个原本看似 126 个数字的特征云，在要求给出精确解时坍缩为一个几乎过于简洁的形式——七个行列式带整数权重——一个组合设计，证明方法实质上是计数。一个高年级中学生就能核对的恒等式，给出了多面体一个角上的显式量子态：

ψ_A = ( √2|1257⟩ + √3|1347⟩ + √2|1369⟩ + √3|1459⟩ + √6|1789⟩ + 2|2679⟩ + |3579⟩ ) / √21

两种角，两类机制

这一发现打开了整个问题。Orlando 与 Claude 证明：这些量子多面体的角分成两类——

一类可由「经典配方」达到（按整数比例混合若干构型即可）；
另一类数学上需要量子干涉，可由两个独立求解器交叉验证的不可能性证书严格证明。

历史上被标为「困难」的角恰好就是干涉类。这一分类据称是新的。

第二个角：复数相位修正了不可能结论

第二个角没有轻易就范。数日的穷举搜索——数百万候选态的完整枚举——返回空集。在写就一个不可能性定理之前，Orlando 让 Claude「以科学发表所要求的严谨程度」审查接受判据。Claude 找出了漏洞：所有解析搜索都默认振幅是实数（正或负），但振幅可以是复数。

重新推导复数相位下的接受条件后，原本看似不可能的等式（√14 ± 2 永不等于 √21）变成了平凡的勾股关系——√14 与 2 能组成 √21，本质就是一个三角形。

补丁完成后，重新扫描已被宣布「耗尽」的候选空间，答案在第 15 个候选中——它几天前就被枚举出来，又被搜索丢弃。原文在此处被截断，最终显式态的形式与论文后续内容未在摘录中披露。读者可前往 Zenodo 预印本（doi:10.5281/zenodo.21313736）及 GitHub 仓库（github.com/theorlandog/gpc-census）查阅完整结果。