每条发布 = 一张工具卡 · 命中 "新工具 / 产品更新 / 模型发布 / 平台" 标签(itemType=tool_release)· 按时间排序
据 Scott Aaronson 整理，OpenAI 在顾问组推荐下一次性公开 372 项数学突破结果，其中包括 Subhash Khot 的唯一游戏猜想（UGC）证明、L=BPL、Fourier 变换整数乘法低于 O(n log n) 的新上界、Unitary Synthesis 问题的正面解答、Parity 不在 QAC0 等，部分配有 Lean 证书。
推荐理由：原文列出 372 项数学突破与所用算力、问题类型，可帮助读者判断新模型在深度推理上的实际边界。
NVIDIA 与 Microsoft 在旧金山活动上联合发布面向 Windows PC 的本地 AI 硬件与软件。
推荐理由：RTX Spark 笔记本与 DGX Station for Windows 把本地 AI 算力下沉到桌面，读者可以据此判断它对个人与开发工作流的影响。
OpenAI 宣布 GPT-6 开始向 ChatGPT 推送，Plus、Pro 等付费用户使用 GPT-6 Sol，免费和 Go 用户使用 GPT-6 Luna，分别替换此前的 GPT-5.6 版本。
推荐理由：报告给出了青少年安全评测里的具体回退项，用户可以据此判断免费版在敏感话题上的实际表现。
GPT-6 在 ChatGPT 全球上线，并随附 Intelligent UI，提供更快响应以及可直接探索和使用的可视化与交互体验。
推荐理由：原文给出 GPT-6 在 ChatGPT 中全球上线并附带 Intelligent UI 的关键事实，读者可据此了解新模型与交互形态的落地范围。
Anthropic 发布 Claude Haiku 5.5，主打高吞吐、成本敏感型任务，是其迄今最便宜、最快、能力最强的小模型。
推荐理由：原文把新模型的价格、速度、子智能体定位和基准成绩一次性给出，方便对比 Haiku 4.5 与同级模型的取舍。
GitHub 与 Microsoft Applied Sciences 构建了微调的 ModernBERT 分类器，可在不到 2 milliseconds 内评估一组候选密钥，并让可阻止的密钥数量增加一倍以上。
推荐理由：GitHub 用九个季度的数据说明密钥泄露风险未随代码量明显上升，并公开了保护机制扩展到非结构化密钥的方法。
Mistral 发布 Mistral Large 4（ML4）公开预览，称其为 1 万亿参数、49B 激活参数的多模态模型，在 Mistral 自己的欧洲数据中心用 3,800 块 NVIDIA Grace Blackwell GPU 从头训练，preview API 即日在 Mistral Studio 开放，权重计划于本月底发布。
推荐理由：原文给出 1T 总参数 / 49B 激活参数、训练规模与多项基准结果，可作为评估开源权重前沿模型多模态与智能体能力的参考。
Mistral 发布 Mistral Large 4（昵称 le Chonk）公开预览 API，模型为 1 万亿总参数、490 亿激活参数的原生多模态模型，权重计划本月底开源，由 Mistral 欧洲自建数据中心用 3,800 张 NVIDIA Grace Blackwell GPU 训练。
推荐理由：1 万亿参数原生多模态模型公开预览并在网络安全、编码与视觉任务上对标开源前沿，可作为开源权重模型能力上限的参考基线。
Reflection 发布首个开源权重模型 Beam，采用稀疏 MoE 架构，总参数量 501B、激活 23B，面向编码、推理与智能体场景。模型在 23.8T token 上完成预训练，并在 10.5K 块 NVIDIA GB300 GPU 上用 4 周生成超 1 亿次 rollout 进行高算力强化学习。
推荐理由：原文给出模型规模、训练规模与推理效率数据，并承诺本月开源权重与技术报告，可作为西方开源前沿模型的参照基线。
Reassign 是一款面向忙碌创作者的 24 小时圆形时间规划工具，采用午夜在顶、正午在下的圆形时间轴设计，支持拖拽阻塞时间。内置 AI 功能，可通过命令面板进行头脑风暴并实时重建日程。支持 Google Calendar、Outlook、Todoist、Linear 双向同步，另有专注模式和基于睡眠的能量曲线功能。
推荐理由：原文给出了独特的产品形态（圆形时间轴+AI对话式规划+多平台双向同步），读者可以据此判断它是否适合替代现有时间管理工具。
Cloudflare 推出 Artifacts 新功能，包括可部署到 Workers、可从 Workers 管理、事件订阅、数据司法管辖和指标监控，并发起竞赛邀请开发者构建面向 AI 智能体时代的下一代 Git 平台。竞赛截止到 2026 年 10 月 14 日，一等奖可获 2.5 万美元 Cloudflare 积分。
推荐理由：原文列出了 5 个新能力和竞赛细节，读者可以据此判断这个面向 AI 智能体的 Git 基础设施是否值得尝试参与。
Aleph Alpha 发布 Kolibri，这是一款英德双语混合专家 Transformer 模型，总参数 78B、活跃参数 3B，支持最长 100 万 token 上下文。模型已在 Hugging Face 开源，可下载权重使用。该模型专为德国公共管理、工业和航空航天等受监管行业的主权任务构建，在数学、代码、Agent 能力等方面可匹配参数多至 4 倍的竞品。
推荐理由：原文给出了模型的关键参数、性能基准和与竞品的对比数据，读者可以据此评估其在特定行业的适用性。
德国 AI 公司 Aleph Alpha 发布开放权重大语言模型 Kolibri，总参数 78B、激活参数约 3.5B，采用混合专家架构，基于 Apache 2.0 许可证开源。
推荐理由：提供了模型的技术架构、性能数据、对比基准和可用入口，读者可以据此判断这个模型在德语场景和本地部署需求下的适用性。
Singularity 是一款新的 AI 编码工具，用原子化 ticket 替代聊天，每个 ticket 对应一个独立 Git worktree 和最小上下文。支持跨仓库并行运行多个 agent，审查 diff 后合并。免费、本地优先、需要用户自备 API key。
推荐理由：它用 atomic tickets 和隔离的 Git worktree 提供了一种新的 AI 编码工作流，读者可以直接尝试这种替代聊天的方案。
eu/jev 发布首个托管在欧盟的 System One 模型，运行在德国 Hetzner GPU 上，完全符合 GDPR 且不保存 prompts/answers。定价与 Jev 相同，可通过相同 API 调用，支持免费输出 token。
推荐理由：原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。
Allen AI 发布并开源了 AstaBrief 8B 模型，该模型可将研究问题和检索到的文献片段转化为带引用的科学报告。作为 Asta 平台 Generate a report 功能的 Fast 模式，平均生成时间为 51.1 秒，相比 Claude 驱动的 Thinking 模式（178.5 秒）提速约 3.5 倍。
推荐理由：提供了完整的训练数据构建、偏好数据过滤、评估指标设计过程，可供研究科学报告生成模型的开发者参考。
Audionaut 是一款免费开源的跨平台多轨音频编辑器，可通过 MCP 协议被 Claude 等 AI 代理驱动进行编辑。应用基于 JUCE 框架用现代 C++ 编写，支持 Windows、macOS 和 Linux；提供精确剪辑、每轨播放列表、灵活多声道支持和干净的导出功能。
推荐理由：原文给出了通过 MCP 让 AI 代理驱动音频编辑的能力，读者可以据此判断它会怎样改变现有音频工作流。
Microsoft AI 发布 MAI-Transcribe-2-Streaming 实时转录模型，支持 60 种语言，首个部分结果交付时间约 100 毫秒，在 Artificial Analysis 准确率排名第一，年内定价 $0.54/小时。
推荐理由：原文给出了具体的性能指标（100ms 延迟、60 种语言、$0.54/小时）和对比数据，读者可以据此评估新产品相对于现有方案的性价比。
Codync 是一个开源免费的 AI 工具，可让用户在本地电脑上运行 Claude Code、Codex、Cursor 或 40 多个 AI agent 作为命名机器人，并通过 iPhone、Mac、Linux 或终端进行远程回复和审批。采用 MIT 许可证，支持端到端加密。
推荐理由：原文给出了核心能力（开源免费、多 agent 支持、远程控制），读者可以据此判断它作为本地 AI agent 管理工具的使用方式和迁移成本。
slash-editor 为 React 应用提供 Notion 块体验：斜杠菜单、拖拽手柄、嵌套重排序、转换功能、评论和实时协作。基于无头 Tiptap v3 构建，UI 通过 shadcn 组件库提供，支持表格、列、Mermaid 图表、自定义 AI 模型和 Markdown 导入导出。MIT 许可，无付费 tier，无托管服务。
推荐理由：它提供了 Notion 风格的编辑器组件，读者可评估是否适合替换现有方案。
Earlyn 是一款 Mac 平台的加密可搜索记忆工具，可记录屏幕内容、生成会议转录并提供实时翻译。支持通过 MCP 向 Claude Code、Codex 或 Cursor 提供上下文。所有处理在本地运行，仅在使用云模型或连接应用时才会发送数据。免费试用 7 天，随后 $19/月。
推荐理由：原文给出了具体功能（屏幕记忆、会议转录、MCP集成）和定价（$19/月），读者可据此评估该工具对自己工作流的实际价值。
aweb 是一个面向 AI 智能体的通信平台，提供稳定的身份标识、持久的邮件和聊天功能，以及跨会话、跨运行时的唤醒事件。支持 Claude Code 和 Pi 等运行时，CLI 和 API 与运行时无关，可自托管或使用托管服务，代码采用 MIT 许可证开源。
推荐理由：原文给出了 aweb 的核心能力（身份持久化、消息队列、跨运行时唤醒）和具体的安装命令，读者可以据此判断它是否能改善自己的 AI 智能体工作流。
开发者发布 Slipstream 引擎，可在 64GB Mac 上以 41-52 tok/s 运行 95.5 GiB Qwen3.8-Flash-Next 模型，比 llama.cpp 快 1.76 倍。
推荐理由：原文给出了新推理引擎的具体性能数据、架构设计和与 llama.cpp 的对比，读者可以据此判断它在本地运行大模型场景下的实际价值。
Earendil 伴随 Pi 1.0 发布了实验性新框架 Pi Durable，该框架专为构建长时间运行、可在任何 JavaScript 运行时执行的持久化智能体设计。
推荐理由：原文详细解释了 Pi Durable 的设计理念、架构和核心特性，读者可以据此理解这个新框架与现有 AI 智能体工具的区别和适用场景。