OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关
OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中数学与计算机科学结果已连同 Lean 证明发布到 GitHub。
推荐理由：OpenAI 公布三项 AI 辅助成果，并首次引入外部专家把关，读者可据此观察 AI 产出如何进入学术验证流程。
#论文/研究
The Verge · AI精选AI 评分8888
Google DeepMind精选AI 评分6060 Google DeepMind 发布 ForTy 2020 全球森林类型地图
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology（ForTy）2020，把全球每块 10×10 米土地划为六类森林与土地利用类型，并同步给出 2017 至 2025 年的逐年变化时间序列。
推荐理由：该地图把森林类型细分到10米分辨率并给出逐年变化，为判断天然林是否被替换为种植园提供了可核查的基线。
Berkeley AI Research精选AI 评分6060 从 CUDA 到 MLX：K-Search 如何把内核优化经验迁移到 Apple Silicon
IBM Research 基于 UC Berkeley Sky Lab 的 K-Search 演化式内核搜索框架，新增 MLX 后端和结构化 CUDA-to-MLX 翻译层，让已有 CUDA 内核作为知识库自动适配 Apple Silicon。
推荐理由：原文给出 CUDA 到 MLX 的翻译层设计与两组内核实测数据，可看跨平台内核知识迁移的具体做法。
已经到底了