Grok 2.5 开源 马斯克 xAI 中美竞争

马斯克旗下xAI正式开源Grok 2.5，并预告Grok 3将在半年后开源。此举被视为对标OpenAI闭源策略，同时马斯克点名中国公司为xAI最大对手，暗示全球大模型竞争进入中美双轨开源新阶段。

OpenDataArena 数据评测 上海AI实验室 透明化 基准

上海AI实验室推出全球首个大模型数据竞技场OpenDataArena，通过公开可复现的数据评测对抗“炼丹玄学”。平台提供统一基准与实时排行榜，降低社区试错成本，有望推动行业从暴力堆参数转向精细数据工程。

DeepSeek QQ浏览器 国产大模型 场景落地 C端

QQ浏览器宣布接入DeepSeek-V3.1，标志着国产大模型开始大规模渗透C端超级App。浏览器场景对实时性与多模态能力要求高，此次落地验证DeepSeek模型工程化与商业化成熟度，为国产模型生态扩张提供示范。

开源TPU AI芯片 RISC-V 硬件民主化 EDA

社区团队仅用三个月、零基础即手工完成一块可训练可推理的TPU级芯片设计并全面开源。项目证明在RISC-V与开源EDA工具链支持下，AI加速器门槛正被快速拉低，有望催生更多低成本定制化AI硬件创新。

海狸数 不可计算性 诺贝尔物理 数学证明 AI边界

第六位海狸数刷新不可计算性上限，其值大到宇宙原子总数都无法表示；同期诺贝尔物理奖相关数学难题获中科大少年班成员证明。两项成果共同揭示AI与理论数学交叉前沿，提示大模型能力边界仍受基础数学约束。