智潮雷达｜全球 AI 一手信号的中文决策台

01事件线索

Kimi K3 发布并当日打通全生态部署

Kimi K3 正式发布：2.8T 参数 MoE 架构、100 万 token 上下文、原生视觉能力。发布当天即获得 vLLM 官方部署指南与 SkyPilot day-0 完整 serving 栈支持，并上线 DigitalOcean Serverless Inference；Cursor 宣布接入（CursorBench 得分接近前沿），由 Fireworks、Together、Baseten 提供美国本土推理并支持零数据保留。Fireworks 自称发布时唯一与官方质量持平的提供商，AA 上达 165 tok/s。

为什么重要: 这是近期罕见的'发布即全栈落地'案例：开源推理栈、云平台、编程工具、合规托管在同日齐备，显示大模型竞争已从模型能力比拼转向部署速度、生态响应与企业合规承诺的综合较量。对开发者而言，K3 在多条路径上均可立即使用。
趋势影响: K3 进入主流 AI 编程工具且性能接近前沿，加上美国本土推理和零数据保留支持，降低了企业合规顾虑，对 Cursor 用户是可立即启用的新模型选项。
置信度 / 来源数: 高 · 5 条来源 · 4 位达人

来源证据5 条帖子 · 4 位达人查看来源

02事件线索

AI 解决 FrontierMath: Open Problems 第二个未解数学问题

Epoch AI 宣布 AI 找到了 2-adic 数域绝对 Galois 群的一个 presentation，这是其'重要未解研究数学问题'基准中第二个被攻克的问题。解法先由 Roe 用 Fable 5 引出，后由 David Turturean 用 GPT-5.5 Pro 独立复现，并配套发布包括交互式形式化证明在内的解释材料；官方预告下周将发布扩展题集。

为什么重要: 前沿模型开始触及真实未解的研究级数学问题而非竞赛题库；多模型独立复现加可交互检验的形式化证明，把 AI 数学产出从'给出答案'推进到'人类可核验、可复用'的知识形态，可能改变研究数学的发现与验证流程。
趋势影响: 多模型独立引出同一解法增强了可信度，交互式形式证明把“AI 给出答案”推进到“人类可检查、可复用”的数学知识形态。
置信度 / 来源数: 高 · 3 条来源 · 1 位达人