微软研究院等证明 31 年悬而未决的 KLS 猜想
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明对数凹分布的最佳平面切割与任意形状最佳切割只差一个与维度无关的固定常数。
推荐理由：这项证明把困扰高维几何三十余年的猜想变为无条件结论，也展示了研究者如何筛选并引导 人工智能（AI，Artificial Intelligence） 的搜索方向。
#推理
Microsoft Research精选模型评分8181
Microsoft Research精选模型评分6565 微软研究院发布 Magnetar：基于标准哈希函数的零知识虚拟机
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快的同类零知识虚拟机快 10 到 39 倍。
推荐理由：微软研究院把零知识证明的速度、通用性和后量子安全放在同一套系统里，读者可据此判断可验证计算离日常工程还有多远。
Google DeepMind精选模型评分8383 Google DeepMind 发布 Gemini 4 Argon 模型
Google DeepMind 发布 Gemini 4 Argon，面向开发者、企业和科研人员开放，应用程序编程接口（API，Application Programming Interface） 定价为每百万输入 token 2 美元、每百万输出 token 10 美元。
推荐理由：官方披露了 Argon 在代码重构、科研与安全测试中的具体数字，可据此判断前沿模型在长周期任务上的实际边界。
Berkeley AI Research模型评分3838 Berkeley 人工智能（AI，Artificial Intelligence） Research 提出 ABBEL：用信念状态更新让 大语言模型（LLM，Large Language Model） 高效完成长程交互
Berkeley 人工智能（AI，Artificial Intelligence） Research 提出 ABBEL 框架，把 大语言模型（LLM，Large Language Model） 的交互摘要写成自然语言“信念状态”并对其内容单独监督评分，替代传统递归摘要。
Berkeley AI Research模型评分4949 GRASP：面向世界模型长时程规划的梯度规划器
加州大学伯克利分校 人工智能（AI，Artificial Intelligence） 研究团队提出 GRASP，一种面向学习型世界模型（预测未来状态的模型）的梯度规划器，通过把轨迹提升到虚拟状态实现跨时间并行优化、在状态迭代中加入随机性做探索，并重塑梯度让动作获得清晰信号。该方法针对长时程规划中梯度爆炸或消失、非贪心路径陷入局部最优等问题，使基于梯度的规划更稳健。
Berkeley AI Research模型评分5555 伯克利提出 SPEX 与 ProxySPEX，可在数千组件规模上识别大语言模型中的交互
伯克利 人工智能（AI，Artificial Intelligence） 研究团队提出 SPEX 与 ProxySPEX 两种算法，用于在大语言模型（LLM，Large Language Model）中识别驱动输出的关键交互，把交互发现规模从数十个组件扩展到数千个。