OpenAI 请外部专家审查其 AI 在数学、计算机科学和物理领域产出的证明
OpenAI 请外部专家担任"shepherd"审查其 AI 产出的三项重量级证明，包括推翻指数时间假说（ETH）、证明局部平滑猜想适用于所有维度，以及证明四维交互量子场论的数学存在性。
推荐理由：原文梳理了 OpenAI 三项数学级证明的验证安排和专家保留态度，读者可以借此了解 AI 研究成果的独立审查机制。
多来源采集 → 报道归并 → 价值筛选 → 精选与日报
信号汇聚示意动画，不代表实时处理进度。每条线代表一个信源，同类报道归并，部分内容经筛选后形成精选与日报。
#论文/研究先读重点，再回到原始来源。
The Decoder精选AI 评分7777
Hugging Face Blog精选AI 评分6161 微软与 Hugging Face 详解 ThinkingBox 如何将数据库判分转化为 RL 奖励并开源训练栈
微软与 Hugging Face 发布 ThinkingBox-Training 博客并开源代码，把对数据库终态的可执行检查用作 RL 奖励，在 ThinkingBox-Bench 之外的任务上训练 Qwen3.8-27B。
推荐理由：微软与 Hugging Face 联合复盘如何把数据库终态检查变成 RL 奖励，并公开完整训练栈，适合做有状态 Agent 后训练的参考。
Microsoft Research精选AI 评分8585 Microsoft Research 证明 31 年前提出的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想，表明对数凸分布的最佳平切与任意形状切口的差距以一个通用常数为界，与维度无关。
推荐理由：官方一手介绍证明思路与人类引导 AI 的搜索过程，读者可以了解这项工作如何结合数学判断与多智能体探索。
Google Research精选AI 评分7171 Google Research 发布 VERID 框架与闭环湿实验室研究，让 AI 智能体驱动生物实验
Google Research 发布 VERID 框架及三项研究，构建 AI 智能体自主运行湿实验室的基础。VERID 基于开源 PyLabRobot，提供实验室工作单元的语义数字孪生、实时 3D 状态追踪、虚拟试运行和硬件安全检查，所有协议先经模拟验证再交给液体处理机器人。
推荐理由：原文给出 VERID 数字孪生框架与两条闭环实验的量化结果，读者可以了解 AI 智能体接入真实湿实验室的具体路径与安全设计。
Google Research精选AI 评分7070 Google 三个月现场实验：AI 辅助提升专利起草表现，但初级律师的独立能力未同步成长
Google Research 发布 NBER 论文，报告对 11 家知识产权律所 133 名律师的三个月随机实验，将未发布的 Google Labs AI 专利撰写工具（现属 Gemini Notebook）分给三分之二的律师。
推荐理由：三项条件的长期实验设计区分了AI辅助表现与无辅助能力，结果对理解初级专业人士如何积累专业判断有参考价值。
Berkeley AI Research精选AI 评分6161 K-Search 通过 CUDA 到 MLX 翻译层将内核优化经验迁移到 Apple Silicon
研究者基于 UC Berkeley Sky Lab 的 K-Search 演化式内核搜索框架，新增 MLX 后端和结构化 CUDA 到 MLX 翻译层，让现有 CUDA 内核知识自动适配 Apple Silicon。
推荐理由：原文给出结构化 CUDA 到 MLX 翻译层的做法和可复现步骤，读者能了解跨硬件迁移内核优化经验的可行路径。
已经到底了