姚期智与杨植麟联合提出 TCSExam，Kimi K3 将图论参考纪录从 629 条边推进到 630 条
姚期智与月之暗面创始人杨植麟等联合提出 TCSExam，用 100 项理论计算机科学研究任务评测前沿 AI Agent 的科研能力。Kimi K3 在 124 个点的图构造任务中构造出 630 条边、超过此前 629 条的参考纪录，并通过程序验证。该框架通过 Lean 4、程序检查器和 Checkpoint 机制分别核验定理证明、算法表现与中间推导，避免把局部进展误判为完整成果。
#DeepSeek
雷峰网AI 评分6060
InfoQ 中文精选AI 评分7070 DeepSeek Harness 日活达 154 万，官方筹备插件作者 Token 激励与插件市场
DeepSeek Harness 公布截至 11 月 4 日以官方 API 用户为统计范围的日活跃用户达 154 万，日消耗 Token 约 92 万亿，第三方插件约 3.5 万个，约 60% 活跃用户制作或安装过至少一款第三方插件。
推荐理由：材料把插件数量增长与上下文成本、升级丢配置两类反馈放在一起，可看出开放插件生态扩张时的治理难点。
DeepSeek 官方更新AI 评分5858 DeepSeek 开放自研搜索 API
DeepSeek 开放其自研 DeepSeek 搜索引擎的 API，该引擎支撑其网页与 API 搜索能力，每天处理全球数亿次搜索请求。该引擎索引数千亿网页，支持多语言实时检索，并通过检测机制过滤 SEO 垃圾、GEO 操纵与低质量 AIGC 内容。具体用法见 Search & Fetch 指南。
DeepSeek 官方更新AI 评分6262 DeepSeek-V4.1-Flash 升级至 1017 版本，API 与定价不变
DeepSeek V4.1 Flash 升级为 DeepSeek-V4.1-Flash-1017，官网与 APP 模型同步更新，API 调用方式和定价不变，仍用 deepseek-flash 接入。
DeepSeek 官方更新AI 评分8080 DeepSeek 发布 V4.1-Flash 模型并下调 API 价格
DeepSeek 正式发布 DeepSeek-V4.1-Flash，这是其新架构家族中规模最小的模型，原生支持多模态视觉理解，新架构面向更高能力上限、更快推理、更高吞吐和更大模型扩展。
DeepSeek 官方更新AI 评分6262 DeepSeek 上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp
DeepSeek 在 API 平台上线实验性多模态视觉理解模型 DeepSeek-V4-Flash-Vision-Exp，调用时设置 model='deepseek-v4-flash-vision-exp' 即可访问。
DeepSeek 官方更新AI 评分7575 DeepSeek-V4-Pro 正式版上线 APP、Web 与 API
DeepSeek-V4-Pro 正式版已在 APP、Web 和 API 上线，API 调用方式不变，模型名设为 deepseek-v4-pro 即可使用。正式版重点增强智能体能力，HLE（含工具）为 42.7/60.0，Terminal Bench 2.1 为 87.9，NL2Repo 为 61.5，Cybergym 为 83.3。
DeepSeek 官方更新AI 评分7272 DeepSeek-V4-Flash API 开启公测
DeepSeek 宣布 DeepSeek-V4-Flash API 正式发布并进入公测，调用方式不变，只需将模型名设为 deepseek-v4-flash。
DeepSeek 官方更新AI 评分6767 DeepSeek API 支持 V4-Pro 与 V4-Flash 两个新模型
DeepSeek API 现已支持 V4-Pro 和 V4-Flash，可通过 OpenAI ChatCompletions 接口和 Anthropic 接口调用，base_url 不变，model 参数分别设为 deepseek-v4-pro 或 deepseek-v4-flash。
DeepSeek 官方更新AI 评分5656 DeepSeek 上线 V3.2-Speciale 临时端点
DeepSeek 通过临时端点提供 DeepSeek-V3.2-Speciale，base_url 为 api.deepseek.com/v3.2_special…。该版本定价与 V3.2 相同，不支持工具调用，可用至 2025 年 12 月 15 日 15:59（UTC）。
DeepSeek 官方更新AI 评分6262 DeepSeek 将 deepseek-chat 与 deepseek-reasoner 升级至 V3.2
DeepSeek 官方更新显示，deepseek-chat 和 deepseek-reasoner 均已升级到 DeepSeek-V3.2。其中 deepseek-chat 对应 DeepSeek-V3.2 的非思考模式，deepseek-reasoner 对应其思考模式。