当前位置:首页 » AI资讯 » AI快讯

PSI 尝试用 AI 驱动的科学发现打造商业模式

2026-11-11 1

PSI 实验室的 David Turturean 借助 Anthropic Fable 5.2 模型早期访问权限解决了存在 18 年的量子计算问题 Aaronson-Ambainis 猜想,证明经 Lean 自动形式化验证。

来源:TechCrunch:AI(RSS)

相关推荐

扫码关注

qrcode

联系我们

回顶部