对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds

文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。

ACL2025 | 传统符号语言传递知识太低效？探索LLM高效参数迁移可行性

中科院自动化所谭宇乔等研究跨规模大模型参数知识迁移（PKT）可行性。指出传统符号语言传递知识低效，LLM 模仿此范式也有局限。提出新 Pre - Align PKT 范式，实验分析 PKT 效果，揭示神经不兼容性致其失败。

图像分词器造反了！华为 Selftok：自回归内核完美统一扩散模型，触发像素自主推理

华为盘古多模态生成团队推出 Selftok 技术，通过反向扩散将自回归先验融入视觉 token。它突破传统，实现因果 token、强化学习友好型 token 及纯 AR 大一统架构，实验在多方面表现优异，论文还入选 CVPR 2025 最佳候选。

开源 AI 文档生成器！给代码库做个CT扫描，一键生成交互式Wiki文档！

介绍开源工具DeepWiki-Open，它由AsyncFuncAI开发，能将GitHub或GitLab仓库一键转为交互式Wiki，基于多种技术实现代码分析和自动化文档生成，解决开发者理解复杂代码库的痛点，还给出快速上手步骤和适用人群等。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

人形机器人设计正在向仿真器低头！40年机器人从业老兵发出警告

人形机器人行业现怪象，为让仿真系统和强化学习更顺，一些有机械优势的结构因‘仿真麻烦’被排除。40多年经验的Scott Walter质疑设计变得‘S.T.U.P.P.I.D.’，指出仿真应服务设计而非主宰。

雷峰网现场直击：ICRA 2026下周在维也纳开幕，中国力量站上C位

6月1日，IEEE国际机器人与自动化会议（ICRA 2026）将在维也纳开幕。今年投稿量4947篇破纪录，86个国家参与，1882篇论文被录用。热门方向有VLA模型、Sim - to - Real、3D感知，中国研究者从投稿大国迈向规则定义者。

LinkedIn高管AI时代生存指南：别卷了，AI时代拼的是做人

LinkedIn首席经济机遇官Aneesh Raman称，AI时代做个真正的人，别模仿机器。技能迭代加速，需围绕AI重构工作流。他和CEO提出5C理论，还指出职业自主，领导者应尝试新事，找回人的独特性。

科研的回归：AutoSOTA如何终结“增量式优化”的重复劳动

当前AI科研中，为提升性能指标，研究者投入大量精力做“增量式优化”，限制原创探索。AutoSOTA项目由清华与中关村学院联合发布，它基于智能体系统构建自动化方案，接管实验迭代，一周发现105个SOTA模型，推动科研回归原创。

专访中科第五纪黄岩：在具身智能的狂热中，做一位技术实干家

机器之心专访中科第五纪黄岩，他在具身智能狂热中是技术实干家。其有学术和工业界双重身份，技术覆盖多领域。团队解决行业数据利用瓶颈，推出超少样本大模型等成果，在商业落地表现出色。