## 🔍 核心洞察 **OpenAI** 公开了由一款**未发布前沿模型**产出的数百个数学难题成果，平均每个结果消耗约三小时 **ChatGPT Pro** 算力，引发学界对验证方式与披露透明度的讨论 [0][21][22]。与此同时，**Google** 在基础设施与模型层双线推进，一边发布仅 **7.4 亿参数**的多模态嵌入模型 **EmbeddingGemma 2**，一边联合 **MIT** 推出 **Coco** 智能体平台加速 **TPU** 软硬件协同设计 [17][14]。 ## 🚀 重点动态 - **OpenAI 公布未发布模型数学研究成果** [0]：公开 722 份手稿、372 个结果家族，多数证明已用 Lean 形式化验证。 - **Google 发布 EmbeddingGemma 2** [17]：7.4 亿参数多模态嵌入模型，量化后仅需 191MB 内存，Apache 2.0 许可。 - **Google 与 MIT 推出 Coco 平台** [14]：智能体辅助 TPU 架构师进行软硬件协同设计，目标将仿真洞察时间减半。 - **SpaceX 拟募资 400 亿美元采购英伟达芯片** [6]：由阿波罗牵头，含 100 亿美元贷款与 300 亿美元债券，预计 2027 年完成。 - **Anthropic 扩展 Cyber Verification Program** [7][16]：整合 Project Glasswing，分三档向经审核安全人员开放 Claude Mythos 5.1 等模型。 - **ChatGPT 推出 Meetings 插件** [15]：macOS 桌面端 Pro 与 Business 用户可自动记笔记并保存摘要至 Space。 - **LibreOffice 宣布不内置 AI** [8]：坚持文档不上传、运行不联网，用户可通过扩展接入本地模型。 - **美国司法部要求改称 AI 为“超级智能”** [3]：落实特朗普行政令，在官方沟通与法庭文书中以 SI 取代 AI。 ## 🔗 Sources [0] OpenAI 公布未发布前沿模型解决的数百个数学难题研究成果 — https://aihot.news/items/a13gkr4xafcr8yur8mfhtxkjy [3] 落实特朗普行政令，美国司法部要求员工改称 AI 为“超级智能” — https://aihot.news/items/gmkv5dekz22m9mji40zux016o [6] 消息称 SpaceX 计划募资 400 亿美元采购英伟达 AI 芯片 — https://aihot.news/items/xoabqybtd9qrfmikalao9gba8 [7] Anthropic 扩展 Cyber Verification Program，分三档向安全人员开放 Claude Mythos 5.1 — https://aihot.news/items/v5zy6eil1k0yxlcfyxni9pk8q [8] LibreOffice 宣布短期内默认版本不内置 AI，用户可通过扩展接入本地模型 — https://aihot.news/items/okr8eghbxupjpdshccnv18r1r [14] Google 与 MIT 推出 Coco 智能体平台，加速 TPU 软硬件协同设计 — https://aihot.news/items/yiqhvqfdgwj20vg4p9dqrtj1g [15] OpenAI 为 ChatGPT 推出 Meetings 插件，可自动记笔记并保存摘要 — https://aihot.news/items/ai3nhsxfufr39qbsdf0cner9o