标签：推理

GitHub Copilot CLI 新增 /model 命令，可发现并接入本地 Ollama 模型

GitHub Copilot CLI 从 1.0.94-0 版本起支持用 /model 命令发现本地 Ollama 中已安装的模型，并可在当前会话中确认接入，无需重启命令行。

2026 年 10 月 7 日前后，一个开源项目宣布在 Lean 4 中完成 11 个正方形最优排列的形式化验证，并给出最优边长约 3.877083590022814。它值得关注，是因为这是 AI 辅助定理证明工具在经典几何优化问题上的一次完整验证落地。

Artificial Analysis 联合 Collinear AI、IBM、NVIDIA、Vercel 发起 Cyber Index Alliance，并发布 Cyber Index，用三套基准评测 AI 模型在企业网络安全防御任务中的真实表现。

针对灵巧手强化学习中独立扰动手部关节、难以发现协调动作的问题，研究者提出 EigenDEXplore，在不改变动作空间的前提下，把人类手部运动先验注入探索噪声。真机四类工具使用任务的平均任务进展为 82%，独立关节噪声基线为 33%。

Google Labs 于 2026 年 10 月 7 日上线 AI 游戏创建平台 Playground，用户用简单文本提示就能搭建并发布浏览器游戏，无需编程基础。

一篇论文提议为分词器（tokenizer）建立开放基准，用“比特每字节”分数让不同分词边界的模型可比，但目前只是设计倡议，尚无已跑通的基准与实测结果。

斯坦福团队开源 OpenWAM，把视频预测与机器人动作生成解耦成可配置的四种交互方式，并验证了反事实数据对动力学学习的提升。

arXiv 上一篇新论文提出 REACT 框架，专门用于从稀疏观测中重建全球海表 pH，在仿真数据上 pH 误差比最强基线降低 14.7%，并首次将碳守恒一致性作为主动示踪剂重建的硬约束。

英伟达基于 Nemotron 3 系列，通过监督微调、强化学习和生成-验证-修正推理流程，在 IOI 2026 和 IMO 2026 的非官方基准中达到金牌水平，展示了一条可复用的领域专家模型打造路径。

Box CEO Aaron Levie 判断，网络安全将成 AI 未来几年最关键、也是企业投入最集中的领域之一；AI 既制造出"氛围编程漏洞、智能体攻击、失控智能体蜂群"等新风险，也必须靠安全智能体来应对。