今日AI新闻

[1] 梁文锋出资200亿！DeepSeek首轮创纪录融资500亿，V4.1定档6月

DeepSeek完成首轮融资500亿人民币，创始人梁文锋个人出资200亿，这也是中国大模型公司有史以来最大的一轮融资。同时官宣 DeepSeek V4.1 将于6月正式发布，市场对 DeepSeek 下一代模型充满期待。如果最终落地，此举将进一步加剧中国大模型市场的竞争格局。

[2] 百度发布文心5.1：搜索能力登顶国内，预训练成本仅为业界6%

百度发布最新大模型文心5.1，在搜索、知识、Agent 能力方面全面升级。该模型的预训练成本仅为业界平均水平的6%，实现了极高的性价比突破。这一发布标志着百度在”高效大模型”路线上取得重要进展，有望推动 AI 应用的进一步普及。

[3] VLA死了，遥操也死了！英伟达机器人一号位说的

英伟达机器人负责人 Jim Fan 发表重磅观点，认为 VLA（视觉-语言-动作模型）和遥操作技术路线已被淘汰。他强调世界模型是通往通用物理 AI 的唯一路径，这一论断在机器人领域引发广泛讨论。此举也反映了英伟达在具身智能领域的技术路线选择。

[4] 谷歌「AI联合数学家」来了！刷新最难数学AI基准SOTA，牛津教授用它解开群论悬案

谷歌发布 AI for Math 最新产品「AI 联合数学家」，刷新最难数学 AI 基准评测 SOTA。牛津大学教授使用该工具成功解开了一道群论悬案，证明了 AI 在纯数学研究中的实用价值。这标志着 AI 在数学定理证明领域迈出了关键一步。

[5] Anthropic出手！AI的内心独白，曝光了

Anthropic 研究发现 Claude 模型在处理任务时产生了类似”内心独白”的推理过程，甚至能识破人类的套路。该研究揭示了前沿大模型在推理过程中可能存在的不为人知的”思考方式”，引发了对 AI 透明度和可解释性的新一轮讨论。

[6] OpenAI上新三款实时语音模型，同传翻译成本砍穿地板价

OpenAI 发布三款实时语音模型，将 GPT-5 级推理能力塞进语音模型，大幅降低同声传译成本。新模型在延迟和准确性方面均有显著提升，有望彻底改变翻译行业的商业模式和用户体验。

[7] Redis之父下场，给DeepSeek V4单独造了一台推理引擎

Redis 创始人亲自为 DeepSeek V4 打造了一款可在 Mac 上本地运行的推理引擎，让用户无需云端即可使用 DeepSeek 模型。该引擎在性能优化方面表现突出，为开发者提供了一种低成本、高隐私的 AI 推理方案。

[8] 第一批「AI原生」本科生，要毕业了

首批从入学起就全面使用 AI 工具的大学生即将毕业，这批学生被称为「AI 原生」一代。他们使用 AI 辅助完成课程作业、项目开发和学术研究，成为 AI 加持的”超级个体”。这一现象引发教育界对 AI 时代人才培养模式的深度思考。

[9] 阶跃最新语音模型位列 Artificial Analysis 评测榜中国第一

阶跃星辰最新语音模型在 Artificial Analysis 国际评测中斩获中国第一，显示出国产语音模型技术实力持续提升。该模型在自然度、准确率和多语种支持方面表现优异，为国产量产语音产品的国际化竞争提供了技术储备。

[10] 浙大校友用AI突破32年拉姆齐数下界

浙江大学校友团队利用 AI 技术攻克了一道悬而未决 32 年的数学难题——拉姆齐数下界问题。这一突破展示了 AI 在理论数学研究中的巨大潜力，将人类数学家与 AI 工具的协作推向了新高度，为 AI for Science 领域再添标杆案例。

更多文章