ChatGPT 共同创造者 Liam Fedus 谈数学之后 AI 为何必须进实验室
ChatGPT共同创造者Liam Fedus：数学之后，AI该去实验室了
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
OpenAI 前 ChatGPT 共同创造者、后训练负责人 Liam Fedus 在 The Frontier 播客中解释，数学因 Lean 形式化证明自带裁判而成为 AI 突破最快的科学领域，而物理世界必须依靠真实实验。
来源：机器之心 · 微信公众号 · mp.weixin.qq.com