Hacker News 中文摘要

RSS订阅

为什么机器学习研究 agent 不会过拟合? -- Why don't machine learning research agents overfit?

2026年9月10日,亚马逊科学(Amazon Science)发文探讨机器学习研究代理(machine learning research agents)为何在训练中未出现过拟合。观察显示,这类代理处理大规模数据时能维持泛化性能,与传统模型形成对比。研究者提出信息压缩(compression)可能是核心原因,正分析代理表征的压缩程度如何阻止过拟合发生,并设计实验验证该关联。

正文

听众已知越多,所需发送的消息越短。资深 ML 工程师只需几句话;新手则需要整本手册。

Image 12: Security privacy and abuse prevention (1).png

机器学习的核心在于泛化,而非记忆。你把一堆训练样本交给学习算法去拟合模型,目标不是在训练样本上表现好——那只需背答案,而是要在从未见过的新样本上表现好。如果模型在训练数据上好、在新数据上差,它其实没学到东西,只是自欺欺人。这种失败模式叫过拟合。

学过统计或机器学习入门课的人知道标准防御:留出部分数据不参与训练。留出数据有两个角色:验证集在建模时反复查看,用于比较候选、调超参、决定下一步;最终测试集(或留存集)只在最后用一次,因为训练过程没见过它,所以在上面的好表现能正确代表真实新样本。

“留存”条件很关键。只有留存集真正未被窥探,代理保证才成立。如果你反复查看表现、调整训练、再查看,追逐更好数字,它就不再未見,而成了训练过程一部分。次数多了,就像过拟合训练集一样过拟合它,失去代理作用。任何重用留存集都如此,包括本就反复用的验证集。

机器学习核心中的谜题

真实的机器学习研究恰恰像刚才说的迭代改进循环。大家用少数几年不变的基准数据集衡量性能,社区重复巨大分布式循环:在基准上评估、修改训练、再评估、发表,下一组再榨出一点提升。

这正是教科书上会说导致严重过拟合的、针对留存集的爬山搜索。如今排行榜早该被基准上好看、别处平庸的模型填满。

然而事实并非如此。为老旧重用基准新建全新测试集的研究发现,提升大体上能迁移:新数据上模型有同旧基准一样的收益。违背教科书预测,基准驱动的机器学习产生了快速且基本真实的进步。为什么?

不乏假设,但难实证,因为实验“主体”是整个研究界。你无法重置领域、擦除记忆、在受控条件下重跑过去十年。

但我们可以做类似事。现有基于 LLM 的研究智能体,能自主跑人类社区的同类优化循环。它们同样基准爬山,且有趣的是似乎也不过拟合。区别在于智能体可重置:清记忆、控信息、重实验。我们在论文 “What fits (into few tokens) doesn't overfit: Compression and generalization in ML research agents” 中如此做了,并为这一长期谜题给了具体解释。

精确化的奥卡姆剃刀

解释始于古老思想。奥卡姆剃刀说,解释数据同样好的假设中,更简单者更可能正确。这直觉有精确数学形式,是整件事的基础。

假定你用极少比特描述假设(模型、策略),远少于记忆训练数据所需。若这紧凑假设在训练数据上表现极好,它在新数据上也必好。

推理靠计数论证:短描述极少,因为短字符串极少。候选假设越少,任一靠运气在训练集骗你的可能越低——即便你用训练集指导搜索。

另一直觉:若压缩描述太小而无法偷记训练数据,那它在训练集上好就不是因为背答案——没空间。必是因为抓住了数据结构真相。短描述无法作弊,因为没余地。

有个诱人假设:成功的机器学习策略高度可压缩。研究者可能盯几千个基准分数,但最终存活的策略常是简短熟选列表——架构族、优化器、学习率 schedule、数据处理配方、正则方案。若最终配方仅用几比特传达,模型对基准的真正依赖远小于漫长实验记录所示。爬山广泛,但出来的东西极小。

压缩、智能与博学听众的力量

设想向聪明高中生解释某 ML 流水线以使其复现:漫长费力,得讲梯度下降、神经网络、PyTorch/JAX/TensorFlow、学习率等。几乎都不针对你的问题,而是 ML 通用背景。

对专家工程师解释则缩为几句话,跳过常识,只说针对此问题的:架构选择、批大小、优化器、几个超参。听众世界知识越多,所需消息越短,压缩越狠。这些“世界知识”在奥卡姆论证中不计分,因为你没看训练集也能写下。

LLM 在此登场。现代 LLM 带海量世界知识,懂 ML 工具、标准优化算法、常规超参和默认。细节留空它能补合理值。这使它们成为极好的压缩解码器:给 LLM terse 专家间消息,它能展开为完整可行流程。这正是其强大原因。

实验:将策略挤过瓶颈

Image 56: PortableReasoning-Hero-16x9.png

Image 57: LoRA.16x9.png

这引出干净实验:让 ML 研究智能体(探索者)解新问题,给完整验证集,自由实验迭代数百轮追更高验证性能。验证集扮基准角色:可重用留存集,被反复查询。这本应过拟合。

Image 58: Promptimus-02b-16x9.png

然后测解的可压缩性。第二智能体(压缩器)读探索者全部记录,把胜出策略提炼成极短提示(仅几个 token)。提示交给第三智能体(复现者),它只能凭提示和训练数据从零实现策略。关键:复现者无验证集、探索者代码或记录访问权。短提示是验证集所学到达它的唯一通道。(论文中压缩器和复现者都是 Claude 模型)

