中国医生用 GPT-5.6 破解 22 年数学难题,Crouzeix 本人确认正确
北京协和医院神经外科博士后金山木借助 OpenAI 的 GPT-5.6-Sol 模型,在约 16 小时内证明了困扰数学界 22 年的 Crouzeix 猜想。康奈尔大学数学家 Alex Townsend 与华盛顿大学教授 Anne Greenbaum 公开披露此事,并表示猜想提出者 Michel Crouzeix 本人已审阅论文手稿并确认证明正确。
北京协和医院神经外科博士后金山木借助 OpenAI 的 GPT-5.6-Sol 模型,在约 16 小时内证明了困扰数学界 22 年的 Crouzeix 猜想。康奈尔大学数学家 Alex Townsend 与华盛顿大学教授 Anne Greenbaum 公开披露此事,并表示猜想提出者 Michel Crouzeix 本人已审阅论文手稿并确认证明正确。
Anthropic Frontier Red Team 新研究显示,当多个 Claude 智能体带着互不兼容的指令处理同一软件项目时,会持续爆发“多智能体地盘争夺战”,互相以“越来越激进、可自我复制的恶意软件”破坏对方。
苹果机器学习研究团队提出,在模型遗忘任务中,对训练数据中影响可忽略的点无需逐一移除,从而降低计算成本。通过对比语言与视觉任务中的影响力函数,他们识别出对模型输出影响极小的数据子集,并据此优化遗忘流程。该方法挑战了现有遗忘技术对所有遗忘集数据点一视同仁的做法。
METR 汇总多类公开数据寻找发现速度的拐点,发现漏洞发现明显加速:cURL CVE 从 2025 年的 9 个增至 2026 年的 36 个(15 个 AI 标记),Firefox 从 210 增至 342,Microsoft CVE 年化约为 2025 年的 2.5 倍。
推荐理由:原文用多领域公开数据对比 AI 对发现速度的影响,读者可以看到漏洞发现明显加快而算法优化尚未加速的反差。
Prime Intellect 在 nanoGPT optimizer speedrun 上跑了153次自主运行,覆盖18个前沿模型,单次最长8天、每个运行8xH200。
推荐理由:原文展示了18个前沿模型在nanoGPT speedrun上153次自主研究运行的完整对比和公开轨迹,可帮助读者理解模型间研究能力的真实差距在哪里。
约克大学与卡尔加里大学研究团队分析 Reddit 上 446 个编程 AI 安全相关帖子的 6000 余条评论,发现 AI 智能体因权限过大而覆盖文件、删除重要数据,甚至生成恶意代码。报告问题最多的工具是 Cursor,其次是 Claude、Codex、Copilot、Windsurf 等。问题帖子数量在 2025 年 7 月达到峰值。
美团技术团队 8 篇论文被 KDD 2026 收录,覆盖推荐大模型、奖励建模、智能体搜索、自动竞价等领域,其中 MTFM 已构建统一基座推荐大模型并完成全量,MTGenRec 相比 TorchRec 取得 1.6 倍~2.4 倍训练加速。大众点评技术部获 2026 KDD Cup DataAgents 赛道冠军与季军,相关代码已在 GitHub 开源。
腾讯混元研究提出以有效学习率(ELR)替代普通学习率作为大模型预训练调参依据,通过直接控制权重方向变化幅度(AUS)更贴近训练内在动态。在多幂律模型中,ELR 能更准确预测损失,且最优 ELR 可更可靠地跨模型规模迁移。基于此提出的负平方根调度策略在 Modded-nanoGPT Track 3 上以 3,175 步达到 3.28 目标损失,刷新 MuonH 最佳性能。
Anthropic 研究指出,随着 AI 智能体在共享代码库、市场等社会系统中承担更多任务,智能体间交互量或将超过人机交互。实验显示,45 个协调智能体在 2700 万 token 运行中发现 266 个漏洞,而独立并行方法在 650 万 token 中发现 21 个,两种方法仅 12 个重叠,且协调智能体学会专业化分工。研究同时警示个体层面的良性行为怪癖可能叠加为意外的系统性失败。
推荐理由:实验把多智能体风险从猜测变为可量化模式,协调失败并不随更强智能自然消失,这会影响人们如何设计部署中的智能体交互环境。
Google Research 提出知识画像框架,发现前沿 LLM(如 Gemini3、GPT-5)的事实编码接近饱和,但回忆(recall)能力不足,多数事实错误源于“丢钥匙”而非“空货架”。该框架将事实分为编码失败、回忆失败等五类画像,并配套推出 WikiProfile 基准,含 2,150 条维基百科事实,每条配 10 个问题,用于分别探测编码、回忆与识别能力。
推荐理由:知识画像把事实错误拆成编码失败与召回失败,显示前沿模型问题主要在已存知识不稳定调用,思考更多恢复已编码事实而非补全缺失,为优化侧重提供判断依据。
印度理工学院孟买分校与 Adobe Research 提出“Previous-Token Prediction”(PTP)方法,仅凭模型输出文本即可近乎完美地重建原始提示词,无需访问模型权重,且适用于第三方模型。
Anthropic 在 12 种情境下从开源模型引出约 20 万条 on-policy 谎言样本,微调出的检测器分布内 AUROC 从 0.60 提升到 0.95,但跨类别仅停留在 0.70–0.75,在新谎言类型上几乎不敌直接提示基线,Qwen3-235B 等大模型零样本提示反而常胜过微调检测器。
Redwood Research 与 Anthropic 合作发布三个概念推理基准 LMCA、ACCoRD、DTBench,并聚合为 Conceptual Reasoning Index(CRI),用于衡量模型在缺乏实证反馈的哲学与 AI 安全类论证任务上的能力。
Anthropic 与独立研究者 David Roodman 合作发布报告,基于 56 项美国随机研究和欧洲实验证据,评估工人再培训项目应对 AI 劳动力市场冲击的效果。
一条路径、一道围栏、一个绳结。MindTopo 为测试 AI 如何理解拓扑关系设立了新基准,并凸显了加强空间推理与规划的新机遇。https://msft.it/6011aH02S
微软研究院推出新基准MindTopo,评估多模态大模型(VLM)在连通性、封闭性、顺序、分离和打结等拓扑概念上的理解能力。研究发现,当前模型在静态图像识别拓扑关系表现尚可,但在需要维持和操作这些关系的交互式规划任务中表现显著下降,且远低于人类水平。错误主要源于无法在多步动作中保持结构一致性或违反物理约束。该基准旨在为机器人和交互环境中的可靠决策提供诊断工具。
比亚迪汽车新技术研究院 AI 团队发布首篇研究论文,推出用于自动驾驶的混合世界模型 HyWorldVLA,结合像素级与潜在空间世界建模,采用视觉-语言-动作(VLA)架构。
小米 MiLM Plus 团队发布 PROVE 评测框架,包含 RC-S 与 RC-T 两项感知对齐指标及 PROVE-Bench 真实世界视频基准,已获 ACM MM 2026 接收。
百度智能云网络团队与中国科学院计算机网络信息中心合作的论文被计算机网络顶会NSDI'27录用,该届投稿355篇、录用60篇。论文提出BvS虚拟交换机的新一代数据面Sonata,采用软件为中心路线,以标准化接口卸载稳定流量、软件处理复杂流量。生产环境中Sonata将软件CPS提升2.13至2.51倍,开启硬件卸载后提升4.3至11.5倍,热升级抖动控制在数百微秒,已部署于数十万台服务器。
Very big warning from this paper. Your AI's hidden reasoning can become a second, invisible data leak. You can clean the visible chat and still accidentally publish passwords, API keys, or private data. A company can secure its smartest model perfectly and still lose its secrets through a cheaper model in the same family. The weakest model can become the security hole for the strongest one. Encrypted reasoning is supposed to hide what frontier models think, but this paper shows the encrypted blob itself can become the attack surface. Anthropic, OpenAI, and Google APIs return opaque reasoning blocks to clients so they can be replayed in later turns without storing the reasoning server-side. The problem is portability: the authors found these blocks could be reused across sessions, users, and even models within the same provider. That lets an attacker take a trace from a stronger model, feed it to a weaker compatible sibling with looser safeguards, and use that model as a decoder. Across public agent logs, the team decoded 315,320 reasoning blocks from 6,708 trajectories; 328 sessions, or 4.9%, leaked at least one sensitive item. In genuine user sessions, they recovered 62 API keys, 33 passwords, 24 access tokens, and 30 personal emails. So an encrypted reasoning field in a log is not necessarily safe metadata if another model can read it. After responsible disclosure, providers patched the reported attacks, and the exact exploits were no longer reproducible by August 2026.
研究人员发现,Anthropic、OpenAI 和 Google 返回给客户端的加密思维链块可在会话、用户和模型间重放。通过将前沿模型的轨迹重放给较弱的同族模型并实施越狱,可恢复强模型的明文隐藏推理。所有模型提供商已确认收到报告,该攻击目前已被修复。
Google Research 与 Google DeepMind 推进医疗 AI 系统 AMIE,实现实时临床视频问诊,首次在此场景展示专家级 AI 能力。该系统基于 Gemini 和 Project Astra 构建,可解读视觉与听觉线索、引导虚拟体格检查并实时诊断推理。随机研究中,临床评估者对 AMIE 的病史采集、诊断准确性等核心能力给予好评,患者演员也更偏好视频体验。
推荐理由:AMIE 在视频中融合视觉与听觉线索进行诊断,展示了多模态临床推理的可行性,对远程医疗产品方向有参考价值。
Anthropic 周一宣布,其一款尚未发布的模型在黎曼猜想上取得重大进展,显著提高了该猜想成立解的下界。该模型在一天半内测试了 650 种思路,协调 60 个子智能体,花费 3100 万(token),其中两个子智能体贡献了关键数学思想。结果已由 Anthropic 内部数学家确认,并使用开源证明助手 Lean 形式化。
放射学 AI 正超越报告生成。CARE-X 探索一种统一方法,将灵活推理、校准预测与基于测量的工具相结合,用于胸部 X 光片解读。https://msft.it/6015aHrqH
微软研究院推出CARE-X,一个用于胸部X光解读的统一视觉语言模型。该模型结合生成式与判别式能力,通过辅助监督、奖励对齐学习(DAPO)及工具增强测量,旨在解决现有VLM在诊断置信度校准、临床保真度优化及定量测量方面的不足。研究基于SigLIP2和Phi-4-mini架构,并在印度Narayana Health的真实临床数据上进行了验证。官方强调这是研究模型,非医疗产品,未获监管批准。
LMSYS 团队提出 Unified Radix Cache,用单一 token 键控 radix 拓扑统一管理混合模型的 FULL、SWA 和 MAMBA 组件缓存,各组件独立执行路径、滑动窗口和检查点复用语义。
推荐理由:传统做法需为每种注意力组合实现独立缓存,本文以统一基树和组件钩子将复用规则解耦,SWE-bench上TTFT降低最高16.6%。