日报精选日报精选

英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？

用三套 checkpoint 完成多轮证明搜索，用过程透明平息学术怒火，用 1.5TB 显存门槛锁定算力霸权。名为代码平权，实则算力集权。 作者丨 郑佳美 编辑丨岑 峰 9 月 9 日，NVIDIA 公布了 Nemotron 3 Ultra 在 2026 年 IMO 上使用的整套数学推理系统。 这套系统最终拿到 30/42 分，超过当届 29 分的金牌线。整

7名博士生仅用3个月从零训练7B大模型：代码+数据+训练日志全公开

几百个Agent参与研发，AI开始造AI

Cognition Releases SWE-2: A Cost-Effective Frontier Coding Model

📊 Article Meta AI Screening： 91 Source： Cognition(@cognition_labs) Author： Cognition Category： 人工智能 Language： 英文 Read Time： 1 min Word Count： 59 Tags： AI 与智能应用 , AI 编程 , 模型发布 , 强化学

Salesforce和Nvidia的新推理模型是人工智能实验室应该担心的一切

Salesforce Koa基于Nvidia的开放重量Nemotron模型构建，并接受过执行销售、营销和客户支持任务的培训。

全球AI视频榜单第一梯队再添中国力量：智象发布首款物理规律导向视频模型

智象未来（HiDream.ai）正式发布首个原生全模态视频生成模型 HiDream-O1-Video-1.0

在iOS 27中，我实际上再次使用Siri

苹果推迟已久的Siri彻底改革终于在iOS 27上推出，它改变了助手日常使用的感觉。

工作流可以自我进化了，英伟达开源 SoL-Pi，每小时省13.5刀！

Token 砍半，活没少干，每小时还省13.5刀！ 作者丨 高允毅 编辑丨岑 峰 最适合鞭打AI干活，还得是 AI 啊。 英伟达今早开源了一套提高工作效率的 Harness —— SoL-Pi ，它让AI亲自当监工，去Agent工作流中吹毛求疵，把每一处可能“摸鱼、浪费Token”的环节进行修复，自我迭代优化。 效率提升后，Token消耗最高减少了 64%，

人工智能领导者希望在多年鲁莽的速度之后踩刹车

安全是口号，但这可能会给该行业带来不可告人的好处。

OpenAI超3亿美元收购智能手机摄像头初创公司 - 凤凰网科技

腐败的计划，干净的痕迹：用计划注入逃避思想链监控

作者：Keertana Chidambaram、Andrew Ilyas、Vasilis Syrgkanis|思想链（CoT）监控是一种安全策略，其中大型语言模型“参与者”的推理由“监视器”（通常是另一种语言模型）检查是否存在不安全规划、欺骗或失调的迹象。我们发现，在行为者的背景中植入有害但听起来善意的推理可以引导其在逃避监视器的同时采取对抗行动，我们将这种

恒星斗兽场：数学和理论计算机科学长期研究的多主体平台

作者：林鸿浩、David P. Woodruff、Yuan Deng|语言模型可以产生看似合理的简短证明，但在长期研究问题上可能仍然不可靠，因为长期研究问题的进展取决于一系列不确定且相互依赖的决策。我们介绍恒星斗兽场，这是一种模型不可知的工具，用于在数学和理论计算机科学的研究中分配推理。罗马斗兽场在证明之前探索替代策略