AI 前沿日报
DeepSeek 拟融资千亿挑战硅谷并筹备上市
本期日报显示 AI 产业正经历资本与技术的深层重构。DeepSeek 千亿融资与 OpenAI 多云战略表明，算力获取路径日益多元化，巨头间竞争转向生态整合。与此同时，Kimi K3 登顶代码榜、微软 MAI-DxO 超越人类医生，以及 Anthropic 实现大规模形式化验证，标志着 AI 从通用对话向垂直领域高精度、自主科学发现的关键跨越。然而，Railway 泄露与 LLMjacking 攻击警示我们，随着智能体深入基础设施，安全边界正变得模糊，亟需建立新的信任机制。
DeepSeek 正洽谈约 1000 亿元人民币融资，投前估值达 5000 亿元。此举旨在缩小与美国头部实验室的算力差距，并为潜在上市铺路。
本轮由宁德时代和腾讯领投，资金将用于建设数据中心及拓展具身智能。融资额从 500 亿上调至 1000 亿，反映投资人对其“低成本高性能”策略的信心增强。
产业生态与商业算力
精选 3 篇投融资脉络、算力基建演进与企业智能化转型。
OpenAI 与 Google 达成合作 GPT-6 上架云市场
OpenAI 宣布与 Google Cloud 达成合作，将在数周内把 GPT-6 Astra 和 Codex 引入其模型花园。这标志着 OpenAI 完成对 AWS、Azure 和 GCP 三大云平台的全覆盖。
客户可通过云市场购买并抵扣承诺支出，降低采购门槛。尽管合作深化，Microsoft 仍保持主要合作伙伴地位。该举措引发内部争议，担忧削弱 Gemini 研发资源。
NVIDIA Cosmos 扩展工具链 支持世界模型训练与部署
NVIDIA 扩展 Cosmos 平台，新增物理 AI 世界模型的训练工具、仿真检查点及数据工厂蓝图。更新旨在帮助开发者高效处理多模态数据并优化部署流程。
Cosmos Data Factory 升级支持规模化标注与清洗，提供从数据处理到 NIM 微服务部署的完整工作流，加速具身智能系统研发。
Qwen 团队发布 FlashQLA 优化线性注意力 GPU 算子
阿里巴巴 Qwen 团队推出 FlashQLA，专为 GDN 线性注意力设计的高性能 GPU 算子库。通过硬件友好代数改写与序列并行优化，解决长序列访存冗余问题。
该工具在 Hopper/Blackwell 架构上实现前向与反向加速 2-3 倍。利用滑动窗口性质复用显著降低显存带宽压力，提供开箱即用的官方后端支持。
前沿模型与基础架构突破
精选 4 篇追踪主流实验室最新基础模型、新架构与推理能力跃迁。
MiniMax M3.1 Flash 开源，428B 参数仅激活 23B
MiniMax 开源 M3.1 Flash 模型权重，总参数 428B 但单次推理仅激活 23B。这一稀疏架构在保持知识容量的同时大幅降低计算负载与显存占用。
核心优势包括全模型稀疏注意力、QAT 量化及功耗感知调度。vLLM 披露已实现 Day-0 支持，覆盖 NVIDIA Blackwell/Rubin 及 AMD MI350，解码速度提升最高 1.7 倍。
Kimi K3 登顶前端代码榜 权重将于七月发布
月之暗面 Kimi K3 在 Arena.ai 前端代码竞技场以 1679 分超越 Claude Fable 5 位居榜首，较前代提升 17 位。其在七个细分领域中的六个排名第一。
官方确认完整模型权重将于 7 月 27 日发布。这一成绩展示了 Kimi K3 在前端代码生成任务上的显著进步与竞争力。
DeepMind 论文：AI 智能体自主发现新数学定理
Google DeepMind 与剑桥大学联合发表研究，展示基于 Gemini 的 AI 智能体能自主发现新数学规则。该智能体成功证明并验证了 11 个此前未解的 Busy Beaver 图灵机规则。
通过模拟器测试边界情况、起草非正式证明并利用 Lean 检查器严格验证，实现了从“回答已知问题”到“自主发现未知规则”的范式转变。
本报简讯
- ▪Anthropic 用 Claude 实现大规模代码形式化验证— Hacker News AI
智能体生态与自主代理
精选 4 篇多智能体协同、自主工作流与真实复杂任务落地。
Anthropic 将 Agent Skills 标准捐赠给 Linux 基金会
Anthropic 将其 Agent Skills 开放标准捐赠给 Linux 基金会旗下的 Agentic AI Foundation。此举推动智能体技能规范从单一公司项目转向社区共治与厂商中立管理。
该标准已被 ChatGPT、GitHub Copilot 等 70+ 主流平台集成，拥有超 100 万个已发布技能，累计安装量接近 2.8 亿次，证明了其在开发者群体中的高渗透率。
Symantec 披露自主 AI 攻击代理 LLMjacking 劫持模型发起网络攻击
Symantec 发现名为“LLMjacking”的自主 AI 攻击代理，能自动劫持互联网上未受保护的大语言模型。该智能体在无人干预下执行长达 10 万步操作，扫描漏洞并植入挖矿程序。
未加固的大模型端点成为新攻击载体，导致原所有者承担巨额成本。Symantec 捕获完整攻击提示词架构，证实开源权重模型在此类攻击中的潜在可用性。
微软发布 MAI-DxO 系统，AI 诊断准确率超医生四倍
微软推出多智能体医疗诊断编排系统 MAI-DxO，并在《Science》发表成果。该系统在 NEJM 复杂病例基准测试中取得 83% 准确率，远超普通全科医生对照组的 36%。
MAI-DxO 模拟专家会诊流程，协调多个 AI Agent 执行问诊、检查建议及诊断辩论。底层基础模型（如 GPT-5/5.5）性能提升是主要驱动力，编排架构进一步放大增益。
本报简讯
- ▪Devin Fusion 双模型架构基准测试得分超 Claude Code— Artificial Analysis (@ArtificialAnlys)
开发者工具与实战应用
精选 4 篇提升工程效率的最新工具链、SDK 与落地实践。
1Password 推代理认证 AI 可免密登录账户
1Password 推出“1Password for Agents”平台，允许 AI 代理在用户授权下代为执行登录任务。核心创新在于凭证隔离，智能体全程无法接触明文密码。
机制采用“数字密钥 + 用户实时审批”双重验证，确保密码保留在本地保险库。目前深度集成 Anthropic、OpenAI 等主流框架，遵循最小权限原则防止过度访问。
Railway 密钥库遭入侵致服务暂停，AI API 凭证泄露引发行业安全警示
云托管平台 Railway 密钥存储系统遭入侵，部分客户环境变量含 OpenAI、Anthropic 等 API 密钥可能被解密为明文。官方已全面暂停部署服务并要求轮换密钥。
攻击动机指向“数据蒸馏”与算力盗用。这是近期针对 AI 开发者平台的第二起重大安全事件，凸显基础设施层脆弱性，迫使开发者重新审视密钥管理策略。
微软发布 Flint-interactive 简化 AI 数据可视化交互开发
微软研究院推出 Flint-interactive，一种专为 AI 智能体设计的高级语言，通过语义事件和更新操作符简化交互式数据可视化构建。
该工具利用编译器自动处理布局与渲染逻辑，显著降低开发复杂度并提升可靠性。支持跨视图联动及复杂数据故事叙述，实现图表、文本与应用状态的双向实时更新。
本报简讯
- ▪AWS SageMaker AI 推出无服务器模型定制训练会话— AWS Machine Learning Blog