AI 编程实时动态与要闻

Ricursive Intelligence 于 11 月 4 日（UTC 18:24）发布首个模型 Ripple-65B Preview，并在 Hugging Face 以 Apache 2.0 开源指令版（BF16、NVFP4）和基座版。官方模型卡显示：65B 稠密 Transformer、12T token 预训练、最长 1M 上下文，自报 TerminalBench 2.1 80.5、SWE-bench Pro v2.0 Hard 79.1、DeepSWE 1.1 44.3，在编码 Agent 任务上超过参数大得多的美国开源模型；可在 DGX Spark 等本地硬件运行。CEO Anna Goldie 称成本约为此前同类 SOTA 的十分之一。

查看大图

Cognition 于 11 月 4 日（UTC 19:55）发布 SWE-2 Flash。官方博客称它以 Thinking Machines 的 Inkling-Small（276B 总参、12B 激活）为底座，首次在强化学习前加入大规模中训练，把 FrontierCode 2.0 从 3.2% 提到 24.0%、Terminal-Bench 4.0 从 0.9% 提到 20.0%，自称超过所有美国开源权重模型。生成速度约 200 tok/s，价格为 SWE-2 的五分之一、速度为其 3 倍；本月底前对 Devin Desktop 和 CLI 的 Pro、Max、Teams 用户免费。权重暂不公开，将通过安全共享计划提供给合作方和研究者。

查看大图

webAI CEO David Stout 于 11 月 4 日（UTC 17:37）在 X 上宣布开源 TwIL-8B。官方 Hugging Face 模型卡显示：它基于 IBM Granite 4.2 8B，经全参数 SFT、GRPO/DAPO 强化学习和长度感知 RL 训练，分 balanced 与 verbose 两个版本；自报 LiveCodeBench 81.6（verbose）、MATH-500 98.2、IFBench 74.4，约为前沿模型 93%/92% 的水平，但 GPQA Diamond 仅 70.2。提供 4.98 GiB 的 Q4_K_M GGUF，可在本地运行；许可为 webAI 非商用协议。

查看大图

Conductor 的 Charlie Holtz 于 11 月 4 日（UTC 18:18）在 X 上宣布 Conductor 加入 Meta，将与 Nat Friedman、Alexandr Wang 在 Meta Superintelligence Labs（MSL）打造“下一代界面”。官方公告给出时间表：11 月 4 日起停止新用户注册、Pro 功能对现有用户免费；11 月 13 日 Cloud 只读并给活跃订阅者退款；11 月 20 日 Cloud 关停并开始删除云端数据；本地版持续更新新模型和关键修复到 2027 年初。交易金额未披露。

查看大图

Axiom 于 11 月 4 日（X 官方账号 UTC 17:13 发帖，帖子浏览超 200 万）发布整部 Stacks Project 的 Lean 形式化。这部约 7500 页的代数几何开源参考书由 Johan de Jong 于 2005 年发起，形式化后约 1600 万行代码，官方称是迄今最大的一体化、可复用形式化数学库。工作由分层协调的 AI 智能体集群完成，过程中发现了原文数十处需要局部修正的命题，并给出反例。成果开源，可在 stacks.axiommath.ai 对照原文浏览。

查看大图

Hugging Face、BitRobot、新加坡具身智能中心和 NUS 等 11 月 4 日推出 RoboColosseum，一个分布式真机评测框架，覆盖 SO-101、Franka、双臂 YAM 和 Unitree G1 四种机器人。首轮在 124 个站点做了 5,699 次盲测对比，测了 5 个 VLA 策略和 3 个前沿大模型：Claude Opus 5.5 和 GPT-6 Astra 的平均任务进度分别比 VLA 高 12.1 和 11.0 个百分点，Grok 4.7 落后 7.5 个点。所有 rollout 数据公开在 Hugging Face，并向学术界提供 10,000 小时免费评测。

查看大图

快手旗下 Kling AI 11 月 4 日宣布 Kling 4.0 Flash 对所有用户开放，网页端和 API 都能用，也可以通过 MCP、CLI 和 AI 插件调用，并接入 Photoshop、Premiere Pro、After Effects。官方 API 更新日志显示，Flash API 生成 3 到 20 秒、720P 视频，支持文生视频、图生视频和 Omni 参考生视频，单任务最多 15 个输入，按总时长计费。

查看大图

Kimi 官方账号 @Kimi_Moonshot 于 11 月 4 日 16:00（UTC）宣布开放 Kimi K3.1 Pro 模型权重，仓库 moonshotai/Kimi-K3.1-Pro 已公开、无需申请。模型卡显示它是 2.8T 总参、104B 激活的原生多模态 MoE，1M 上下文，权重以 MXFP4（量化感知训练）发布，仓库约 1.56TB；官方推荐 vLLM、SGLang 和 TokenSpeed 部署。许可证允许自由使用和修改，但年收入超 2000 万美元的 MaaS 业务需另签协议。

查看大图

商汤 11 月 2 日晚发布多模态智能体模型日日新 SenseNova 6.8 Flash 正式版，重点升级两块：一是长期记忆和主动交互，能跨任务、跨会话记住用户目标与约束，在信息变化时主动提醒；二是设计生成，覆盖 Web、SVG、Three.js、Blender、动态 PPT 和动态海报，并可接入 Figma。模型已上线 SenseNova Studio、商汤小浣熊和 SenseNova Token Plan；官方 X 账号称 Token Plan 可免费试用，每 5 小时 1500 次 API 请求。官方称其在智能体协作、数据分析和演示生成上超过部分国际前沿模型，但未在公告中列出具体分数。

查看大图

谷歌教育副总裁兼总经理 Chris Phillips 11 月 3 日在 Google 官方博客宣布，Gemini、Gemini Notebook、Gemini in Classroom 和 Google 搜索将对 K-12 学生账号完全关闭，直到学校管理员明确开启；同时 Guided Learning 即日起在 Google Classroom 全球可用，并将在搜索中为学生账号提供分步引导，本月先在部分美国学校试点。因为搜索已内置 AI Mode 和 AI 概览，完全禁用 AI 的学校学生也将用不了搜索，引发外界强烈反弹；谷歌随后在 X 上澄清可单独开启搜索。据 EdWeek 和 AP 报道，变更将于明年初落地，官方未公布具体日期。

查看大图

机器人公司 LiberAI 在官方 X 账号和技术博客发布 Liber-0，一个同时预测未来画面和动作的世界动作模型（World Action Model），用超过 220 万小时人类经验预训练，并用自研 LiberSense 手套采集的精确手部动作数据做“动作锚点”。在 GPT-6 随机提出的 60 项任务、600 次试验中，Liber-0 在没有针对这些任务采集机器人示范的情况下总成功率 36.0%，其中复杂多步任务仅 10.5%。官方未公布开源权重或 API。

查看大图