header-langage
简体中文
繁體中文
English
Tiếng Việt
한국어
日本語
ภาษาไทย
Türkçe
扫码下载APP
Partnered With:

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 项成果并非全部彻底解决了原来的难题。部分结论只适用于特定条件,仍有问题尚未解决。

AI 解读
AI物理实验室PSI让GPT-6 Astra、Claude参与量子信息推导,并由Codex、Claude Code把推理写成Lean形式化证明,5项成果均公开论文、证明代码和验证材料。更值得看的是末尾限定:部分结论只适用于特定条件,原难题并未全部解决。AI科研的验收标准正从自然语言论证转向可编译、可机器复核的证明链,物理学家仍留在回路中负责指导与核验。

近月Astra已在刘维尔版哥德巴赫等问题上留下Lean复核记录,Mistral的Leanstral也押注Lean4代码Agent;形式化验证正从加密安全工具扩为AI科研的基础设施。PSI的进展是这一趋势在物理领域的延伸,仍属阶段性成果。
展开
举报 纠错/举报
纠错/举报
提交
新增文库
仅自己可见
公开
保存
选择文库
新增文库
取消
完成