标签：算力

在线逆优化新算法：确定性 O(√d) 遗憾且多项式时间可解

alphaXiv 2026年10月6日展示的一篇论文摘要提出了在线逆线性优化的确定性算法，遗憾上界为 O(√d)，每轮仅需一次线性优化，运行时间在维度 d 和步数 T 上均为多项式，回答了 Sakaue 此前关于多项式时间可达性的公开问题。

Hugging Face Papers 收录的一篇论文提出，跨分词器在线策略蒸馏中，一味扩大教师与学生预测的对齐覆盖反而可能拖累准确率，监督信号的可靠性比覆盖范围更值得优先考虑。

Anthropic 推出 Claude Opus 5.5，定位为 Opus 5 的低成本继任者，在 Artificial Analysis 智能指数 v4.3 上以 58 分排名第一，并同时调整了数据留存与敏感查询策略。

arXiv 上的一篇新论文提出 ADSD 框架，让 AI 智能体先诊断数值求解器为何出错，再发现可复用的求解技能，从而把“改代码”变成有结构的自我改进流程。

Vercel 旗下 AI Gateway 上线 beta 功能，当主模型的置信度低于开发者设定的阈值时，系统会自动把决策转交给备用模型重跑一遍。Vercel CEO Guillermo Rauch 认为这个看似简单的机制，对大规摸 AI 决策场景会非常有用。

Garry Tan 称用 Opus 5.5 快速模式，仅靠追加约 3 条 prompt，就把一个跑在 Bel LISP 上的 Doom 实现优化到 640x480 分辨率下 35fps。这件事的看点不在帧率本身，而在于 AI 已经能在极短时间内完成过去需要资深工程师数天才能调优的系统级工作。

Mistral AI 的 Mistral Large 4 首次进入 Code Arena 的 WebDev 榜单，排在第 45 名、得分 1534，比上一代 Mistral Large 3 提升 304 分；它的性价比接近 Claude Opus 4.8，价格却只有约六分之一。

一个名为 OpenTPU 的开源 AI 加速器项目出现在 Hacker News 讨论中，其卖点是由 AI 参与开发、走开源路线，指向 AI 芯片与算力领域正在被更多人尝试撬动。

Anthropic 的 Claude Code 增加了一个“suggested message”功能，会在用户输入前主动推荐下一步指令。有开发者据此提出一个耐人寻味的判断：这个功能真正服务的对象，可能不是人类用户，而是模型本身。

OpenAI 在 GitHub 上公开了一个数学仓库，里面是一个内部模型产出的 722 篇数学手稿，覆盖 372 个结果族，其中一部分配有 Lean 形式化证明。这不是产品发布，而是把“大模型能不能做原创数学研究”这件事摆到了可公开检验的位置上。