Seventy3

任雨山

0.0 (0)
ଟେକ୍ନୋଲୋଜୀ

73播客，Sheldon最喜欢的数字，内容均为Google NotebookLM原生生成，每天由AI领读最新的前沿论文。欢迎投稿合作。

18 ଘ. ପୂର୍ବେ

【第693期】Google论文助手：迈向自动化科学评审之路

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： Towards Automating Scientific Review with Google’s Paper Assistant Tool Summary 人工智能正推动着科学发现领域的一场变革，从假设生成到数学定理证明，全方位加速着科研进程。然而，这种飞速的提速正引发一项系统性挑战：传统的人类同行评审规模难以跟上 AI 辅助科学成果的爆炸式增长。归根结底，要化解这一紧张局势，我们必须同样部署 AI 来加速验证和评审过程本身。为了围绕这一转型展开探讨，我们提出了一个包含四个渐进层级的分类法，用于划分 AI 与人类在科学评估中的协作关系，并讨论了每个层级涉及的各种权衡。作为迈向这一未来的一步，我们推出了“论文助手工具”（Paper Assistant Tool, PAT），这是一个专为深度科学评审与验证而构建的 Agent 式 AI 框架。PAT 可以摄入整篇科学手稿并生成综合评估，包括检查理论结果、验证实验、提出改进建议以及识别潜在缺陷。通过运用推理扩展技术（inference scaling techniques），PAT 能够比单次模型调用发现更深层次的问题，在 SPOT 基准测试的数学错误识别上相比零样本（zero-shot）召回率提升了 34%。PAT 在两大计算机科学顶级会议——STOC 和 ICML——被作为作者提交前（pre-submission）工具进行了试点部署，结果表明它具备识别关键错误并对研究论文提出实质性改进建议的能力。通过尽早捕抓错误，PAT 减轻了审稿人的认知负担，同时保留了他们对评审最终结果的控制权。原文链接：https://arxiv.org/abs/2606.28277 前往小宇宙评论区与主播互动
1 ଦିନ ପୂର୍ବେ

【第692期】验证之境：编程智能体的演进与协同

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： The Verification Horizon: No Silver Bullet for Coding Agent Rewards Summary 经典的直觉认为，验证一个解法要比生成一个解法更容易。然而对于当下的编程 Agent 而言，这一直觉正在被颠覆：随着基础模型具备更强的推理能力，以及工程框架（harnesses）变得日益精密，生成复杂的候选解法已不再困难——可靠地验证它们反而成了更棘手的问题。我们所能构建的每一个验证器都只是人类意图的替代品（proxy），而非意图本身。这使得验证面临着双重困境：首先，意图在本质上是不明确的（underspecified），这使得忠实地检查意图是否得到满足变得天然困难；其次，在模型训练期间，优化过程会扩大替代品与意图之间的差距——表现为奖励破解（reward hacking）或信号饱和（signal saturation）。为了解决这一问题，我们从三个维度刻画了验证信号的质量——可扩展性（scalability）、忠实度（faithfulness）和鲁棒性（robustness），并提出同时实现这三者是当前的核心挑战。我们进一步研究了四种奖励构造：用于通用编程任务的测试验证器（test verifier）、用于前端任务的量规验证器（rubric verifier）、用于真实世界 Agent 任务的“用户即验证器”（user as verifier），以及用于长流程任务的自动化 Agent 验证器（automated agent verifier）。针对不同的任务类型和策略能力水平，我们就奖励设计的核心挑战以及如何更有效地利用奖励信号进行了深入的分析与实验。实验表明，有针对性的验证设计能够有效抑制奖励破解，提升任务完成质量，并在多个内部及公开基准测试中取得显著收益。这些实践共同指向了一个核心观察：随着策略能力的持续增长，没有任何固定的奖励函数能够保持有效；验证机制必须与生成器协同演化（co-evolve）。原文链接：https://arxiv.org/abs/2606.26300 前往小宇宙评论区与主播互动
2 ଦିନ ପୂର୍ବେ

