PSI 尝试将 AI 驱动的科学发现转化为商业业务

PSI is trying to make a business out of AI-driven scientific discovery

Physical Superintelligence（PSI）正以数据中心优化获取收入，并探索将 AI 驱动的理论物理突破转化为实际技术。其研究人员 David Turturean 使用提前获准访问的 Anthropic Fable 5.2，求解了提出已有18年的 Aaronson-Ambainis 猜想，结果经 Lean 自动形式化并交由相关研究者审阅。