事件追踪追踪中
PSI称用Anthropic未发布模型证明量子猜想
首次报道 最新进展 3 篇报道，3 个来源
事件综述根据 3 篇报道整理，11月11日更新
物理研究机构 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的 AI 模型，证明了量子计算领域自 2008 年提出后一直未获证明的阿伦森－安拜尼斯猜想。PSI 称其自行开发了一套采用该模型的研究系统，仅用三天完成证明。 后续报道称，具体执行者是 PSI 技术人员 David Turturean，使用的是 Anthropic Fable 5.2 模型的早期访问权限；PSI 因需等待该模型接近发布才公开结果，期间已将结果分享给相关研究人员。 上述结论均来自 PSI 的说法，报道未提及证明是否经过同行评审或独立验证。
综述由模型根据报道生成，细节以各篇原文为准。
进展时间线
北京时间，最早在上TechCrunch · AIPSI借助Anthropic未发布模型证明量子计算猜想
阅读这篇报道
全部报道
3 篇，点开看摘要PSI 用 Anthropic 模型解决量子计算领域悬置 18 年的 Aaronson-Ambainis 猜想
初创实验室 Physical Superintelligence（PSI）的技术人员 David Turturean 借助 Anthropic Fable 5.2 模型的早期访问权限。
阅读这篇报道Physical Superintelligence 研究系统用 Lean 证明 Aaronson-Ambainis 量子猜想
AI 科学初创公司 Physical Superintelligence 称，其内部研究系统运行一个非公开的 Anthropic 模型，为 Scott Aaronson 与 Andris Ambainis 自 2008 年提出的量子计算猜想找到了证明，运行第三天即得到完整证明并由证明助手 Lean 逐步检验通过。
阅读这篇报道PSI 借助 Anthropic 未发布模型证明阿伦森－安拜尼斯猜想
物理研究机构 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未发布的 AI 模型证明了量子计算领域的阿伦森－安拜尼斯猜想，该猜想自 2008 年提出以来一直未获证明。
阅读这篇报道