【第691期】MCP服务器架构模式

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： MCP Server Architecture Patterns for LLM-Integrated Applications Summary 模型上下文协议（Model Context Protocol，简称 MCP）由 Anthropic 于 2024 年 11 月推出，它定义了一个标准化接口，用于将大型语言模型（LLM）连接到外部工具、数据源和服务。在发布后的几个月内，GitHub 上就涌现出了数百个由社区构建的 MCP 服务器，但目前尚无软件维护方面的文献对该生态系统在生产环境中的构建方式进行过描述。本篇行业经验论文对通过枚举包含 15 个独立开发的服务器（包括来自 ANSYR 语音 AI 平台的 5 个生产服务器，以及来自官方 MCP 注册表的 10 个公共服务器）组成的语料库所观察到的五种循环出现的 MCP 服务器架构模式进行了分类编目：资源网关（Resource Gateway）、工具编排器（Tool Orchestrator）、有状态会话服务器（Stateful Session Server）、代理聚合器（Proxy Aggregator）和特定领域适配器（Domain-Specific Adapter）。每种模式都采用了 Gamma 等人（设计模式“四人帮”）的结构化形式进行描述：上下文、问题、解决方案以及后果。我们还记录了四种反模式（anti-patterns），以及围绕身份验证、版本控制和可观测性的一系列横切关注点（cross-cutting concerns）。定量评估贡献了三项测量结果：跨两个独立 LLM 评估员在 54 个留出（held-out）服务器上针对该分类法算出的评分者间一致性（Cohen's kappa = 0.76），这也定位出了三种模式边界的歧义性；在环回（loopback）路径上实测并针对跨主机路径建模的端到端传输开销；以及一项工具数量研究，结果显示对于 Claude Haiku 4.5，当每个上下文包含 10 到 15 个工具时，工具选择准确率会降至 90% 以下，而对于 Sonnet 4，该临界值在 20 到 30 个工具之间。代码、语料库和提示词已作为复现包发布。原文链接：https://arxiv.org/abs/2606.30317 前往小宇宙评论区与主播互动
3 ଦିନ ପୂର୍ବେ

【第690期】红皇后哥德尔机：共进化代理与评估器

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： The Red Queen Gödel Machine: Co-Evolving Agents and Their Evaluators Summary 自我提升 Agent（Self-improving agents）在 Agent 编程基准测试中达到了 SOTA（当前最佳水平），并且最近已被扩展到通用领域。然而，它们的搜索方法通常假设一个静态的评估标准：一个固定的验证器、基准测试或标注数据集，并且在 Agent 提升的过程中始终有效。这忽视了演化的一个核心特征：物种会随着环境的改变而发生适应性变化。我们的目标是将相同的原则引入递归自我提升中，将评估纳入提升循环，并向不断演化的评估器、对抗性目标和可能超越静态基准的动态效用函数（dynamic utilities）开放搜索。我们提出了红皇后哥德尔机（Red Queen Gödel Machine, RQGM），这是一个在非静态效用函数下实现递归自我提升的演化框架。RQGM 通过受控的效用函数演化使这成为可能：搜索被划分为多个 epoch，每个 epoch 内部保持固定的评估标准，而在 epoch 的边界处可以更新效用函数；因此，随着目标跨 epoch 演化，每个 epoch 内部依然能够保持自我提升的保证。我们首先表明，即使在可验证的编程任务上，RQGM 通过引入互补的“Agent 即裁判”（agent-as-a-judge）代码审查信号，相较于先前的 SOTA 提高了测试通过率。该信号的成本更低，且 RQGM 消耗的 Token 减少了 1.35 倍至 1.72 倍。随后，我们转向科学论文撰写与评审，以及奥林匹克级别的定理证明与批改任务，在这些领域中，RQGM 相比先前的自我提升 Agent 均取得了性能提升：共同演化（co-evolved）的论文撰写者在多元化的“Agent 即裁判”评审团下取得了 1.78 倍至 1.86 倍更高的接受率，而共同演化的批改者在真实标准（ground-truth）上的准确率提升了 9%。在论文评审中，最强的基线评审员对 AI 生成论文的过高接受率可达人类论文的 1.91 倍。RQGM 通过引入对抗性目标纠正了这一现象，从而发现了对 AI 和人类作品保持同等严苛程度的评审员。原文链接：https://arxiv.org/abs/2606.26294 前往小宇宙评论区与主播互动
4 ଦିନ ପୂର୍ବେ

【第689期】[Ledger]去中心化交易所的演变：机遇、风险与监管策略

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： The Evolution of Decentralized Exchanges: Promise, Peril, and Policy Changes Summary 去中心化交易所（DEX）给监管和投资者保护带来了挑战；尽管如此，它们也为去中介化和透明度提供了诸多机遇。本文探讨了 DEX 的过去与现状，并指出监管机构应当认识到它们的风险与前景，采取兼顾灵活性与投资者保护的监管策略。原文链接：https://ledgerjournal.org/ojs/ledger/article/view/613 前往小宇宙评论区与主播互动
5 ଦିନ ପୂର୍ବେ

