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

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