实验室用AI三天证明量子计算重要猜想
来源 Jinse_news
金色财经报道，物理超智能实验室Physical Superintelligence（PSI）表示，其利用一款尚未公开的 Anthropic 模型，在三天内找到了量子计算领域 “阿伦森—安拜尼斯猜想” 的证明。该猜想自2008年提出以来一直悬而未决，涉及量子计算机在何种情况下能够大幅快于传统计算机。 PSI 已经公开论文和证明代码，并称证明通过了数学证明辅助工具Lean的检验。此前研究过这一问题的斯坦福大学学者已阅读证明并提供意见，但成果仍有待学界进一步独立审查。这项研究使用的系统由PSI技术人员大卫·图尔图里安（David Turturean）开发，在实验室自有基础设施上运行，调用了Anthropic尚未公开的模型。
免责声明：仅供参考。 过去的表现并不预示未来的结果。
推荐文章
金价在 4,400 美元附近反复拉锯，高盛、瑞银、花旗给出 4,600 ~ 6,000 美元的长期目标；与此同时，澳洲金矿股迎来分红潮，成为 ASX 少数强势板块。本文对比「直接持有金价」与「配置金矿股」两种参与方式的逻辑差异、收益来源与风险，并附关键观察框架。
RBA 将于 9 月 29 日议息，市场对加息至 4.60%（2011 年以来最高）的定价已达约 95%。本文拆解本轮加息的数据链条、高利率对澳洲家庭的真实影响（房贷 6%+、借贷能力缩水、房价回调），并给出 3 条资产配置思路与接下来的关键日程。
