Microsoft Research 证明31年悬而未决的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 合作证明了1995年提出的 KLS 猜想，证明对数凹分布中平面切口的瓶颈与任意形状切口最多相差一个普适常数，与维度无关。
推荐理由：原文给出证明思路、独立验证与 Lean 形式化情况，读者可以了解人机协作如何促成一项数学难题的解决。
#推理
Microsoft Research精选AI 评分7979
Google ResearchAI 评分4444 Google Earth AI 的 PDFM 地理空间基础模型赋能全球公共卫生
Google Research 提出以地理空间基础模型助力公共卫生的新范式，用 Google Earth AI 的 Population Dynamics Foundation Model（PDFM）将搜索趋势、人流、建成环境与空气质量等隐私保护信号压缩为位置嵌入，即插即用地增强流行病学家现有的 ML 工作流，且无需任务特定微调。
Berkeley AI ResearchAI 评分3838 自适应并行推理：高效推理扩展的下一个范式——BAIR 综述解析
Berkeley AI Research 发文综述并行推理研究进展，聚焦自适应并行推理（Adaptive Parallel Reasoning），即让模型自行决定何时分解任务、生成多少并发线程及如何协调。