物理学也要被AI攻陷了？5道20多年量子公开问题被突破

融资背景可以一览实力。9月亮相时，PSI宣布已完成5800万美元种子轮融资。

领投方是比尔·盖茨创立的Breakthrough Energy Ventures。

这家基金背后汇聚了亚马逊创始人贝索斯、阿里巴巴创始人马云、维珍集团创始人布兰森等科技和商业界大佬，专门投资有潜力推动能源转型的前沿科技。

跟投阵容中，还有硅谷老牌风投SV Angel。其创始人罗恩·康韦是著名的天使投资人，早年曾押中Google、PayPal、Twitter等科技公司。

不仅如此，a16z前合伙人Balaji Srinivasan也参与了投资，此外还吸引了来自OpenAI、英伟达、Hugging Face、Oracle等科技公司的个人投资者。

让科学发现实现“规模化生产”

讲了这么多，用一句话来概括PSI的愿景，其实就是让科学发现“从天才走向规模化”（From Genius to Scale）。

几百年来，人类基础科学的跃迁几乎都仰赖牛顿、爱因斯坦这样灵光一现的个体天才。

但PSI认为，这种纯手工作坊式的科研已经撞上天花板了，不然为什么如今21世纪的我们还存在于20世纪的物理学基座上？

科学发现不应该再受制于人的时间。

PSI将基本研究单元称为Autonomous Campaign（自主研究任务），希望让研究从问题定义、假设提出、验证、实验到工程部署持续运行。

PSI还认为，AI时代的科研，尽管想法不再稀缺，但真理仍然稀缺。

大模型可以快速生成上百个猜想，但这些离成为真理还差得远。

为了解决这个问题，PSI推出的自研AI科研系统Emmy（致敬20世纪伟大的数学家与理论物理奠基人艾米·诺特）分离了“生成”和“验证”两步。

它的工作流程大致是这样。

首先，面对一个宏大的物理学开放难题，Emmy先调用前沿大模型将其拆解成无数个微小的、可验证的数学子假设。

其次，将假设直接丢进Lean形式化证明器、符号计算引擎以及高精度验证代码中进行严格筛查。如此一来，报错的假设将被当场淘汰，通过局部验证的路径则被保留并继续衍生。

只要最终的Lean代码编译通过，就意味着这个物理定理在数学逻辑上100%无懈可击。

过程中的验证结果还能成为训练下一代AI物理学家的奖励信号，推动系统不断改进，从而实现科学发现的规模化。

One More Thing

听下来很不错，但问题来了，这样研究物理理论的公司，要怎么盈利呢？

我翻了一下他们正在做的项目，人家还是很务实的。

他们打算先从最现实的问题开始赚钱。

哪呢？AI数据中心。

现在的超算集群本质上是一个极其复杂的宏观物理系统，供电、冷却、网络和计算资源之间存在着高度耦合的工程优化难题。

专业对口了。Emmy系统能够从底层物理规律出发，把供电、散热、通信和算力当成一个整体方程来求解，从物理极限上找到更高的能效比。

更有趣的是，在商业之外，PSI还接了一个（可能是科幻迷的）个人投资者的私活。

Fermi Explorer（费米探索者）星际任务。

PSI宣布：从现在开始动手造飞船！

根据官方公告，他们计划在2029年之前发射深空星际探测器“Fermi Explorer”。

利用Emmy系统在现有物理极限内优化出的最佳轻量化工程方案，这艘飞船将飞出太阳系，用8万年的时间，飞向距离我们4.2光年的三体人和阿凡达老家，半人马座。

 <img loading=