微软研究院等证明悬置31年的 KLS 猜想
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，即存在一个固定常数上界。
推荐理由：这篇论文证明了一个悬置31年的几何猜想，并交代了人类主导、AI 智能体并行探索的研究流程。
#推理
Microsoft Research精选AI 评分7676
Berkeley AI Research精选AI 评分6060 从 CUDA 到 MLX：K-Search 如何把多年内核经验带到 Apple Silicon
Berkeley Sky Lab 与 IBM Research 把 K-Search 进化式内核搜索框架扩展到 MLX，并加入结构化的 CUDA 到 MLX 翻译层，让已有 CUDA 内核作为知识库迁移到 Apple Silicon。
推荐理由：作者把 CUDA 优化知识整理成结构化上下文交给进化搜索，让 MLX 内核在 Apple Silicon 上接近专家水平，可看跨平台迁移的做法。
已经到底了