若冷启动仅持几 token 的复现者匹配探索者性能,则指定策略所需的验证依赖信息全过了那小通道。策略可压缩。我们称之为输出压缩证书。

该设置有人类界缺乏的有用特性:复现者可反复重置。压缩器试多种压缩看解码效果,因每次都落在新复现者上。像电影《记忆碎片》——给读前记忆被抹的自己留简注。你学会写博学但失忆副本能执行的注;注可很短,因为接收者会补足未说之事。

另一端出现了什么

压缩极小。跨 8 个数据集(表格分类、图像分类、语言建模、扩散建模、奖励建模),32 token 提示足以让新复现者匹配探索者自适应优化模型于绝大多数问题。一语言建模策略压到 16 token 而留存性能无损。

提示长啥样?最具启发者在简洁边界(压缩将破未破)。一语言建模实验,探索者发现自定义 GPT 式训练配方。16 token 预算下,新复现者仍能匹配未压缩探索者:

QKn 12L768 Mu .1 R² b2M 4x

人看像天书,另一 ML 智能体懂:QKn=QK 归一化,12L768=12 层 768 维 transformer,Mu .1=Muon 优化器学习率 0.1,R²=平方 ReLU 激活,b2M=两百万 token 批,4x=四倍前馈块。砍到 8 token 变成 12L768 Mu .1 R²,复现者不再匹配。缺件指定了依数据所作、异于默认的真实训练选择。此边界示可压缩极限,重要:表明复现者非仅凭先验成功。几压缩 token 携来自数据本身的真信息,消失则性能消失。

我们还从另一方向加瓶颈:不压输出而压输入——不给数值验证分,只返 1 比特(此模型是否胜当前最佳?)。即使每查询仅 1 比特反馈,探索者找到策略不逊全分数者。验证集与最终策略间通道双向皆窄,1 比特版甚至有严格泛化数学保证。

抓作弊者

好实证理论须可证伪——此理论可。若低过拟合真由可压缩性解释,则真过拟合模型应无法经此管道压缩。

为验证,我们故意给直接验证集访问并促其不惜代价最大化验证性能,推智能体过拟合。102 次运行中 38 次验证准确率超真留存准确率 10% 以上。

理论预测这些收益过不了压缩瓶颈,因其编码特定验证样本癖性而非可迁移结构。果然,经短提示挤给新复现者,验证特定优势消失。压缩以极高准确率分离了合法策略与过拟合策略。

故压缩不仅解释自主研究智能体为何不过拟合,还提供抓过拟合工具:标记无短描述能复现结果的情况。

这告诉我们什么——以及没告诉什么

几点警告。整体框架假设从验证数据到最终模型唯一路径是通过给复现者的提示。若模型预训练时背了验证数据,则有旁路绕过瓶颈。我们不认为实验中如此:智能体经真实搜索渐优而非起始即最佳,且极短 token 预算时性能降。完全解决需模型训练截止后收集的新数据集实验,我们未做。

最重要:结果关于 LLM 智能体,因唯此实验可能——可重置主体、控输入、计长度。但其描绘对人类研究界也强暗示。当领域花数年爬固定基准,收益持续迁新数据,或因同智能体策略幸存 32 token 提示:真正奏效的配方简单。换言之,“能塞进少量 token 的不会过拟合。”

Image 60: View from space of a connected network around planet Earth representing the Internet of Things.

评论

社区对“机器学习研究代理不过拟合”的命题普遍怀疑,多数人指出现代模型存在过拟合与内容同质化问题,少数人从数据参数比角度为之辩护。对人工智能代写文章泛滥和“压缩即智能”口号的厌倦情绪也贯穿讨论。

主张大模型实际上存在严重过拟合与崩溃倾向

  • 有用户直接反驳标题称研究代理确实会过拟合,并指出最新模型 Astra 与 Fable 虽然在基准测试中表现惊艳,但用户侧反馈显示幻觉与语境崩坏依旧,疑似强化学习崩溃的范例。(认可度:较多人) > 它们其实会过拟合。(@signalbright)

认为数据量远超参数时模型并不过拟合

  • 当训练数据点远多于模型参数时,过拟合倾向被抑制;另有观点称机器学习记忆的是模式而非机械背诵,核心仍是泛化能力。(认可度:少数人) > 机器学习核心是泛化而非死记硬背,它们只是记忆了模式。(@dominotw)

厌烦 AI 代写内容并要求在博客中披露

  • 多名读者指出科技巨头和博客文章由 Claude 等模型生成,阅读体验糟糕如同垃圾,并质疑为何不提供同行评审或预印本,且使用人工智能写作应被公开声明。(认可度:较多人) > 提交者难道没发现这是人工智能垃圾吗,读起来真痛苦。(@32df179)

批评“压缩即智能”是空洞的教条

  • 熟悉形式化结果的用户吐槽现代压缩论述,指出所罗门诺夫归纳等最优压缩器可将繁重工作隐藏于映射而变得空洞,社区盲目追捧压缩等式却忽视内部矛盾,期待因果干预范式兴起。(认可度:少数人) > 我对“压缩即智能”的梗已经翻白眼了,最优压缩器其实空洞无物。(@sigbottle)

有价值的补充

  • 有用户纠正对奥卡姆剃刀的误解:其本意不是最简单的最可能正确,而是应偏好简单方案因其简洁,并类比了霍珀关于“战时先做后请求原谅”的引言。(@diddid)
  • 该话题已有对应的学术论文预印本(编号 2606.11045),但原博客未直接附上链接,引发对发布规范的讨论。(@dguest, @jsrozner)