多个 AI 智能体协同干活，马斯克旗下 SpaceXAI 推出 Grok Bot

该产品可让多个 AI 智能体协作完成各类任务，已在公司内部多团队试用，是马斯克追赶 AI 竞争对手的最新举措。#AI智能体# #Grok Bot#

OpenAI 推出预览版 ChatGPT for Linux 桌面端应用

OpenAI 宣布推出 Linux 版 ChatGPT 桌面应用（预览版），在受支持的 Linux 系统上可直接使用 ChatGPT、ChatGPT Work 和 Codex。

谷歌有史以来增长最快的产品：Gemini 应用月活跃用户达 10 亿

谷歌 CEO 桑达尔 · 皮查伊宣布，Gemini 应用月活跃用户达到 10 亿，是谷歌有史以来增长最快的产品，也是该公司第 14 款跨越十亿用户大关的产品。

消息称英伟达开发万亿参数开源 AI 模型 Nemotron 4，目标挑战全球顶级

英伟达是美国少数主动推出开源模型的大型科技企业之一。今年以来，AI 开发和运行成本持续攀升，而价格更低的中国模型在性能上逐步逼近 Anthropic、OpenAI 等美国领先 AI 实···

Manus 宣布脱离 Meta 恢复独立运营，部分用户需手动迁移账户数据

Manus 宣布恢复独立公司形式运营，部分用户数据将在 8 月 23 日至 24 日期间被清除。受影响用户需在 8 月 23 日 07:59 前备份数据，8 月 25 日起可恢复。官方将提供数据迁移···

让 AI 生成的非真人歌手无处遁形，Spotify 推出“AI 人格”标签

Spotify 将于 9 月起将陆续上线该功能，AI 创作者可主动标记，平台也会审核打标，默认不推荐 AI 作品，优先支持真实歌手。#Spotify AI 标签#

李飞飞：AI 进入校园的最大风险，是可能削弱孩子的学习能力

李飞飞认为，最糟糕的结果，是年轻一代的自主性，以及作为人的学习和生活动力被工具夺走。“无论是人还是机器，都不应该夺走它。”

李开复：中国开源大模型让美国人很担忧

零一万物 CEO 李开复表示，中国开源大模型正吸引越来越多美国公司使用。他举例称，月之暗面的 Kimi K3 模型性能接近美国最强 AI，但价格便宜 60%，这引发了美国业界对开源生···

未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破

在一次持续数天、由模型自主完成的测试中，Claude 把黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到了 67.2%。

蚂蚁百灵开源 Ling-3.0-tiny 模型，支持英伟达 DGX Spark、苹果 Mac mini 部署

该模型为轻量级混合推理 MoE 架构，主打低成本推理，适配英伟达 DGX Spark、Mac mini 等多个平台部署，官方已完成多个设备的速度与内存验证。#AI大模型#