Microsoft Research 与合作者证明 31 年历史的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明了 1995 年提出的 KLS 猜想，确立对数凹分布的最优平面切割与任意形状切割之差以普适常数为界、不随维度增长。证明源自人类引导的多智能体迭代剪枝过程，约百条研究路径中筛出关键判据，另有独立团队同日发布完整证明，并已有 Lean 4 形式化验证。
#数据/训练
AIHOT · AI 动态聚合AI 评分3434
Google DeepMindAI 评分4848 Google DeepMind 发布 ForTy 2020：10 米分辨率全球森林类型地图
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology（ForTy）2020，将全球每 10×10 米地块划分为六类森林与土地利用类型，并附 2017 至 2025 年逐年变化时间序列。
OpenAI NewsAI 评分2222 OpenAI、PerturbAI 与 Scripps Research 用数千个 AI 智能体挖掘生物数据新线索
OpenAI、PerturbAI 与 Scripps Research 用分布式 AI 智能体，从数百万个脑细胞数据中挖掘出有前景的研究线索。该合作展示了大规模智能体协同在生物数据分析中的用法。