OpenAI 公布 AI 数学研究结果与 Lean 证明资料
OpenAI 公布内部前沿模型在数学开放问题上的一批研究结果，并在 GitHub 分享研究细节和部分证明的 Lean 形式化资料，供研究社区进一步检查与讨论。
推荐理由：Danbo 编辑部核对官方原文整理
精选
OpenAI News精选 OpenAI News精选 OpenAI 与 Ironclad 探索复杂合同工作流中的电脑操作能力
官方介绍双方如何在复杂合同工作流中训练和评估 AI Agent，研究面向专业工作的电脑操作能力。材料讨论的是训练与评估，不代表所有合同任务已经可以无人审核地执行。
推荐理由：Danbo 编辑部核对官方原文整理
Microsoft Research精选 微软研究院介绍 Quine：面向生物学的多模态世界模型研究
微软研究院将 Quine 描述为一项早期研究，探索连接不同生物尺度与模态的信息，帮助研究人员搜索并优先筛选实验假设。实验结果仍是研究迭代的重要反馈。
推荐理由：Danbo 编辑部核对官方原文整理
Berkeley AI Research精选 BAIR 介绍 K-Search：将 CUDA 内核优化经验迁移到 Apple Silicon
伯克利 AI 研究博客讨论将 CUDA 生态中的内核优化经验转化为适合 MLX 和 Apple Silicon 架构的策略。文章强调需要按目标架构调整，而不是直接逐条复制指令。
推荐理由：Danbo 编辑部核对官方原文整理
已经到底了