ChatGPT联合创始人、OpenAI前高管Liam Fedus表示,AI在数学领域的快速发展得益于Lean形式化证明系统,该系统可自动验证证明的对错。然而,在物理世界中,真实问题无法通过形式化系统替代实际实验。离职后,Fedus创立了Periodic Labs,并与曾在DeepMind领导化学材料团队的Ekin Dogus Cubuk合作,获得了多家知名机构与个人的投资。该公司搭建了实体高通量实验室,结合大语言模型的推理能力、计算物理模拟和实体实验,旨在补齐互联网无法提供的高质量物理实验数据,解决现有公开科研数据中存在的噪声大、信息不全和正面结果偏倚等问题,目标是打造真正的AI科学家。目前,Periodic Labs已推出可解读X射线衍射图谱的大模型Periodic Neon,长期目标是实现有意图地设计物质,重点攻关新型超导等关键材料,为核聚变和摩尔定律的延续等突破提供支持。此外,Fedus还回顾了ChatGPT诞生前后的内部细节,解释了ChatGPT与AI编程率先实现产品级突破的原因,并分享了关于AI扩展定律、行业数据需求和AI对就业长期影响的观点。
