1Mistral 发布 Mistral Large 4，开源阵营旗舰再进一步

Mistral 释出新一代旗舰模型 Mistral Large 4，开发者社区讨论在数小时内累积近 1600 点，为当日最热条目。这是开源阵营在旗舰层级的又一次正面推进。

2OpenAI 一夜公开 722 篇数学手稿，覆盖三道千禧难题

OpenAI 一次性公开 722 篇数学手稿，出自一个尚未发布的内部模型，归为 372 组结果。官方称模型累计尝试约 4000 个研究问题，每项算力约相当于 ChatGPT Pro 思考 3 小时。论文、源码与部分 Lean 证明同步上 GitHub，含准黎曼、霍奇、BSD 猜想。

3OpenAI 配套放出低于n log n 的整数乘法

OpenAI 同步公布 AI 数学进展，并在 openai/math 仓库公开一份整数乘法预印体，主题是低于 n log n，被解读为 AI for Math 从单点突破转入可复现、可验证的工程化阶段。

4陶哲轩公开转向「AI 减速派」

陶哲轩在 SAIR 演讲中向模型公司开火，称其无休止加速而对后果一无所知，必须慢下来。几个月前他还称 AI 在数学与理论物理已 ready for primetime，态度转变明显。

5诺贝尔物理学奖揭晓，Francis Halzen 独自获奖

美国威斯康星大学麦迪逊分校 Francis Halzen 独自获奖，表彰其对南极冰立方中微子天文台的贡献。他把地下 2000 多米深的一立方公里冰层改造成捕捉中微子的超级望远镜——质子带电会被磁场扭曲而无法定位来源，中微子则几乎不受影响。

6Google 推出 EmbeddingGemma 2 开源嵌入模型

Google 发布 EmbeddingGemma 2，官方标注发布时间为 2026-10-06 16:00 UTC，定位为开放轻量的多模态嵌入模型。嵌入模型是检索增强与智能体记忆的底层组件，轻量化决定其能否在自有环境部署。

7OpenTPU 走红：完全由 AI 设计的开源加速器

FeSens/openTPU 把 RTL、指令集、仿真器、编译器与性能分析器放在同一仓库，自述为「由 AI 开发」，可在 Kintex-7 PCIe 卡上运行 Qwen3 与 Qwen3.5，星标已超 200。芯片设计工具链整体开源并交由 AI 主导，本身即是可观察样本。

8OpenSSH 10.6 正式发布

OpenBSD 官方发布 OpenSSH 10.6，官网标注发布日期为 2026-10-06，并放出 10.6p1 补丁版。作为被广泛部署的基础组件，更新在运维与安全社区引发集中讨论，升级前建议评估兼容性。

9GitHub 讨论为智能体规模开发构建 Git 基础设施

GitHub 发布 agent-scale development 主题文章，时间为 2026-10-06 20:57 UTC，聚焦代码库交由智能体读写时分支与评审机制需如何调整，与前一日上线的 ReviewBench 基准同向。

10韩国称发现 AI 智能体被用于攻击本国银行

韩国方面表示已发现 AI 智能体被用于攻击本国银行，相关条目在两小时内累积三十余点讨论，日期标注为 2026-10-06，焦点集中在智能体武器化后的归因难题。

AI for Math 转入可复现的工程化交付

722 篇手稿连同源码与 Lean 证明一并公开，覆盖 17 个方向、含三道千禧难题，意味着这类成果开始具备可复现与可检验性，而不再是发布会演示。

智能体正在改写软件工程的基础设施

GitHub 提出为智能体规模开发调整 Git 基础设施，OpenSSH 10.6 例行更新，指向同一个前提变更：越来越多代码正由智能体读写，协作流程需为「非人类作者」重设审核机制。

轻量化模型与开源硬件同时就位

EmbeddingGemma 2 压低多模态嵌入模型的部署门槛，OpenTPU 把芯片设计工具链整体开源，说明私有化部署与端侧推理的成本结构正在被改写。