智能工具周报 · 2026 年第 41 周 · 10.05 — 10.11

本版导读OpenAI发布近400份AI生成的数学成果，引发数学界热议；发布超过700篇关于数学问题的论文，引发数学界对AI应用的关注和讨论。

The Verge · AI10.10

OpenAI 发布大量数学成果引发数学界热议

OpenAI 发布了近 400 份 AI 生成的数学成果，涵盖多个数学领域，引发数学界广泛关注和讨论，包括对成果质量、验证方法和未来影响的讨论。

原文

The Decoder10.10

OpenAI 引发数学界震动：学者们对 AI 解决数学问题表示震惊和担忧

OpenAI 发布了超过 700 篇关于数学问题的论文，引发了数学界的广泛关注和讨论。学者们对 AI 在数学领域的应用表示震惊和担忧，并对其影响进行了深入探讨。

原文

量子位10.11

OpenAI在数学领域取得重要进展，引发数学界讨论

OpenAI发布了722篇数学手稿，其中包括对挂谷猜想的证明，引发了数学界对AI应用的关注和讨论。

原文

本版导读微软推出Microsoft-Decision-1决策模型，具备顶尖性能；TypeSafe的AI模型Jev获得融资，估值暴涨；vLLM发布6款决策模型。

IT之家10.10

微软推出 Microsoft-Decision-1 决策模型，基于 Qwen3.5-9B

微软推出新的决策模型 Microsoft-Decision-1，基于 Qwen3.5-9B，具备顶尖性能，响应速度和决策质量全面超越大语言模型及其他传统决策模型，现已上线 Microsoft Foundry 并接入 OpenRouter。

原文

爱范儿10.10

AI 领域决策模型兴起，TypeSafe 和微软等公司积极布局

TypeSafe 的 AI 模型 Jev 获得融资，估值暴涨；微软发布决策模型 Microsoft-Decision-1；OpenAI 推出 Decisions API；vLLM 发布 6 款决策模型。

原文

SShow HN10.05

作者微调 1.5B Qwen 做 Bash 生成，接近 GPT-4o 水平

作者用 401,975 条英文请求与 Bash 命令配对数据，对 Qwen3-0.6B 和 Qwen2.5-Coder-1.5B-Instruct 做 LoRA 监督微调，发布 EasyCommand 模型、GGUF 和 CLI。

原文

本版导读Iimos发布，可完全修改自己的AI应用；Usermods发布开源浏览器扩展，用编码智能体现场生成用户脚本；Open-Instinct开源个人智能体发布。