行业动态精选
PSI 尝试用 AI 驱动的科学发现打造商业模式
原始标题: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