跳到正文
热点事件历史事件

PSI用Anthropic模型解量子计算猜想

1 篇报道1 个报道来源4 天前更新

先了解这件事

AI 综述

初创实验室 Physical Superintelligence（PSI）的技术成员 David Turturean 借助 Anthropic Fable 5.2 模型的早期访问权限，解决了困扰量子计算十八年的 Aaronson-Ambainis 猜想。该证明经 Lean 自动形式化，并由专家团队作出解释。 PSI 用专用模型 harness 与工具、记忆系统和仿真基础设施求解科学问题。目前其收入来自用这些工具优化数据中心，模拟热量、电力、水和声音等变量；长期目标是把理论物理突破转化为实际技术。 由于需等到 Anthropic 模型接近发布才能公开结果，PSI 在此期间将证明分享给相关研究者，以便更好理解。

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

最新进展11月11日 03:03
PSI 想靠 AI 驱动的科学发现做成生意

报道时间线

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

11月11日
  1. TechCrunch
    PSI 想靠 AI 驱动的科学发现做成生意

    PSI 技术成员 David Turturean 用 Anthropic Fable 5.2 的早期访问权限解决了困扰量子计算十八年的 Aaronson-Ambainis 猜想，该证明经 Lean 自动形式化并由专家团队解释。PSI 以专用模型 harness 与工具、记忆系统、仿真基础设施求解科学问题，目前收入来自用其工具优化数据中心，长期目标是把理论物理突破转化为实际技术。

本事件热度走势

可比范围当前
3
可比范围峰值
1011月11日 04:00
近 24 小时变化
-50%

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。