ChatGPT共同创建者Liam Fedus：数学之后，AI科学为何必须走进实体实验室

ChatGPT共同创建者Liam Fedus认为，AI科学不能停留在数学推演，必须通过实体实验把假设收敛为事实。他指出，数学成果可借助Lean形式证明由编译器验证，但超导材料等物理问题无法由形式系统替代真实实验，因此Periodic Labs正在门洛帕克建设实验室，补充互联网缺少的实验数据。他将AI科学的发展路线概括为结合语言模型推理、计算物理模拟和高通量实验室。