能力与路线 · AI for science
AI 与科学发现
AI 能不能独立做出科学和数学发现
访谈 23 场 · 文献 0 篇 · 访谈话语 20 条 · 已核读摘录 0 条
这个话题下的话语
20原话逐字核对过;转述不加引号事实证明,为了让强化学习在大规模下取得良好效果,你确实需要自己对模型进行预训练。你不得不这么做,这两者之间的耦合太紧密了,你必须两者兼顾。
it turned out you actually do need to pre-train your model in order to make reinforcement learning work very well at scale. So you actually kind of do need to do that the things are just so tightly coupled that uh you you do need to do both.
语境:Misha Laskin 解释为何 ReflectionAI 不能只做微调或后训练:基础预训练与强化学习表征存在深度协同,必须端到端闭环开发。
当我最初启动这些智能体时,我原本期望它们能构想出某些前所未见、颠覆认知的神奇优化器思路,但实情并非如此。它们擅长玩一些巧妙的花样,将不同论文的方法拼接组合并做出渐进改良,但并没能真正发明出任何全新的优化器。
when I launched this these different agents I was expecting them to come up with some crazy ideas on optimizer that's like no one of discover but honestly it wasn't the case. Uh they did some clever trick where basically they combine different papers. uh they kind of do plus one improvement over a bunch of method but there was really like no novel optimizer
语境:Elie Bakouch 客观界定当前 AI 科学家的能力边界:在已知知识库中执行高密度启发式搜索极其强悍,但在无先验指导下从零发明新范式依然受限。
自动化科研智能体在工程化微调和论文技巧组合上已展现出超越人类的速度,但在真正需要底层物理直觉与首创性突破的核心算法机制上,当前大模型仍未跨越从零创造的鸿沟。
语境:Elie Bakouch 剖析自动科研智能体的真实成色:厘清高效工程排列组合与真正科学突破之间的本质区别。
Arya 擅长编排作业、理解 GPU 负载、响应 W&B 生态内的训练事件、倾听研究员需求、检索 arXiv 论文并协作推敲假设。我们可以让 Arya 全权接管你不想处理的繁重执行机械工作,而让你集中精力去探索全新的思想、新架构以及前沿实验参数。
Arya's great at orchestrating jobs, understanding GPU workloads, responding to events within the within the Wandi ecosystem, and listening to researchers, uh, uh, looking up archive papers, and collaborating on hypothesis. So, we can let Arya drive the mechanics that you don't want to deal with while you focus on the new ideas, new architectures, and new parameters that you wanted to try.
语境:Tim Sweeney 阐述 AI 科研伴侣的落地愿景:智能体充当实验室管家与执行双手,将人类科学家从集群配置与调参监工中解放出来。
这一时期的绝大多数视觉 AI 仅仅是靠像素效果来被评判的。如果你生成了漂亮的像素,你就做出了看似精美的软件,但这些像素仅仅是在尝试模拟观测现象。它们并不实际具备或表征现实世界背后的任何语义。因此,它们根本无法带来真正的真实性,无法作为规划的依据,也无法作为对真实物理世界的稳健仿真基础设施。
most of visual AI for this period has been just judged by the pixels. If you've got beautiful pixels, you've got a beautiful piece of software, but these pixels are trying to simulate observations. They don't actually have or represent any of the semantics behind the world. And therefore, they aren't good at realism. They aren't good for giving a basis to plan. They aren't good for actually having a robust simulation infrastructure of the real world.
语境:Christopher Manning 尖锐批评视觉生成与世界模型混为一谈的现状:像素级的逼真无法替代底层因果规律,缺乏因果表征的模型无法用于智能体规划。
这种神经符号方法你可以称之为保守路线:在动作的生成与控制中明确借助物理引擎和物理学知识。当你面对一张水的图像并希望理解其运动规律时,你是通过物理模型来预测其行为表现的。
this neurosyolic approach is you know you call a conservative approach if you will you know that this is absolutely using physics engines and knowledge of physics um to in its generation and control of movement, right? That if you're what you know when you've just started off with an image of water or and you want to understand how that's behaves, you're using a physics model to predict how it's going to behave.
语境:Christopher Manning 阐述神经符号系统在物理建模中的必要性:将已有物理知识显式嵌入生成与控制循环,而非寄希望于黑箱网络完全隐式重学物理学规律。
缩小仿真与现实鸿沟的关键在于神经优化:通过将仿真器输出与真实世界视频中的物理动态进行端到端对比学习,系统能自动迭代校准物理参数,彻底超越人工手写物理规则的精度极限。
语境:Christopher Manning 提出自动闭合 Sim-to-Real 鸿沟的工程方案:以端到端神经网络对物理模拟器进行自适应校准。
通过人工遥操作采集机器人动作数据的物理成本极其高昂,单条样本约需一分钟,若想仅靠人工遥操作达到早期语言模型的数据规模,即便动员全美人口也需耗费一个世纪以上。
语境:Deepak Pathak 论证为什么具身智能不能单纯照搬互联网文本数据的缩放方法,必须通过多形态数据共享与高仿真学习打破数据天花板。
从根本上讲,这里存在着一种典型的军备竞赛动态,而防御端此前一直远远落后。我们要做的是让防御能力迎头赶上。作为基础研究实验室,我们坚信唯有掌握顶尖序列生成设计能力的团队,才最具备构建底层防御能力的资质,因为二者在模型底层本质上同出一源。
So I think inherently there is this arms race style dynamic that the defensive side has been far far lagging. And so what we want to do is bring the defensive side [music] to par. Essentially, we felt it was important as a lab that a team that was both building the design capabilities is actually also best suited for building the defense capabilities cuz they're basically the same models.
语境:Eric Nguyen 揭示生成式生物安全的核心悖论:能生成强效功能序列的模型天然具备判别潜在病原体的最佳表征,攻防一体的双重使命是生物模型团队不可推卸的责任。
随着长上下文基因基础模型快速进化,序列从头设计能力势必呈指数增强;生物安全防范机制必须打破被动滞后局面,主动在生物合成上游部署自动化环境监测与致病性预测。
语境:Eric Nguyen 呼吁建立国家级生物安全预警机制:将长上下文基因组大模型融入 DNA 商业合成供应链与病原体监控网络。
TabPFN 是 AutoML 演进的自然终局:我们学习的是整个能在单次前向传播中执行的完整学习算法;根据你输入的具体数据集,它会在上下文内部拟合出完全不同的分类器。它不再是单纯的一个静态分类模型,而是一个能根据输入即时生成不同分类器的超网络。
TPFn is really this natural progression of AutoML where we learn this entire algorithm that is executed in a forward pass and depending on the data set that you feed in it learns a different classifier. So um it's not just one network that is one classifier but it's a a network that can learn different classifiers depending on the input
语境:Frank Hutter 阐述 TabPFN 的本质跃迁:从传统反复试错的模型训练演变为上下文学习算法,将整个机器学习拟合过程转化为 Transformer 的单次前向推理。
深度学习在结构化表格数据领域长期受制于脏数据与维度灾难而落后于树模型,但基于合成数据先验与上下文拟合的表格基础模型已实现根本性突破,全面超越了经典 GBDT 与 XGBoost。
语境:Frank Hutter 宣告表格深度学习打破历史魔咒:先验拟合网络通过大量合成结构先验有效克服了小样本表格数据的过拟合难题。
预测模型就像是:你输入一些数据,得到一些输出……那仅仅是一个统计模型。而解释性模型才是科学真正追求的目标——它必须能够进行外推,因为它内部捕获了物理规律或对底层现实的某种真实描述。
a predictive model is like let's say you just have a you have some inputs and you have some outputs […] That's just a statistical model, right? A descriptive model is actually what science is trying to get to, which is okay, it should be able to extrapolate because it has sort of the physics or the actual some description of reality that's captured within it.
语境:Google Fellow John Platt 剖析统计机器学习与真实科学研究的根本分界:拟合历史数据的预测模型只能内插,而科学的核心是发现包含物理因果机制、具备跨领域极端条件外推能力的解释性模型。
到目前为止,我们还无法构建出一个能够真正发现全新物理学或全新科学理论的系统,但它确实是一种能够帮助人类科学家发现全新科学的强大电动工具。
We haven't been able to make a system so far […] that can really sort of discover completely new physics or completely new science, but this is sort of a power tool to help you discover completely new science.
语境:对当前‘AI 科学家’神话进行清醒解构:现存架构无法从零归纳出革命性的底层物理定律,其实质是极大加速探索效率的‘动力工具’,真正的因果假设与严格证伪仍完全依赖人类科学家。
Platt 揭秘 Google AI 科学家项目 ERA 的演进起点:该系统最初源于自动化参加数据竞赛的 Auto-Kaggle 尝试,团队发现大量科研问题均可映射为通过编写代码最大化分数的‘可评分任务’;但大模型极易像人类打榜选手一样出现奖励黑客攻击与对测试集过拟合,因此科学家最核心的能力是设计极端严苛的隐蔽留出集与物理因果检验。
语境:阐述科学问题形式化与代码搜索的边界,指出单纯刷榜式 AI 会利用标签噪声与度量漏洞进行作弊(古德哈特定律),无法自动替代人类在实验设计与严密性上的把关。
这些 AI 工具就像直升机,能直接把你空运到指定的瀑布前,让你看一眼然后飞回去,但你对如何抵达那里一无所知。除了你具体要求的那个事物之外,你可能看不到任何其他有趣的现象。因此,尽管技术上你更高效地达成了目标,但也许有些东西已经失落了。
these AI tools, they can be like helicopters that will just fly you directly to this waterfall and you can see it and then you fly back, but you learn nothing about how to get there. You may not see any other interesting phenomena than the specific thing that you asked for. And so even though technically you achieve your goal much more efficiently, there may be something that is lost.
语境:陶哲轩提出著名的‘直升机隐喻’,反思 AI 辅助科学发现的潜在代价:自动化工具虽能高效求解特定目标,但跳过了人类徒步穿越数学丛林中附带获得的整体洞察与知识地貌认知。
我们现在正在生成大量的证明,也验证了其中不少;但理解这些证明并将其整理成最终教科书形式的节奏,依然由人类掌控。事实上,我们现在正在经历所谓的‘证明消化不良’:突然之间涌现出海量待理解、待写入教材的问题解答,但我们已经被过于庞大的数量彻底淹没了。
We are now generating many proofs. We are verifying a bunch of them but the pace of understanding them and putting them into the final textbook form is still done by humans. In fact, we're now experiencing what you might call proof indigestion where suddenly there's lots and lots of pending solutions to problems that should be understood and should be going to textbooks, but we're just flooded now with too many of them.
语境:陶哲轩指出数学界正在遭遇的知识瓶颈:AI 极大加速了前端的蛮力命题生成与形式化验证,但后端的语义消化、逻辑重构与教材沉淀依然受制于人类认知带宽。
陶哲轩指出,大模型通过蛮力搜索生成的数学证明往往缺乏人类的审美与重点取舍:AI 无法分辨步骤的难易轻重,常在极其琐碎的步骤上花费大量篇幅,而在最关键的核心洞见上草草带过,导致生成文本冗长繁琐且难以为同行阅读吸收。
语境:分析 AI 证明难以直接发表或教学的根本原因,指出人类学者的证明写作会自然在其死磕最久的‘最难一步’上倾注笔墨与逻辑线索,而 AI 的平铺直叙缺乏认知层次感。
解决千禧年大奖难题(纳维-斯托克斯方程)的成果,绝不能归功于多智能体系统,我甚至连 10% 的功劳都不会分给多智能体。现实是 OpenAI 训练了一个非常强大的模型。我们能让该模型在超长跨度内运行并并行思考,但其根本原因在于我们拥有一个极其强大的通用基础模型。
The effort to solve a Millennium Prize Problem, this was not due to multi-agent. I wouldn’t even attribute 10% of the credit to multi-agent. The reality is that OpenAI has trained a very powerful model. We can get that model to operate over very long horizons. We can get it to think in parallel. But at its core, the reason why we’re able to do this is because we just have a general-purpose, very strong model.
语境:针对业界过度炒作‘万级智能体协同解题’的热潮,Noam Brown 澄清技术实质:多智能体外壳只是显眼包装,真正实现数学与科学发现质变的是底层通用基础模型的长程推理能力。
我一直认为我们应用 AI 最重要的领域就是改善人类健康。[…] 我至今依然坚信这一点,并且我认为它最终将成为推动我们理解周围世界的最强大工具。
I've always said that the number one thing I think we can apply AI to is improving human health. […] And I still believe that now and I think ultimately it could be the the most amazing tool for advancing our understanding of the world around us.
语境:Demis Hassabis 阐述自己创办 DeepMind 的初心:AI 的终极使命是成为推动人类科学发现、攻克疾病以及探索自然奥秘的基础认知工具。
讲者与作者
16
具身与物理世界沈宇军 × 张小珺:机器人原生基座模型、大脑与本体关系及数据规模化
沈宇军·张小珺访谈录
智能体落地姚顺宇 × 张小珺:在 Anthropic 与 Gemini 训模型、技术预测与前沿研发演进
姚顺宇·张小珺访谈录
AI 与科学发现洪乐潼 × 张小珺:形式化数学验证语言 Lean、数学猜想证明与机器推理
洪乐潼·张小珺访谈录
学习范式与路线谢赛宁 × 张小珺:DiT 诞生始末、世界模型、AMI Labs 与独立学术科研抉择
谢赛宁·张小珺访谈录
具身与物理世界谭捷 × 张小珺:Gemini Robotics 1.5、跨本体机器人控制与世界模型研发
谭捷·张小珺访谈录
具身与物理世界王鹤 × 张小珺:具身智能学术演进历程、泛化操作与仿真到物理世界迁移
王鹤·张小珺访谈录
通用智能与时间表Demis Hassabis:大模型、世界模型与 AlphaZero 式规划
Demis Hassabis·Dwarkesh Podcast
算力与芯片Misha Laskin:开放权重模型 Beam 与后训练算力范式转移
Misha Laskin·No Priors
AI 与科学发现Justin Solomon:AI 怎样改变数学研究与教学
Justin Solomon·Odd Lots
AI 与科学发现Periodic Labs:让 AI 科学家进入物理实验室
Liam Fedus · Ekin Doğuş Çubuk·Latent Space
智能体落地我们让 Claude Code 和 Codex 与人类研究员竞速
Elie Bakouch·AI Engineer
智能体落地替你跑实验的 AI 研究智能体:Arya 与行为缺陷评测
Tim Sweeney·AI Engineer
通用智能与时间表Hassabis 谈 AI 革命、AI 的未来与人类创造力
Demis Hassabis·YouTube
学习范式与路线Christopher Manning:世界模型需要因果机理而非漂亮像素
Christopher Manning·AI Engineer
具身与物理世界Deepak Pathak:突破机器人 70 年困境的全本体通用大脑
Deepak Pathak·AI Engineer
网络安全与滥用生物安全是一场 AI 军备竞赛:Evo 2 与基因组护栏
Eric Nguyen·Latent Space
AI 与科学发现替代数小时调参的 AI:TabPFN 与表格基础模型
Frank Hutter·Machine Learning Street Talk
AI 与科学发现Google 的 AI 科学家,起点是想自动打 Kaggle
John Platt·Latent Space
AI 与科学发现陶哲轩讲数学的六个基本概念
陶哲轩·YouTube
递归自我改进OpenAI 研究员谈智能体集群与递归自我改进
Noam Brown·Dwarkesh Podcast
AI 与科学发现造一个 AI 科学家,光有智能不够
Edward Hughes·Machine Learning Street Talk
OpenAI 数学推理突破的内幕
OpenAI
学习范式与路线没人对「世界模型」有共识
Justin Johnson·TWIML AI Podcast
