跳到正文
热点事件观察中

PSI 成员用 Anthropic Fable 5.2 解出 18 年悬置的 Aaronson-Ambainis 猜想

2 篇报道2 个报道来源首报2 天前更新

先了解这件事

AI 综述

创业公司 Physical Superintelligence（PSI）成员 David Turturean 利用早期访问权限的 Anthropic Fable 5.2 模型，解决了悬置 18 年的量子计算问题 Aaronson-Ambainis 猜想，证明经 Lean 数学语言自动形式化验证。 猜想提出者 Scott Aaronson 称自己尚未完全看懂该证明，但因已通过 Lean 自动形式化而相信其正确。据 TechCrunch 报道，这一结果封堵了量子计算机在高速求解某些难题上的一条路径，但并非所有路径。

AI 根据报道生成 · 1 天前更新

最新进展11月11日 03:03
PSI 用 Anthropic Fable 5.2 求解 18 年未决的 Aaronson-Ambainis 猜想并探索 AI 科学发现商业化

报道时间线

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

11月11日
  1. TechCrunch · AI
    PSI 用 Anthropic Fable 5.2 求解 18 年未决的 Aaronson-Ambainis 猜想并探索 AI 科学发现商业化

    TechCrunch 报道创业公司 Physical Superintelligence（PSI）成员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限解决了存在 18 年的量子计算问题 Aaronson-Ambainis 猜想，证明经 Lean 自动形式化验证，Scott Aaronson 表示相信其正确但尚未完全看懂。

11月9日
  1. Import AI
    Import AI 480：AI 科学进展、Meta 触觉手套 Tactus，以及自给自足的太空经济

    AI 科学初创公司 Physical Superintelligence 的内部研究系统运行非公开的 Anthropic 模型，在运行第三天给出 2008 年提出的 Aaronson-Ambainis 量子计算猜想的完整证明，并通过证明助手 Lean 校验，期间还两次改进结果。

本事件热度走势

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