西班牙公司 Multiverse Computing 推出 Quasar 438B 模型，1M 词元上下文

Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。

哔哩哔哩 Index LLM 团队 9 月 30 日发布基于 Qwen3.5 构建的 Index-Translate 多语言翻译模型家族，2B / 9B / 35B-A3B（preview）权重在 Hugging Face 与 ModelScope 开放。

蚂蚁百灵发布 Ling-3.1-flash 模型，总参数约 560B，每个 Token 激活约 25B 参数，上下文窗口上限为 1M。模型围绕通用智能体、搜索、日常办公和软件研发等任务优化，并提升医疗、金融和材料科学研究场景能力。模型开放为期两周的免费体验，期间服务长度为 256K，转付费后计划开放 1M 上下文，届时团队也计划同步开源。

DeepSeek 于 9 月 30 日通过官方公众号宣布正式开源面向华为昇腾算力平台的基础设施组件，与此前面向英伟达平台的开源组件一一对应，涵盖 TileLang 编译工具、计算库和分布式通信库。

OpenAI 在开发者活动日宣布推出 GPT-6.1 Sol，性能接近旗舰 GPT-6 Astra，标准输入/输出 token 价格仅为 Astra 的五分之一，每 100 万 token 缓存输入费用 0.10 美元。

OpenAI 在 2026 年开发者日活动上推出 Ultrafast 服务层级，GPT‑6 Astra Ultrafast 在 Codex 中最高每秒 300 个词元，Codex 内提供最高 8 倍、API 最高 6 倍生成速度，目前已开放 API 调用。

OpenAI 在开发者日活动中于 Codex 和 ChatGPT Work 推出 GPT-6.1 Sol 模型，官方称其在处理复杂任务时性能接近 Astra，但成本更低，适用于代码、应用程序和文档中重复性、长时间运行的任务。据 @LuminaBench 透露的定价，每 100 万 tokens 输入 2 美元、缓存输入 0.1 美元、输出 10 美元，可用性取决于套餐、客户端和工作区设置。

Arena 于 9 月 26 日分析 Text Arena 高推理回复，发现 Claude Opus 5.5 相比 Opus 5 破折号使用量下降约 95%（每 1,000 个单词从 15.2 个降至 0.8 个），分号下降 73%（从 6.10 个降至 1.64 个）。

ElevenLabs 于当地时间周一发布 v4 与 v4 Turbo 两款语音模型，强化情绪表达控制、降低响应延迟，语言支持从 70 种提升至 90 余种，用户仅需 10 秒音频素材即可完成声音克隆。

Anthropic 发布中端模型 Claude Sonnet 5.5，官方称速度比上一代提升 30%，Token 消耗速度明显更低，定位为编写代码和制作办公文档等日常任务的助手。