研究系统初创公司PSI利用Anthropic的Fable 5.2模型的早期版本,解决了量子计算领域一个存在18年之久的Aaronson–Ambainis猜想。该解决方案已被转换为可验证的格式,并得到了Scott Aaronson等知名研究人员的谨慎乐观回应,他们认为尽管复杂,但该解决方案是正确的。这一进展虽然排除了一个特定的量子优势途径,但凸显了AI在加速理论科学发现方面日益增长的作用。 AI
影响 加速理论科学发现,并凸显AI在复杂问题解决方面的潜力。
排序理由 AI模型被用于解决量子计算领域一个长期存在的理论问题。[lever_c_demoted from research: ic=1 ai=1.0]
- Aaronson–Ambainis conjecture
- Anthropic
- David Turturean
- Fable 5.2
- Lean
- MIT
- MIT Computer Science and Artificial Intelligence Laboratory
- Northeastern University
- Psi
- Scott Aaronson
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →