Grok 4.7 正式发布：同价同速，Agent 编码跻身三甲
SpaceXAI 今日正式上线 Grok 4.7。在价格与速度完全不变的前提下，它对 4.6 完成了一次显著升级——编码、知识工作与长时任务全面跃升，第三方评测将其列为 Agent 编码全球第三，仅次于 Anthropic 与 OpenAI。
SpaceXAI 在今日凌晨正式上线 Grok 4.7。与上一代 4.6 相比，价格与速度完全一致，但能力曲线出现明显跳升：据其模型卡，Terminal-Bench 从 20.3% 跃升至 38.0%，长时办公、多文件工程任务均创下新高。埃隆·马斯克表示，在 Agent 编码领域，Grok 4.7 已把 SpaceXAI 带到全球第三的位置，仅落后于 Anthropic 与 OpenAI，而考虑到它在速度与成本上的显著优势，这套模型被视为日常编码与知识工作的实用之选。英伟达亦在第一时间发文致贺，称其为「有史以来最强的编码与知识工作模型」。
小米 MiMo-V2.6 开源：全模态双规格登顶开源榜
Pro 1.02T 总参 / 42B 激活，Flash 310B / 15B，MIT 协议。
小米正式开源 MiMo-V2.6 的 Pro 与 Flash 两款原生全模态模型。Pro 总参 1.02T、激活 42B，Flash 总参 310B、激活 15B，单一检查点同时支持文本、图像、视频与音频，具备 1M 上下文、原生 FP8 权重。上线即获 vLLM 与 SGLang 的 Day-0 推理支持，并在 Artificial Analysis 开源模型指数上登顶（46 分）。Tim Dettmers 评价称，Flash 版本手感出色，是 300B—550B 级别中最强的一档，自动压缩后可在超 300 万 token 的会话中保持稳定表现。
OpenAI 携手数学家顾问组，谨慎分享数学突破
破解纳维-斯托克斯千禧难题之后，如何负责任地发布新证明成为焦点。
OpenAI 宣布与一个独立的数学家顾问小组合作，以更负责任的方式分享 AI 在数学领域的最新进展。该小组将就如何评估与沟通新的数学成果、如何维护学术与专业标准提供建议。此前有消息称，一个 8 月 28 日才开始训练的内部模型已解决纳维-斯托克斯方程这一千禧年大奖难题，并在数学各领域攻克了逾 100 个长期未解的公开问题，一度在数学圈引发焦虑与存在性危机。业内观察者指出，这种「少一点颠覆式抛成果、多一点循序沟通」的做法，或将同样出现在法律、医疗等更多专业领域。
委托编码，但绝不要委托理解。如果代码曾是你管理认知的真相来源，那你就需要一个全新的真相来源。
— François Chollet
Jev：一种「只决策、不聊天」的新形态模型走红
输入文本、输出带置信度的分类与分数，而非自然语言。
TypeSafe AI 发布的 Jev 被称为「System One 模型」，Simon Willison 认为「决策模型」更贴切：它接受文本输入，直接输出浮点数形式的分类、是/否判断、评分与置信度，仅按输入计费（每百万 token 0.042 美元、输出免费），支持并行多题评估，适合分类、标签、排序与搜索重排。但它也是一只更强的黑箱——只返回数值、不提供解释，偏见风险值得警惕。社区已围绕它催生出聊天、2048 等大量演示，被视作继 GPT-Astra 与 Claude Fable 之后又一个现象级热点。
Qwen-Image-2.1：7B 原生图像生成与编辑
阿里通义 Qwen 发布 Qwen-Image-2.1，7B 参数原生支持文生图与图像编辑，单检查点即可同时完成生成与编辑，最多支持 10 张图像引用与透明 RGBA 输出。SGLang-Diffusion 与 Hugging Face Spaces 均已提供 Day-0 支持，无需部署即可在浏览器中直接试用。
一家公司倒闭了，却把 1274 小时机器人数据留给了社区
13,451 段人类执行日常任务的第一人称记录，CC-BY-4.0 协议公开。
大多数倒闭的公司会选择放弃它们的影响力，但机器人初创公司 eidon_ai 做出了更有价值的决定：把 1,274 小时的第一人称自我中心视频、7 路 IMU 手臂追踪数据，以 CC-BY-4.0 协议完整开源。这批数据包含 13,451 段人类执行日常任务的记录，作为礼物赠予整个机器人社区。Hugging Face 联合创始人 Clément Delangue 撰文致谢，称开源在此刻展现出了它真正的意义。
Grok 4.7 上线 v0，9 月 27 日前 40% 折扣
Vercel 的 v0 已接入 Grok 4.7，可在数分钟内生成并部署全栈 Web 应用，连接 GitHub 与常用工具，限时 40% 折扣。
Grok 4.7 登上 Vercel：快、聪明、便宜三选一？
rauchg 宣布 Grok 4.7 在 Vercel 上线并附 40% 折扣，称其快速、智能、便宜可兼得，可通过 Gateway 或 eve 试用。
Perplexity Computer 新增视频生成
Computer 现可调用 MiniMax H3 与 ByteDance Seedance 2.5 制作视频，在同一个线程里产出成片、文案与创意，Pro 与 Max 用户可用。
ZCode 以 Apache 2.0 开源
Z.ai 的编码 Agent 工作台 ZCode 开源，提供桌面应用、浏览器界面与终端 Agent，包含客户端、后端、Agent CLI 与运行时源码。
Tokenizers v1 首个候选版发布
Rust 版 tokenizers v1 首版候选发布，全语言支持、多线程扩展，tokenization 最高提速 30 倍。
Halo：开源模型后训练新框架
whitecircle 推出 Halo，宣称是开源模型后训练的最佳框架，吞吐量最高可达既有方案的 2.8 倍。
Runway 工作流扩展：合成、Alpha 与深度图
新版 Workflows 加入 Compositing、Alpha、HDR、Depth Map 与 RGB Depth，可在同一处搭建更多管线。
Recraft V4 Styles 开启视觉宇宙
一张图即可延展出不同的角色、物体与场景，全部由 Recraft V4 Styles 生成。
Higgsfield Genjutsu：全帧运动控制
在混合工作流中复现表演、机位与剪辑，构建实拍级视觉环境。
Adobe Firefly 免费上线图像转视频
将静态草图、图片与照片生成视频，并提供较精细的创作控制。
Luma：混合制作让水下拍摄更亲民
无需昂贵的水下布景与绿幕打光，混合制作让水下镜头触手可及。
Deel 推出企业智能体平台 Akai
演示或口述一次工作流即可自动搭建连接器，写操作默认需人工审批。