PSI试图将AI驱动的科学发现打造成一门生意

英文原标题：PSI is trying to make a business out of AI-driven scientific discovery

本文为英文原文的机器翻译摘要，原文见：TechCrunch AI ↗

• PSI（Physical Superintelligence）是一家利用AI进行科学发现的初创公司，其技术成员David Turturean借助Anthropic的Fable 5.2模型，解决了量子计算领域悬置18年的Aaronson-Ambainis猜想。
• 该猜想涉及量子计算机能否比经典计算机更快解决问题。解决方案经Lean语言自动形式化验证，并由顶尖研究者解释，被认为正确。Scott Aaronson表示自己感到满足、敬畏、失望和疲惫。
• PSI的CEO Matt Pines强调，有效的科研系统需要结合专用模型工具、记忆系统和模拟基础设施，以广度和深度攻克问题。目前公司收入来自优化数据中心，长期目标是将理论物理突破转化为技术。
• AI在数学和计算机科学等可代码验证的领域成果显著，但在生命科学和物理等抽象度较低的学科中应用更难。Pines指出，物理与数学不同，因为“自然会对你的现实模型投票”。
• PSI因需等待Anthropic模型发布而暂缓公布结果，期间与相关研究者分享以增进理解。东北大学教授Jim Halverson表示，最佳实践仍在形成中，透明度和联系专家是良好途径。

关键数据

• Aaronson-Ambainis猜想已悬置18年
• PSI使用Anthropic的Fable 5.2模型
• 解决方案在Lean中自动形式化
• PSI目前收入来自优化数据中心
• Discovered Materials发布了100万美元的挑战赛

引语

• “我完全接受这可能是我发表的最后一篇论文，”Turturean说。
• “这是一个负面结果，让人们知道，好吧，我们不再往那里看了，”Turturean说。
• “自然会对你的现实模型投票，”Pines说。
• “最佳实践仍在涌现……我们认为透明度和联系专家是好的方式，”Halverson说。

为什么值得看：本文展示了AI在解决长期科学难题上的突破，以及PSI如何尝试将此类能力商业化，同时揭示了AI在物理等实验科学中应用面临的验证挑战和学术规范的新探索。