面壁智能 ForgeKernel 直播写算子反超 DeepSeek FlashMLA 9.8% 并开源
面壁智能的算子生成系统 ForgeKernel 在英伟达 B200 上从零生成 FlashMLA Prefill 算子,经 42 轮迭代、22.5 小时直播后最终耗时 472 微秒,比 DeepSeek-V4.1 的 FlashMLA 的 518 微秒快 9.8%,全程未参考其原始实现。
面壁智能的算子生成系统 ForgeKernel 在英伟达 B200 上从零生成 FlashMLA Prefill 算子,经 42 轮迭代、22.5 小时直播后最终耗时 472 微秒,比 DeepSeek-V4.1 的 FlashMLA 的 518 微秒快 9.8%,全程未参考其原始实现。
中国 AI 实验室正转向蒸馏 OpenAI 的 GPT-6 Astra,而非 Anthropic 的 Claude。据 The Information,DeepSeek 和 Moonshot AI 大量使用 Astra 的输出训练新模型,涉及 Kimi K3.1 Pro 和 V4.1-Flash 1017。Anthropic 称新防御方法将攻击者可获取的数据量削减了 90% 至 99%。
新 AI 模型发布后让模型现场做游戏,正取代跑分成为主流演示方式。Claude Opus 5.5 发布时 Anthropic 展示了同提示词下的游戏生成对比,GPT-6 Astra 与 Kimi K3.1 Pro 也把游戏开发作为重点演示。这类浏览器游戏同时检验代码生成、空间理解、状态管理与交互反馈,但 GameCraft-Bench 显示最强 Agent 整体完成度仅 41.46%。
Anthropic 10 月 26 日公开提交 S-1 注册文件,计划以「ANT」为代码在纳斯达克上市,发行股数与价格区间尚未确定。招股书显示今年上半年营收 162.86 亿美元,去年同期为 11.63 亿美元,GAAP 净亏损 807.48 亿美元,其中 723.88 亿美元来自可转债等公允价值变动。创始人实体持有的 F 类股份将拥有一般股东表决事项 50.1% 的投票权。
Import AI 第 478 期介绍了 AI 安全初创公司 Resolution 用智能体自动形式化奇点消解相关数学证明,耗时约一周、花费约 13.5 万美元 token、产出约 60 万行 Lean 代码。
月之暗面于 10 月 24 日上线 Kimi K3.1 Pro,这是 K3 的后训练版本,底座仍为 2.8 万亿总参数、1040 亿激活参数的 MoE 架构,上下文窗口 100 万 token,同步推出速度快 2 到 3 倍的 Highspeed 版本,完整权重承诺 11 月 4 日前放出。
同一新闻,精选展示《月之暗面发布 Kimi K3.1 Pro,智能指数距 Claude Opus 5.5 仅差 3 分》
Liu 和 Han 的研究把 Qwen3.6、Qwen3.8、Deepseek-V4-Flash、GLM-5.3-Flash、HY4-Preview 等模型分别放进 Claude Code、OpenCode、mini-SWE-agent 三种框架,在 SWE-bench Verified 的 447 个任务上运行,发现最重和最轻的框架通过率相差不到两点,落在统计等价区间内。
月之暗面正式发布 Kimi K3.1 Pro,支持 100 万 token 上下文,并同步推出输出速度为标准版 2 至 3 倍的 Highspeed 高速版,完整模型权重计划于 11 月 4 日前发布。
极客早知道汇总多条动态:苹果首款折叠屏 iPhone Duo 于 10 月 23 日进入交付阶段,因预购需求强劲且供应受限,部分订单预计送达时间已排到 2027 年 1 月 25 日左右。
DeepSeek 据悉在最新一轮融资中筹得约 1000 亿元人民币(约 150 亿美元),腾讯和宁德时代为出资最多的投资方,交易预计数日内正式完成。本轮募资目标最初为 500 亿元,后经多轮上调,资金将用于模型训练、算力建设和人才招募。特斯拉三季度营收 280.46 亿美元基本持平,GAAP 净利润 7.87 亿美元同比下降 43%,交付量降至 48.65 万辆。
博联智能董事长兼 CEO 刘宗孺在访谈中称,其寰思中枢由多个参数量不到 10B 的小专家模型组成,系统一不生成只判断执行,命中率已达 95% 以上,单台设备每年 AI 成本可压到 1 元级别。通用大模型退到后台,每晚用 DeepSeek 最新模型复盘交互数据并蒸馏给小模型重训。他认为家电硬件基本不动,只对 Wi-Fi 加蓝牙模组做一次 OTA 升级,用户扫码即可通过微信小程序与设备对话。
据彭博报道,DeepSeek 在美国要求联邦民事机构移除其 AI 技术两天后,融资约 150 亿美元(约 1000 亿元人民币),潜在投资方包括宁德时代和腾讯。
苹果官网显示,原定 10 月 23 日发售的 iPhone Duo 每位顾客限购 2 台,国行起售价 15999 元,部分线上订单配送已推迟至明年 1 月下旬。
美国国土安全部要求民用联邦机构从 IT 系统中移除 DeepSeek 产品,并禁止采购基于其开源模型构建的软件,中国外交部与商务部对此提出抗议并要求撤销。但中国自 2023 年起由网信办审查 AI 服务,ChatGPT、Claude 和 Gemini 均未获批准,且该规则覆盖整个市场而非仅政府机构。文章认为中方抗议缺乏实质依据,但释放了支持本国企业并为后续反制铺路的政治信号。
作者用 21499 元的 iPhone Duo 连接家中 86749 元的 Mac Studio,让后者通过 LM Studio 加载 DeepSeek V4 Flash、Qwen3.8 27B 等本地模型,并由 DeepSeek Harness 规划任务、调用工具。
DeepSeek 开源了支撑 V4.1 Flash 的生产推理框架 DeepInfer,并披露单集群日处理 155T tokens、96% 输入缓存命中、非高峰时段每加速器小时 38 美元收入等数据。
推荐理由:读者可看到 DeepInfer 公开了哪些生产推理组件、哪些仍留在内部,以及 vLLM 复现结果如何限定其效率优势。
美国国土安全部 10 月 19 日向联邦民事机构下达指令,禁止采购 DeepSeek 及其关联企业产品和服务,并要求从信息系统中移除,限制范围涵盖基于 DeepSeek 技术构建的第三方软硬件。
马斯克在 SpaceX 三季度业绩会上确认,SpaceX 与特斯拉已分别成立特别委员会讨论合并,他因利益冲突不参与讨论,交易仍需股东批准。SpaceX 三季度营收同比增长 161% 至 145.8 亿美元,净利润 44 亿美元,其中 AI 业务营收增至 75.6 亿美元、接近上年同期 10 倍,成为最大收入来源。
记忆张量开源发布MemT 1.0系列记忆原生模型,包括36B参数、激活3B的MemT-1.0-Nano(基于Qwen3.6-35B-A3B)和288B参数、激活17B的MemT-1.0-Flash(基于DeepSeek-V4-Flash),在选定Transformer模块中增加与注意力并行的记忆计算通路。
MiniMax 正式发布 M3.1 Flash,即此前在 OpenRouter 匿名屠榜的 Space Bunny(玉兔),Agents' Last Exam 得分 29.6%,位列国产模型第一,AA 榜单 43 分。
推荐理由:文章列出 M3.1 Flash 在 Agent、编码、网络安全等基准上的具体分数与定价,可据此比较国产 Flash 模型的能力与成本位置。
DeepSeek 以 Apache License 2.0 开源内部推理框架 DeepInfer,该框架是支撑 V4.1-Flash 模型大规模快速生成回答的服务软件。
美国国土安全部要求联邦文职机构停止采购 DeepSeek 开发的服务和产品,并将其从政府 IT 系统中移除,理由是国家安全与用户数据处理风险。该命令不仅针对 DeepSeek 自身产品,也覆盖使用 DeepSeek 技术构建的第三方产品和服务,机构可申请例外。中国外交部发言人毛宁回应称反对过度延伸国家安全概念、将科技和贸易问题政治化。
美国国土安全部禁止联邦民事机构使用 DeepSeek 的 AI 技术,现有产品须从 IT 系统中移除且不得新购,禁令还覆盖关联公司产品及基于 DeepSeek 构建的第三方服务。该命令未设截止期限,也未说明具体安全关切,目前尚不清楚 OpenRouter 等 AI 网关是否在限制范围内。命令依据 2018 年一项针对联邦采购供应链安全的法律作出。
Latent Space 的 AINews 汇总了 10 月 16 日至 19 日的 AI 动态,DeepSeek V4.1 Flash 1017 以 552B 总参数、16B 激活的 MoE 架构和 1M token 上下文窗口发布,MIT 许可,定价维持每百万输入/输出 token 0.30/1.20 美元。
DeepSeek-V4.1-Flash-1017 以 1670 分超过 Kimi K3(Max),成为 Code Arena WebDev 榜单排名最高的开源模型,仅落后 GPT-6 Sol(Max)12 分。该模型于 10 月 17 日推出,高峰时段每百万 Token 输入 2 元、输出 8 元,综合成本约为 Kimi K3 的 1/10。
芯片初创公司 Tenstorrent 以 62 亿美元估值完成 15 亿美元融资,由 Trace Capital 和 Innovation X 领投,Cadence Ventures、Eclipse、Fidelity、SanDisk、T. Rowe Price 参投。
MiniMax 发布推理模型 M3.1 Flash,在 Artificial Analysis Intelligence Index 上得分 42,比前代 M3 高 13 分,每任务成本不到其一半。
爱范儿实测 DeepSeek V4.1 Flash,用纯提示词在 35 分钟内生成特斯拉飞行 3D 网页,消耗 3752 万输入 Token、33 万输出 Token,缓存命中率 99.6%,按官方价格约 4 元,而同等效果在 GPT-6.1 Sol 和 Claude 上至少需 100 元。
OpenAI API 模型列表镜像中短暂出现 aurora-red-alpha、aurora-green-alpha、aurora-blue-alpha 三个模型,随后条目消失,来源为第三方镜像而非官方公告。
苹果正开发代号 J595 的机械臂版高端智能家居屏幕,预计 2027 或 2028 年推出,搭载约 9 英寸屏幕、可 360 度旋转并自动转向说话者。蔚来第三季度在华终端销量 111638 辆,首次分别超过奔驰、宝马、奥迪三家厂商。英伟达高级副总裁 Jeff Fisher 否认 RTX 5090 停产,但承认供应链仍受限制。
DeepSeek V4.1 Flash 更新至 V4.1-Flash-1017,网页端、APP 与 API 已同步,基准测试提升的同时任务运行时间与输出长度缩短,并针对 DeepSeek Harness、腾讯 CodeBuddy、WorkBuddy 等平台框架做了优化。
DeepSeek 发布新模型 DeepSeek-V4.1-Flash-1017,网页端、APP 与 API 已同步切换,官方称其针对 DeepSeek Harness 做了专项优化,在提升代码与 Agent 任务表现的同时缩短任务运行时间、减少输出消耗和 token 费用。
推荐理由:新模型在基准测试中提升的同时压缩了任务运行时间和输出长度,读者可据此判断 Agent 任务的成本边界变化。
DeepSeek 网页与 API 服务出现近 5 小时故障,官方宣布按账号 10.8-10.14 的消耗金额以赠金形式全额返还给所有 API 用户。故障时段为 10 月 15 日 8:11 至 13:04,官方称已排查并剥离单点依赖。这是 DeepSeek 本月以来最大规模服务问题,「DeepSeek 崩了」一度登上微博热搜。
DeepSeek 发布 DeepSeek-V4.1-Flash-1017,已在官网、App 和 API 上线,并在 Hugging Face 与 ModelScope 开源模型权重。
推荐理由:读者可对比 DeepSeek 新 Flash 模型在智能体编码任务上的分数与单任务成本,并了解其搜索 API 的开放方式。
苹果首款折叠屏 iPhone Duo 于 10 月 16 日开启预购,国行起售价 15999 元,256GB 星光白版本发货已排至 2027 年 1 月 22 日。特斯拉展示第二代 Roadster,演示车借助吸力系统倒挂行驶并用冷气推进器腾空,计划 2028 年投产。华为 Pura X View 阔直板手机出货量超 71 万台,大、小阔折机型合计出货超 315 万台。
DeepSeek 开放自研搜索 API,网页端与 API 端的搜索能力均由自研 DeepSeek 搜索引擎提供底层支持,每天处理数亿次搜索请求。该引擎索引全球千亿级网页,支持多语言搜索,并针对 SEO 作弊、GEO 操纵和低质 AIGC 设有识别过滤机制。
DeepSeek V4.1 Flash 升级至 DeepSeek-V4.1-Flash-1017,官方网页端与 APP 同步更新,API 调用方式与价格不变,仍使用 deepseek-flash 访问最新模型。
推荐理由:官方给出新版本在多项基准上的分数与运行时间变化,可据此判断升级后的性能与成本取舍。
Goodfire 的 Nick Cammarata 发布文章提出“神经网络已经足够清晰”,称许多著名的多义性与叠加案例其实是误读,用进一步的智能体分析即可拆解。他提到 2023 年在 OpenAI 的自动可解释性工作只找到约 2% 可读神经元。Neel Nanda 表示这未改变他的核心判断,仍认为存在表征叠加,Leo Gao 则主张用神经元模拟的 KL 指标来评判解释。
豆包手机助手《屏幕自动化操作声明协议》(SAEP)结束 30 天公示期,拒绝名单最终确定为 155 款第三方应用,腾讯系 66 款、阿里系 23 款、美团 11 款、快手 14 款,Kimi、DeepSeek 等 AI 产品也在列。
Anthropic 2021 年提出大语言模型应“有用、诚实、无害”,如今拒绝回答已成为现代 AI 的固有机制,企业通过让模型互相训练来强化拒答。但拒绝机制是概率性的,并不可靠,部分最新模型在入侵关键网络、操纵舆论上的能力已堪比顶尖人类黑客和虚假信息高手。OpenAI 董事会成员 Zico Kolter 指出,该在何处划线是巨大难题,而目前这条线由 AI 公司秘密划定。