跳到正文
热点事件持续更新

PSI用Anthropic模型解决十八年量子计算猜想

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

初创实验室 Physical Superintelligence(PSI)的技术人员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限,解决了悬置十八年的量子计算问题 Aaronson-Ambainis 猜想。该证明经 Lean 自动形式化,并由外部研究者复核。 报道同时称,此事被用于探索 AI 科研商业化。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月11日
  1. TechCrunch · AI精选
    PSI 借 Anthropic Fable 5.2 解决十八年量子计算猜想,探索 AI 科研商业化

    初创实验室 Physical Superintelligence(PSI)的技术人员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限,解决了悬置十八年的量子计算问题 Aaronson-Ambainis 猜想;该证明经 Lean 自动形式化并由外部研究者复核。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。