OpenAI 公布内部前沿模型在数学开放问题上的进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上分享 Lean 证明形式化和研究细节。
推荐理由：OpenAI 公布内部前沿模型在数学未解问题上的结果，并开源 Lean 证明形式化，读者可查看研究细节。
推理能力
全部主题模型推理能力的进展：思维链、推理模型、数学与逻辑基准的突破与争议。
最新精选
第 1–17 条 · 共 17 条OpenAI News精选AI 评分6161 The Verge · AI精选AI 评分7676 OpenAI 发布722篇数学手稿，涵盖数百个开放问题解答
OpenAI 发布722篇数学手稿，覆盖372个结果族，据 AGMAI 称包含对"数百"个开放问题的解答，成果由一个未发布的前沿模型产生。手稿发布在 GitHub 仓库并附论文修订与引用协议，还包括模型推理摘要、算力估算，OpenAI 称平均每个结果相当于 ChatGPT Pro 三小时的思考量。
推荐理由：报道给出722篇手稿的规模、问题数量和算力估算，读者可据此了解这批数学成果的实际内容与学界争议。
The Decoder精选AI 评分7777 AI 击败 Stratego 史上最强人类棋手，Ataraxos 以不到 8000 美元算力突破不完美信息博弈
研究团队开发的 Ataraxos 在三周的对局中以 85% 有效胜率击败了四届世界冠军、公认史上最强的 Stratego 棋手 Niemeijer，并在 2025 世界锦标赛表演赛中赢下 40 局中的 38 局。
推荐理由：原文对比了 Ataraxos 与 DeepNash 的训练成本和方法细节，读者可以了解不完美信息博弈研究的最新进展。
AWS Machine Learning Blog精选AI 评分6969 OpenAI GPT-6.1 Sol 在 Amazon Bedrock 正式上线
GPT-6.1 Sol 在 Amazon Bedrock 正式可用，聚焦智能体编码、计算机操作和专业工作负载的更强推理能力。据 OpenAI 称，其 DeepSWE v1.1 成绩与 GPT-6 Astra 相当且每任务成本约为五分之一，超过 GPT-6 Sol 最佳成绩 6.4 个百分点；在透明度、用户意图和显式限制评估中也优于 GPT-6 Sol。
推荐理由：官方公告给出了与 GPT-6 Sol 和 GPT-6 Astra 的具体对比数据，可帮助读者评估其智能体工作场景的性价比。
Hugging Face Blog精选AI 评分6363 NVIDIA 发布开源表格基础模型 Kumo Tabular，单次前向预测表格标签
NVIDIA 发布开源表格基础模型 Kumo Tabular，现已上架 Hugging Face。给定带标签的表格，模型在单次前向传播中直接预测新行标签，无需训练、调参或特征工程，支持分类和回归，基于 Transformer 并采用列、行和 in-context 注意力，完全在人工生成的表格上预训练。
推荐理由：官方介绍了无需训练微调的表格基础模型的架构、预训练配方和四项基准表现，读者可评估它能否替代传统梯度提升树工作流。
AWS Machine Learning Blog精选AI 评分6464 Grok 4.7 上线 Amazon Bedrock，支持 500K 上下文和四档推理力度
xAI 的 Grok 4.7 已在 Amazon Bedrock 上可用，提供 500K token 上下文窗口，支持 low、medium、high、xhigh 四档推理力度。
推荐理由：原文给出 Bedrock 上的接入方式、推理档位配置和成本权衡，读者可直接据此规划调用与费用。
Simon Willison精选AI 评分8585 Anthropic 发布 Claude Opus 5.5，OpenAI 随后推出 GPT-6 Sol 与 GPT-6 Luna，新一轮价格战开启
Anthropic 发布 Claude Opus 5.5，约一小时后 OpenAI 发布 GPT-6 Sol 和 GPT-6 Luna。
推荐理由：作者实测了三家新模型并整理完整价格表，读者可以据此比较新一轮降价幅度和各档模型的实际表现。
OpenAI News精选AI 评分6969 OpenAI 发布 GPT-6 Astra：面向商业场景的下一代模型
OpenAI 发布 GPT-6 Astra，定位为面向商业的最强模型，具备高级推理和计算机使用能力，写作与设计判断也更强。
推荐理由：官方发布了面向商业场景的新模型，提到推理、计算机操作和写作设计判断，读者可据此评估其在工作流中的定位。
OpenAI News精选AI 评分8181 OpenAI 分享 Navier–Stokes 千禧年难题的 AI 生成解法
OpenAI 分享了一个针对 Navier–Stokes 千禧年大奖难题的 AI 生成解法，内容包括一份解题文章和一个 Lean 形式化证明。材料来自 OpenAI 官方公告，feed 未提供完整正文，具体证明内容和方法细节以原文链接为准。
推荐理由：官方公开了 AI 生成的 Navier–Stokes 千禧年难题解法，并附带 Lean 形式化证明，读者可以据此关注 AI 在数学证明方向的实际产出。
Hugging Face Blog精选AI 评分6161 IBM 发布 Granite 4.2 推理模型家族，详解 15T token 预训练与多阶段 RL 训练管线
IBM 发布 Granite 4.2 推理模型家族，含 3B、8B、30B 三个稠密解码器模型，基于 Granite 4.1 基座（从头在约 15T token 上预训练，五阶段策略将上下文扩展至 512K），经 SFT 与多阶段 GRPO 强化学习后训练，全部以 Apache 2.0 许可开源。
推荐理由：官方完整披露从预训练、SFT 到多阶段 GRPO 和智能体 RL 的训练细节，可迁移到类似模型的构建流程。
Hugging Face Blog精选AI 评分8080 Thinking Machines 发布万亿参数开源多模态模型 Inkling 及 Inkling-Small
Thinking Machines 在 Hugging Face 发布开源多模态模型 Inkling，总参数约 1T（975B，激活 41B 的 MoE），原生接收图像、文本和音频输入，支持 1M 上下文，训练数据为 45 万亿 token，包含 BF16 和 NVFP4 权重。
推荐理由：官方博客给出架构细节、各档位 VRAM 需求和部署配置，读者可以据此评估多模态部署成本与选型。
Hugging Face Blog精选AI 评分6161 Hugging Face 发布 PyTorch Profiling 系列第三篇：用 profiler 拆解 attention 的六种实现
Hugging Face 发布 Profiling in PyTorch 系列第三篇，在 NVIDIA A100 上用 profiler 对比朴素 attention、in-place 掩码、SDPA math/efficient/flash/cuDNN 六种实现的 trace。
推荐理由：原文用 profiler 实测六种 attention 实现的内核差异，读者可以学会从 trace 里读出 inplace 省一次拷贝、SDPA 各后端的真实代价。
Mistral AI精选AI 评分6565 Mistral 发布 Leanstral 1.5：119B 总参数 6B 激活，Apache-2.0 开源形式化验证模型
Mistral 发布 Apache-2.0 开源模型 Leanstral 1.5，119B 总参数、6B 激活参数，通过 mid-training、监督微调和 CISPO 强化学习训练。
推荐理由：官方披露了完整训练流程、基准数字和真实代码验证案例，读者可以据此评估形式化验证模型在数学证明和开源查错上的实用程度。
Google DeepMind精选AI 评分7070 Google DeepMind 发布开源实验模型 DiffusionGemma，GPU 文本生成提速至 4x
Google DeepMind 发布开源实验模型 DiffusionGemma，基于文本扩散方法生成整块文本，在专用 GPU 上推理速度最高达 4x（单张 NVIDIA H100 超 1000 tokens/秒，RTX 5090 超 700 tokens/秒）。
推荐理由：官方明确了 4x 提速的具体硬件数字和输出质量取舍，读者可以据此判断它适不适合本地低并发场景。
Mistral AI精选AI 评分7171 Mistral 发布 Mistral Small 4，统一推理、多模态与智能体编码能力
Mistral AI 发布 Mistral Small 4，是首个将 Magistral 推理、Pixtral 多模态、Devstral 智能体编码能力统一到单一模型的小型模型，采用 Apache 2.0 许可开源。
推荐理由：官方发布正文给出了完整的架构参数、基准对比和部署要求，读者可据此评估其替代多模型组合的可行性。
Mistral AI精选AI 评分7878 Mistral 发布 Mistral 3 系列模型，含 Mistral Large 3 与 Ministral 3，均采用 Apache 2.0 开源
Mistral 发布新一代模型系列 Mistral 3，包括 MoE 架构的 Mistral Large 3（41B 激活、675B 总参数）以及 3B、8B、14B 三个尺寸的 Ministral 3 模型，全部以 Apache 2.0 协议开源。
推荐理由：官方公告完整列出了模型规格、开源协议、部署方式与可用平台，读者可据此评估在自有环境落地的可行性。
Mistral AI精选AI 评分6868 Mistral AI 发布首个推理模型 Magistral，含开源 24B 版 Magistral Small 与企业版 Magistral Medium
Mistral AI 发布其首个推理模型 Magistral，分开源的 Magistral Small（24B，Apache 2.0）与企业版 Magistral Medium 两个版本。
推荐理由：官方同时开源与商用双版本，给出 AIME2024 分数、开源许可和部署渠道，读者可据此评估选型。