PSI 宣布在量子计算复杂性方面取得突破，找到了一个 2008 年提出的猜想的证明。该研究系统利用了一个私有的 Anthropic 模型，在运行三天内生成了第一个证明。该证明随后使用 Lean 进行了进一步验证，结果表明量子计算机在某些是/否问题上无法像经典计算机那样指数级地减少输入查找次数。 AI
影响 这项研究可能推进对量子计算能力的理论理解，并可能影响未来的硬件和算法开发。
排序理由 该集群报道了一项研究发现和证明验证，符合研究类别。[lever_c 降级自研究：ic=1 ai=1.0]
在 Mastodon — sigmoid.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
