曹原谈 AI for Science:验证、发现与概念抽象
- 这场硅谷101访谈没有把 AI4S 简化成单一技术路线,而是保留了 verification、proposal novelty 与 concept abstraction 之间的层级差异。
- 曹原从问题定义、representation 和物理验证谈到因果推理、符号 AI、数学证明与概念发明,区分了在既有空间中搜索和形成新概念这两类能力。
VIDEO / 01

一份经过阅读、观看与筛选,值得反复回看的 AI for Science 学习档案:论文、视频、播客,以及值得关注的人。

VIDEO / 01
AI 发现不了现实所需的新材料,除非它亲自下场做实验
Latent Space 对 Radical AI 首席执行官 Joseph Krause 的专访,详细讨论了 AI 在合金结构材料研发中面临的独特挑战,以及自动驾驶实验室如何缩短新材料从发现到量产的漫长周期。
人类文本快被用尽,AI 如何从真实实验中获得新数据?
Latent Space 对 Lila Sciences 首席技术官 Andy Beam 和首席物理科学官 Rafa Gomez-Bombarelli 的专访,探讨如何用真实的实体实验室作为强化学习的验证器,从而解决 AI for Science 面临的数据枯竭问题。
如何用虚拟实验室推演新药
涌现 Lab 对斯坦福大学 James Zou 教授的专访,详细探讨了多智能体系统(Multi-agent)如何重塑科学发现流程,以及他们在“虚拟实验室”中推演新药的最新前沿实践。
PODCAST / 08
PODCAST / 09
PODCAST / 10
VIDEO / 11
VIDEO / 12
People to follow · 03
关注真正做研究、写代码、跑实验的人。人物介绍与推荐原因同样在一级页面完整呈现。
@AnimaAnandkumar
科学机器学习 · 算子学习
关注物理世界基础模型、傅里叶神经算子与跨尺度模拟。
@demishassabis
AI × 科学发现
从 AlphaFold 到材料与数学,持续分享 AI4S 的长期路线。
@DrJimFan
具身智能 · 世界模型
擅长把复杂研究讲清楚,并连接机器人、模拟与通用智能。
@sarahookr
开放科学 · 高效 AI
关注高效训练、数据质量与让研究资源更广泛可用。
@andrewwhite01
化学 · 语言模型
分享 LLM 在分子设计、化学推理和实验室工作流中的真实用法。
@asellen
人机协作 · 科研工具
从人因与交互角度思考 AI 如何真正进入知识工作。