bibibi.cc正在加载…
PSI称借助GPT和Claude推进5项量子信息难题研究，但部分结论仍受条件限制。
PSI借助GPT和Claude攻克量子难题，一次公布5项研究成果
动察 Beating AI 快讯，AI 物理实验室 Physical Superintelligence（PSI）宣布，借助 GPT-6 Astra、Claude 等模型，在 5 道长期悬而未决的量子信息难题上取得新进展。
比如，研究人员证明，在特定量子场中，即使两个区域相隔很远，量子纠缠依然存在，但距离超过一定范围后，就无法再通过 CHSH 贝尔不等式检验出非局域关联。另一项研究证明，某类量子操作连续进行足够多次后，一定会破坏纠缠。
研究过程中，物理学家负责指导和核验，GPT、Claude 等模型参与推导。团队还让 Codex、Claude Code 中的 AI Agent 编写 Lean 形式化证明，由计算机检查推理是否成立。5 项成果均公开了论文、证明代码和验证材料。
不过，这 5 项成果并非全部彻底解决了原来的难题。部分结论只适用于特定条件，仍有问题尚未解决。
Physical Superintelligence（PSI）宣布借助GPT-6 Astra、Claude等模型，在5道量子信息难题上取得新进展。
研究涉及远距离量子纠缠、CHSH贝尔不等式和量子操作破坏纠缠等问题。
物理学家负责指导和核验，AI模型参与推导；Codex、Claude Code中的AI Agent编写了Lean形式化证明。
5项成果均公开了论文、证明代码和验证材料。
原文明确说明，5项成果并非全部彻底解决原来的难题，部分结论只适用于特定条件。
以下为辅助分析，与已报道事实分开展示；重要信息请进一步核实。
这是一项AI辅助物理研究进展：研究人员让GPT、Claude等模型参与推导，再由物理学家指导核验，并用Lean形式化证明和计算机检查推理。公开材料有助于复核，但“取得进展”不等于所有难题都已解决。
它展示了AI模型参与量子信息研究和形式化证明的案例；成果能否被独立复核，以及结论能否适用于更广泛条件，仍值得关注。
你可以把它理解为：AI参与解题和写证明，专家负责把关，计算机负责检查部分推理；目前这是研究进展，不是全部问题的最终答案。
正在加载事件时间线…