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

距离ICML 2026首尔开幕仅剩14天，中国力量提前亮牌：复旦大学AI³院11篇领跑，上海交大6篇、中科大5篇紧随其后，清华、北大、自动化所、中国移动九天等悉数入局。企业侧人才争夺战同步打响——小米、阿里、快手、聚宽集体发起ICML现场交流活动。本期精选三大方向，一文速览会前最热信号。   今日热门议题 以下为本日关注度最高的三个核心议题，按热度排序，均附摘要与原文链接...

来源：公众号“机器之心” 原文链接：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...

原文作者：公众号“深圳市大数据研究院” 原文链接：https://mp.weixin.qq.com/s/ex36drATo7qIy_MwFFp5hA 近日，深圳市大数据研究院四项科研成果同时发表于第43届国际机器学习大会（International Conference on Machine Learning, ICML）。 会议介绍 国际机器学习大会（International C...

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