Reddit · AI 大众社区· /u/141_1337·· 3 小时前精选AI 评分58
未发布的 Anthropic 模型据称 3 天解出 18 年量子计算猜想
An unreleased Anthropic AI model reportedly solves an 18-year-old quantum computing conjecture in just 3 days. Researchers at Physical Superintelligence say the proof establishes a fundamental limit on quantum speedups and has been formally verified using Lean.
AI 导读
Reddit 用户转述称，一个未发布的 Anthropic AI 模型在 3 天内解出一道存在 18 年的量子计算猜想。Physical Superintelligence 的研究者表示，该证明确立了量子加速的基本极限，并已用 Lean 完成形式化验证。
选题角度
原文称未发布的 Anthropic 模型 3 天解出 18 年量子计算猜想并经 Lean 形式化验证，适合做热点评论，围绕这条转述消息本身展开。
来源：Reddit · AI 大众社区 · reddit.com