热点事件持续更新
Liam Fedus谈AI科学家需实体实验室数据
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
2026年10月11日，机器之心报道，OpenAI前ChatGPT共同创造者、后训练负责人Liam Fedus在The Frontier播客中谈及AI进入科学领域的问题。他解释称，数学之所以成为AI突破最快的科学领域，是因为Lean形式化证明自带裁判，而物理世界则必须依靠真实实验。据此，他认为AI在数学之后必须进入实验室获取实体实验数据。
AI 根据报道生成 · 1 小时前更新
最新进展10月11日 12:31
Fedus在播客中称数学因Lean自带裁判而突破最快，物理世界须靠真实实验。报道时间线
沿着报道，了解事件的不同侧面。
10月11日
- 机器之心 · 微信公众号ChatGPT 共同创造者 Liam Fedus 谈数学之后 AI 为何必须进实验室
OpenAI 前 ChatGPT 共同创造者、后训练负责人 Liam Fedus 在 The Frontier 播客中解释，数学因 Lean 形式化证明自带裁判而成为 AI 突破最快的科学领域，而物理世界必须依靠真实实验。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。