TechCrunch · AI· Tim Fernholz·· 5 天前
PSI 借 Anthropic Fable 5.2 解决量子计算公开难题，探索 AI 科研生意
PSI is trying to make a business out of AI-driven scientific discovery
AI 导读
初创实验室 Physical Superintelligence（PSI）的技术人员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限，解决了悬置十八年的量子计算问题 Aaronson-Ambainis 猜想，该证明经 Lean 自动形式化并由外部研究者复核。
入选记录
门槛 76媒体与个人第一次 72第二次 78
未入选两次之和 150 < 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：AI驱动科学发现与模型应用
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：TechCrunch · AI · techcrunch.com