ChatGPT 共同创造者 Liam Fedus：AI 的下一个瓶颈是实验数据
ChatGPT 共同创造者 Liam Fedus 解释：为什么数学之后，AI 要攻占材料科学就必须自己建实验室，以及他为此创办的 Periodic Labs 在做什么。
OpenAI 一次性放出 722 篇数学手稿，部分附带 Lean 形式化证明——数学有编译器当裁判，可验证；材料、化学却没有这样的裁判，只能靠真实实验。ChatGPT 共同创造者 Liam Fedus 因此离开 OpenAI，创办 Periodic Labs，自建实体实验室，为 AI 补上互联网给不了的那块数据。
正文摘录
.jpg) 编辑｜Panda 前两天，OpenAI 在 GitHub 上[一次性放出了 722 篇数学手稿](https://mp.weixin.qq.com/s?biz=MzA3MzI4MjgzMw==&mid=2651061320&idx=1&sn=9ccf3204921b2620923ef26380fb3bb6&scene=21wechatredirect)（后面[撤回了几篇](https://mp.weixin.qq.com/s?biz=MzA3MzI4MjgzMw==&mid=2651061737&idx=1&sn=ab7360f541d07a97def3155852584b0f&scene=21wechatredirect)），覆盖数论、几何、理论计算机科学、数学物理等 17 个领域，其中一部分附带了可由计算机机械检查的 Lean 形式化证明。据 OpenAI 介绍，它们全部出自一个尚未发布的内部前沿模型，平均每个结果消耗的算力大约相当于 ChatGPT Pro 思考模式运行三个小时。 这并不是 OpenAI 在数学上的第一次大动作。一个月前的 9 月 8 日，它就宣布内部模型调度上万个智能体、历时约 88 小时，给出了与 Navier-Stokes 千禧年难题相关的爆破证明，随即陷入署名与优先权之争。