距ICML 2026首尔开幕仅剩13天，今日当日新文稀少但信息量不小：ProtocolBench+ProtocolRouter破解Agent协议碎片化难题入选ICML 2026；中山大学HCP实验室以15篇论文刷新单机构纪录；Heima方法证明大模型仅靠少量推理Token也能深度思考。三大议题，一文速览。   今日热门议题 以下为本日关注度最高的三个核心议题，按热度排序，...

数学推理正在成为通往下一代科学智能体的重要入口。随着大语言模型、形式化证明与多模态推理的快速进展，AI系统已经在IMO级证明、自然语言数学推理与科学问题求解上展现出令人瞩目的能力。 在这样的背景下，本届Workshop 将于 2026 年 7 月 10 日在韩国首尔 Coex Convention & Exhibition Center 举办。我们以 “Toward Self-...

来源：公众号“机器之心” 原文链接：https://mp\.weixin\.qq\.com/s/VxWh3Cke25QwFpxkd\_5YAw?scene=1&click\_id=15 过去两年 Agent 研究更像一场工程竞赛 —— 谁的推理链更长、谁的工具箱更大、谁的 workflow 更复杂。但 Agent 的下半场不再是拼花活，而是把它变成一门科学 ：不仅问「它 work...

来源：公众号“深圳市双银科技有限公司” 原文链接：https://mp.weixin.qq.com/s/SDnSZkRzfoMjGnYvrF0rgg 在本届国际机器学习顶会 ICML 2026 上，北京大学联合合作团队推出全新统一自回归框架GenShield，彻底打破行业割裂现状：把 AI 生成图像真伪检测、瑕疵定位、伪影修复三大能力整合进一套系统，完成「识别问题→解释成因→自动修正」全...

   作者丨逻辑智能 *                                                                                                       * SE-Bridge-TTS 是一套面向低资源语言的语音合成方案，核心能力是：在真实语音数据稀缺的情况下，仍然生成稳定、自然、可克隆的多语...

ICML 2026 PRM-PBE方法示意图 尽管大语言模型在代码生成和程序推理任务中取得了显著进展，但其在Programming-by-Example（PBE）任务中的表现仍受到明显限制。PBE要求模型仅根据输入输出样例推断潜在程序逻辑，并合成能够满足所有样例的程序。现有LLM方法通常依赖输入到输出的直接映射，或借助Chain-of-Thought、执行反馈、监督微调等方式增强...

  原文作者：公众号“Today读什么” 原文链接：https://mp\.weixin\.qq\.com/s/BrsWJJAv22qHVa\_gfv2cpg 一张照片被压缩、噪声、暗光和模糊破坏后，多模态模型仍然可以写出一段逻辑完整的分析。但分析越流畅，不代表它看到的证据越充分：车头朝向已经模糊，模型仍能解释车辆为何“直行”；公交车轮廓已经重叠，它依然可以自信地数出三辆。 过去的方...

原文作者：公众号“香港中文大学深圳人工智能学院” 原文链接：https://mp.weixin.qq.com/s/5EiYIXjB9mPusjCEvdr7xA 近日，香港中文大学（深圳）人工智能学院荆炳义、尹峰教授和数据科学学院、人工智能学院双聘助理教授贺品嘉教授团队的6篇论文被机器学习领域顶级会议ICML 2026接收。 国际机器学习大会ICML（International Conf...

前言 腾讯犀牛鸟精英人才计划定位拔尖科研人才的产学联合培养。自2017年开展以来，项目每年开放新技术研发中的关键难题，选拔具备科研潜力的优秀学生，在校企双导师联合指导下开展前沿探索与应用创新。 依托真实产业场景，同学们在科研探索与技术实践中不断锻炼创新研究能力，并形成了一系列高水平研究成果。本文分享入选 ICML的三篇论文，分别围绕高效模型蒸馏、长上下文推理和稀疏视角视频生成等技术方...

原文作者：公众号“为机器立心” 原文链接:https://mp.weixin.qq.com/s/ZkUNbTfyXY5-zMRpiJxdQg 大语言模型已广泛落地代码生成场景，但模型训练数据包含海量开源漏洞代码，导致其天生会复刻漏洞（如SQL注入、缓冲区溢出、不安全函数调用等）。这类漏洞往往由单个Token/单行代码的局部错误引发，并非整段代码逻辑问题，对工程安全构成严重威胁。 目...