【第688期】Skill-MAS：多智能体系统的元技能进化框架

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： Skill-MAS: Evolving Meta-Skill for Automatic Multi-Agent Systems Summary 基于大语言模型（LLM）的自动多智能体系统（MAS）生成已成为解决复杂任务的重要前沿方向。然而，现有的方法在“模型能力”与“经验保留”之间面临着两难困境：推理阶段 MAS 利用了冻结的顶尖 LLM，但因无法从过去经验中学习而导致重复相同的搜索；相反，训练阶段 MAS 通过梯度更新内化经验，却受限于较小模型较低的能力上限，且难以扩展至大型顶尖 LLM。为弥合这一差距，我们提出了 Skill-MAS，这是一种全新的“第三条路径”——它将高层级编排能力概念化为一种可进化的元技能（Meta-Skill），从而将经验保留与参数更新解耦。Skill-MAS 通过闭环优化机制来提炼该架构知识：(1) 多轨迹采样（Multi-Trajectory Rollout）：在当前元技能下，针对每个任务采样行为分布；(2) 选择性反思（Selective Reflection）：自适应选择高优先级任务，并运用分层对比分析将系统性经验提炼为通用的策略级原则。在 4 个复杂基准测试和 4 个不同 LLM 上的广泛实验表明，Skill-MAS 不仅取得了显著的性能提升，还保持了极佳的性价比。进一步的分析表明，进化出的元技能具有极高的鲁棒性，并在未见过的任务及不同的 LLM 之间展现出强大的可迁移性。原文链接：https://arxiv.org/abs/2606.18837 前往小宇宙评论区与主播互动
6 ଦିନ ପୂର୍ବେ

【第687期】自我对弈强化学习：30分钟数据教AI像人开车

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： Human-like autonomy emerges from self-play and a pinch of human data Summary 自我对弈强化学习（Self-play reinforcement learning）近期成为一种无需任何人类数据即可训练驾驶策略的新方法。它利用低成本、大规模的仿真模拟来替代昂贵且大规模的人类驾驶演示。然而，该方法存在一个关键局限：通过纯自我对弈训练出的策略可能会学到有效但异类（alien）的驾驶习惯，与人类的习惯互不兼容。先前的研究尝试通过大量的奖励工程（reward engineering）和领域随机化（domain randomization）来缓解这种行为上的不对齐，但这些做法往往脆弱且耗费人力。与完全抛弃人类演示不同，我们的方法将人类演示作为一种正则化目标，叠在极简的安全目标达成的奖励之上。正如好汤中的调味香料，我们发现少许人类数据就能起到极大的作用：我们的方法仅使用了 30 分钟的人类演示，比同类模仿学习方法减少了 2500 倍的数据量。由此产生的策略能够与未参与训练的人类轨迹达成协调，且在单块消费级 GPU 上仅需 15 小时即可完成训练。原文链接：https://arxiv.org/abs/2606.19370 前往小宇宙评论区与主播互动
ଅଗଷ୍ଟ 16

【第686期】大语言模型智能体通信协议技术分类

Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。联系小助手微信：seventy3_podcast（加群/投稿论文）今天的这篇的主题是： A Technical Taxonomy of LLM Agent Communication Protocols Summary 随着大语言模型（LLM）的发展，以及多智能体系统（multi-agent systems）致力于突破单体智能体的局限，稳健的通信协议正在成为分布式智能体网络不可或缺的基础设施。然而，碎片化的协议格局带来了显著的互操作性挑战。本研究建立了一个技术分类法（taxonomy），用以分类和分析 LLM 智能体通信协议。遵循成熟的迭代方法，我们定义了该分类法的目标、元特征及终止条件，随后对 9 个活跃维护且具备明确应用案例的开源协议开展了 5 轮迭代（3 轮由经验到概念，2 轮由概念到经验）。该分类法包含 5 个维度：对手方（counterparty）、有效载荷（payload）、交互状态（interaction state）、发现机制（discovery mechanism）以及架构模式/模式灵活性（schema flexibility）。分类结果揭示了屡次出现的架构模式：所有抽样的智能体对智能体（agent-to-agent）协议均结合了混合有效载荷与会话状态持久化；大多数协议支持多种预定义模式（schema），其中两个协议支持运行时模式协商，这表明协议正在走向模式灵活性；去中心化的发现机制依然罕见。分析表明，短期内存在将智能体对智能体通信与智能体对上下文（工具和数据）通信进行统一的协议收敛压力。然而从长期来看，没有任何单一协议能够同时实现通用性、效率和便携性的最大化。该领域更有可能演进为一个联邦化、分层的协议栈。该框架为协议选择提供了指导，并突出了隐私保护和策略执行等尚存的研究空白。原文链接：https://arxiv.org/abs/2606.19135 前往小宇宙评论区与主播互动

ସମସ୍ତ ଦେଖନ୍ତୁ (698)

73播客，Sheldon最喜欢的数字，内容均为Google NotebookLM原生生成，每天由AI领读最新的前沿论文。欢迎投稿合作。

କ୍ରିଏଟର୍

任雨山
ସକ୍ରିୟ ବର୍ଷ

2024 - 2026
ଏପିସୋଡ୍

698
ରେଟିଂ

ସଫା କରନ୍ତୁ
କପିରାଇଟ୍

© 任雨山@小宇宙App
ୱେବ୍‌ସାଇଟ୍ ଦେଖନ୍ତୁ

Seventy3