AI圈报
行业动态精选

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

信息来源:TechCrunch:AI(RSS)·
原始标题:PSI is trying to make a business out of AI-driven scientific discovery

内容摘要

PSI 实验室的 David Turturean 借助 Anthropic Fable 5.2 模型早期访问权限解决了存在 18 年的量子计算问题 Aaronson-Ambainis 猜想,证明经 Lean 自动形式化验证。
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源TechCrunch:AI(RSS)
站内情报编号intel-d7fd2c42abcf0523b7a4e276