ChatGPT 共同创造者 Liam Fedus：数学之后，AI 该去实验室了

ChatGPT 共同创造者、OpenAI 前后训练负责人 Liam Fedus 在播客 The Frontier 中表示，数学因有 Lean 编译器充当裁判而成为 AI 突破最快的科学领域，材料、化学等物质世界问题则必须靠真实实验验证。