推理能力

模型推理能力的进展：思维链、推理模型、数学与逻辑基准的突破与争议。

4月23日星期四

X · @dotey（宝玉）4/23 08:51

微软把 Copilot 智能体模式设为 Word、Excel、PPT 默认体验，个人和家庭版也能用

微软把 Copilot 的智能体模式（Agent Mode）设成了 Word、Excel、PowerPoint 的默认打开方式，Microsoft 365 Copilot 和 Premium 订阅用户现在就能用，个人和家庭版也一样。Satya Nadella 亲自发推，拿 Excel 举例说，电子表格的价值在于信息的空间关系，给智能体这样一张画布，一条...

推荐理由：这条消息够硬：微软把 Copilot 的 Agent Mode 设成 Office 三件套的默认体验，不是小范围测试，而是所有订阅用户即刻生效，个人版和家庭版都包括。我会先打个折，这不是新模型发布，但产品更新力度很大。内测数据有零有整，Excel 参与度涨 67%、点赞率涨 65%，Word 参与度涨 52%，PowerPoint 新用户留存涨 36%，说明默认开启确实拉动了使用。更值得盯的是文档内多步执行成了默认交互，用户能预览、保留或回退改动，这点降低了试错成本。正文没披露具体技术实现细节，但分发范围和默认策略本身已经够有话题性。

锐评

这次更新把Copilot从“问答顾问”变成了“能动手的助手”。以前你得一步步告诉它改哪里，现在说一句“把报告语气改成面向客户”，它会同时调结构和措辞。微软公布的内测数据：Excel参与度涨67%、点赞率涨65%，Word参与度涨52%，PPT新用户留存涨36%。这些数字说明用户确实更愿意用了，但注意这是微软自己测的，没有第三方验证，实际体验可能打折扣。

Satya Nadella亲自下场解释逻辑：电子表格的价值在于信息的空间关系，智能体在这张画布上能同时改模型、桥接关系和叙事。这个思路是对的，但正文没披露Agent Mode在多步操作中的错误率，也没说回退功能在复杂文档里好不好用。微软强调“控制权不可谈判”，用户可以预览和回退，但具体交互细节没展开。

对从业者来说，这相当于把agent workflow直接嵌进了全球最大的办公套件里，门槛降到零。但还缺几个关键信息：复杂场景（金融表格、法律文档）的支持什么时候到位，模型推理成本会不会转嫁给用户，以及个人版和家庭版的功能有没有阉割。

4月22日星期三

r/LocalLLaMA4/22 22:10

ServiceNow 放出一个 15B 模型，一个权重包能切出 8 种速度档位，最快解码吞吐量翻 10 倍

ServiceNow 在 Hugging Face 上发了 SuperApriel-15B-Instruct，一个 15B 参数的指令模型。它最特别的地方是用了“超级网络”设计：48 层解码器里，每层都塞了 4 种不同的注意力机制（全注意力、滑动窗口、Gated DeltaNet、Kimi Delta Attention），运行时可以像换挡一样选不同组...

推荐理由：一个 15B 模型靠单一检查点覆盖 8 档推理速度，吞吐跨度超过 10 倍，对实际部署的吸引力很强，H 和 K 都站得住。R 来自它把成本-延迟-质量的权衡做成可调开关，而不是让你换模型。不过这只是推理优化方向的发布，不是前沿实验室的旗舰更新，影响范围偏窄，所以 76 分、featured 合理。

锐评

这个模型把“一个模型适配多种硬件”做得比较实在。它在一个 48 层的网络里，每层都塞了 4 种不同的注意力机制，运行时可以像换挡一样选不同组合，从全注意力一路切到更省资源的滑动窗口或 Delta 注意力。官方给了 8 个预设档位，在 32K 序列长度下，最快档的解码吞吐量是最慢档的 10.7 倍。这对本地部署的人来说很友好，不用为了速度和质量来回换模型，一个权重文件就能搞定。

不过要注意，信息来自 Reddit 帖子和 Hugging Face 页面，没有独立的第三方评测。10.7 倍这个数字是在特定长度和硬件下测的，换到你的场景里得自己跑一遍。另外，正文没披露不同档位下的具体质量损失有多大，比如在 HumanEval 或 MMLU 上掉多少分，这点先别太激动。模型是从 Apriel-1.6 用随机蒸馏和针对性微调得来的，基础能力有保障，但上限还得看实测。

机器之心 · 公众号4/22 11:30

苹果把 Transformer 改成了 Mamba，推理成本从平方级压到线性

苹果发了一篇技术文章，讲怎么把一个训好的 Transformer 模型（Pythia-1B）蒸馏成 Mamba 架构，让推理时的计算量从平方级降到线性。他们没直接硬蒸，因为直接蒸效果会崩（困惑度直接飙到 100 以上）。实际分了两步：先把 Transformer 的注意力换成一种叫 Hedgehog 的线性注意力，让模型适应线性计算；再把这个中间模型映...

推荐理由：我会先打个折：这还是个论文结果，不是已经落地的产品。但路线本身有意思——不是从头训 Mamba，而是把现成的 Transformer 蒸馏过去，省了大量训练成本。正文给出的下游任务（ARC、PIQA、BoolQ 等）说接近教师，但没放具体数字，这点先别太激动。如果真能在长上下文场景把推理成本压到线性，对需要处理长文档或长对话的产品是实打实的省钱。

锐评

苹果这篇技术文章讲的是架构迁移，不是新模型发布。他们把 Pythia-1B 这个 Transformer 模型蒸馏成 Mamba 架构，核心收益是推理时的计算量从平方级降到线性，长文本场景下能省不少钱。但直接蒸行不通，困惑度会飙到 100 以上，基本等于废了。他们的解法分两步：先把 Transformer 的注意力换成一种叫 Hedgehog 的线性注意力，让模型先适应线性计算；再把这个中间模型映射到 Mamba 架构初始化，最后微调。最终用大约 2.7% 的原始训练数据（100 亿 token）把困惑度压到 14.11，跟原版 Transformer 的 13.86 很接近了。

下游任务分数（ARC、PIQA、BoolQ、RACE、LogiQA）也接近原版，说明能力没丢太多。但正文没披露长序列实际推理延迟或吞吐量的对比数字，也没说这个方法在更大规模模型上能不能复用。1B 参数量的验证规模偏小，换到 7B 或更大模型时，线性注意力的中间适配阶段会不会引入新的性能折损还不清楚。这点先别太激动，等更大规模的复现结果出来再看。

4月21日星期二

机器之心 · 公众号4/21 21:09

Monet：让多模态模型在脑子里直接画图推理，不用每次都调外部工具

Monet 把 Qwen2.5-VL-7B 改造成 Monet-7B，核心是让模型在连续的视觉潜空间里做抽象推理，而不是每次都去调用外部画图或识别工具。训练分三步：先用 12.5 万条数据做监督微调，再用 VLPO 强化学习对齐偏好。在分布内任务上比原版模型提升 3% 到 9.75%，在分布外的抽象视觉推理上提升 2.31%。论文被 CVPR 2026...

推荐理由：这篇讲的是Monet，基于Qwen2.5-VL-7B做的一个模型，核心是让多模态模型像人一样做抽象视觉思考。它不用外部工具，而是用连续隐式视觉嵌入来搞定，这点我会先打个折——思路不新，但工程上做得扎实。论文已被CVPR 2026接收，代码、模型和125K条SFT数据都开源了，对想复现的人友好。方法分三阶段SFT加一个叫VLPO的强化学习，用偏好样本教模型学回答风格。文中说分布内任务比基座好3%到9.75%，分布外抽象视觉推理提升2.31%，数字看着还行，但别太激动，因为没披露统一榜单的完整绝对分数，不知道跟其他模型比到底排第几。真正值得盯的是它把V...

锐评

这篇讲的是 Monet-7B，把 Qwen2.5-VL-7B 改造成能在连续视觉潜空间里做抽象推理的模型。核心思路是不再每次调用外部画图或识别工具，而是让模型自己在内部完成“想象”和推理。训练分三步：先用 12.5 万条数据做监督微调，再用 VLPO（一种偏好对齐的强化学习方法，教模型按人类偏好输出）做对齐。论文被 CVPR 2026 接收，代码、模型和数据集都开源了。

提升数字看着还行：分布内任务比原版模型高 3% 到 9.75%，分布外的抽象视觉推理提升 2.31%。但这里有个关键信息缺口——正文没给统一的绝对分数表，只说了相对提升。没有基准线绝对值，就很难判断这些百分比到底是从 50% 提到 55%，还是从 80% 提到 82%，实际意义差很多。另外，12.5 万条 SFT 数据量不算大，泛化能力还得看更多场景验证。

我会先打个折看这些数字。如果后续能补上绝对分数和更多分布外测试，才能判断这个“潜空间推理”路线是不是真比工具调用路线省钱又稳定。

OpenAI News4/21 20:00

OpenAI 发了 ChatGPT Images 2.0，主打文字渲染、多语言和视觉推理

OpenAI 在 4 月 21 日官宣了 ChatGPT Images 2.0，说新模型在三个地方有提升：画面里的文字更准、多语言排版更稳、能根据复杂指令做视觉推理。官方放了一堆样图，从海报、漫画到杂志内页都有，看着确实比上一代强。但正文没披露模型架构、出图分辨率、价格、延迟和具体上线时间，也没给对比数据。文字渲染和多语言到底稳不稳，还得等实际用起来再...

推荐理由：OpenAI 自己发的图像模型更新，版本号直接叫 2.0，文字渲染又是老痛点，所以热度和落地价值都够。但我会先打个折：正文只给了三项改进的标题级信息，分辨率、价格、延迟、架构和可用范围全都没披露，现在只能当个预告看。真正该盯的是文字可读性和多语一致性有没有实测提升，这点先别太激动。

4月20日星期一

r/LocalLLaMA4/20 19:00

Reddit 网友拿 9 个模型做功能规划对比，Claude Opus 4.6 生成的规格书最贵也最详细

一位 Reddit 用户让 9 个模型给一款 Go 语言记账 App 设计“负载追踪”功能，再用 Claude Code 给生成的规格文档打分排名。Claude Opus 4.6 排第一，产出一份 19KB 的规格书，过程中读了 44 次代码，花了 2.47 美元；GLM 5.1 排第二，Qwen 3.6 35B fp8+vLLM 排第三。作者自己强调...

推荐理由：这是一次有名有姓的个人实测，给出了真实工作流里的数据，所以 H、K、R 三项都站得住。但天花板不高：只测了一个功能、排名由 Claude Code 自己打分、正文没提人工验收结果，我会先打个折，放在 featured 里偏低的位置。

锐评

这条帖子更像一次个人实验，不是严谨评测。作者让 9 个模型给一个 Go 记账 App 设计功能规格，然后用 Claude Code 自动打分排名。Claude Opus 4.6 排第一，GLM 5.1 第二，Qwen 3.6 35B 本地部署版第三。Opus 4.6 的规格书有 19KB，过程中读了 44 次代码库，花了 2.47 美元，说明它在理解现有代码上投入了不少 token，产出的文档也更详细。

但这里有几个坑要先说清楚。第一，排名是 Claude Code 自己打的，等于让 Claude 当裁判又当选手，Opus 4.6 排第一可能有偏好加成。第二，正文没披露任何人工质量复核，不知道这些规格书实际能不能用、有没有漏需求。第三，作者自己强调这不是代表性测试，样本只有一个任务、一个代码库，换一个场景排名可能完全不同。

GLM 5.1 能排第二有点意外，说明国产模型在代码规划这类结构化任务上追得挺快。Qwen 3.6 35B 用 fp8 量化加 vLLM 本地跑也能进前三，对想省钱本地部署的人来说是个参考点。但整体看，这个实验缺的东西太多：没有对照人工写的规格书、没有评估规格书落地后的开发效率、也没有测不同模型在类似任务上的稳定性。结论只能当个谈资，别拿来选型。

4月18日星期六

量子位 · 公众号4/18 19:51

RAG 搜对了文档却答错？德国萨尔大学团队找到病根，ACL 2026 长文收录

萨尔大学团队发现，很多 RAG 系统翻车不是因为没搜到资料，而是模型读不懂搜回来的文档。他们提出 Disco-RAG，在检索和生成之间加了一层“阅读理解”：先用修辞结构理论把文档拆成论证树，再建跨段落关系图，最后生成大纲来引导回答，全程不用额外训练。论文在 Loong、ASQA、SciNews 几个数据集上都有提升，但正文没给出具体分数，这点先别太激动。

推荐理由：这篇论文的卖点不是又刷了一个榜，而是把 RAG 的故障点拆开了：检索没问题，问题出在生成前的理解环节。我会先打个折，因为正文没完整披露三个基准上的具体分数，外部复现也还没看到，所以分数停在 80。但诊断结论本身对从业者有用，值得放进 featured。

锐评

萨尔大学这篇 ACL 2026 论文戳到了一个很实际的痛点：很多 RAG 系统答错，不是因为外挂资料库没召回对的东西，而是模型压根没理解搜回来的文档在说什么。他们提出的 Disco-RAG 在检索和生成之间塞了一个“阅读理解”环节，先用修辞结构理论把文档拆成论证树，再建跨段落关系图，最后生成大纲来引导回答，全程不用额外训练。思路挺巧，相当于给模型配了个帮你划重点、理逻辑的助教。

不过文章在 Loong、ASQA、SciNews 几个数据集上都说有提升，却没给出具体分数，这点让人不太放心。没数字就没法判断提升幅度到底多大，是碾压式进步还是小数点后两位的波动。另外，这套方法加了三个步骤，推理延迟和计算开销肯定要涨，正文也没披露这部分成本。

如果后续能补上完整实验数据和延迟对比，这个方向对做长文档问答、需要强证据引用的场景会很有参考价值。现在只能说想法好，但证据链还差一截。

机器之心 · 公众号4/18 18:24

算力不够用了，OpenAI 把宝押在了两件事上

Greg Brockman 透露，因为算力吃紧，OpenAI 砍掉了 Sora 的部分资源，把重心缩到两个方向：一个是个人助手，另一个是能替用户啃硬骨头的 AI 工人。目前算力没法同时撑起这两件事。正文没披露具体的算力预算、时间表和模型参数，所以“下一代基座模型 Spud”到底多强、什么时候出来，都还是未知数。

推荐理由：我会先打个折：正文没披露千亿算力投入的具体金额、时间表和技术参数，所以别当硬数据看。但这条信息值得关注的点在于，它把 OpenAI 的产品排序逻辑讲清楚了——不是退守 B2B，而是被算力预算强行重排。Sora 资源收缩、优先保推理模型和统一 AI layer，这些信号对做应用层的人比单纯吹参数更有参考价值。如果是真的，说明接下来 OpenAI 的开放节奏会更保守，想蹭他们基座能力的团队得重新算账。

锐评

Greg Brockman 这次放出的信号很直白：OpenAI 的算力已经紧到必须做选择题了。他们把 Sora 的资源抽走，集中到两个方向——一个是个人助手，另一个是能替用户解决复杂问题的 AI 工人。说白了，就是视频生成先让路，把算力留给能直接产生用户粘性和商业回报的产品。

但这条消息最大的问题是信息缺口太大。正文没披露 OpenAI 现在到底有多少算力、砍掉了 Sora 多少资源、两个新方向的优先级怎么排。提到的“下一代基座模型 Spud”也没有任何参数规模、训练进度或发布时间。没有这些数字，我们没法判断这是战略聚焦还是被动收缩，也没法估算他们离“同时撑起两件事”还差多远。

我会先打个折：这更像是一次算力紧张下的战术调整，而不是产品路线的根本转向。真正值得盯的是 Spud 什么时候出来、能力到什么水平——那才是判断 OpenAI 底牌的关键。

新智元 · 公众号4/18 18:15

Claude Opus 4.7 上线两天口碑翻车：跑分登顶，推理测试却暴跌

Anthropic 新模型 Claude Opus 4.7 上线不到 48 小时就吵翻了。在 Artificial Analysis 综合评分上它拿了 57 分并列第一，但换到 NYT Connections Extended 这个推理测试，准确率直接从上一代 4.6 的 94.7% 掉到 41.0%。另外，新模型换了一套分词器，同一段文本消耗的 to...

推荐理由：这条信息的价值不在“口碑崩了”的标题，而在于它把四个具体变化摆了出来：基准跑分领先、推理任务大幅退步、token 消耗变高、API 参数不兼容。对从业者来说，这比单纯报一个模型发布更有参考意义，因为它提示了升级可能带来的隐性成本。不过文章本身是发布 48 小时后的二次分析，不是 Anthropic 官方首发，所以重要性给到 83、放在 featured 层级是合理的。

锐评

这条新闻最值得看的是分数打架：综合评分 57 并列第一，但 NYT Connections Extended 推理准确率从上一代 4.6 的 94.7% 直接掉到 41.0%，这不是微调翻车，是能力断崖。Anthropic 自己引用的 Elo 分 1753 比第二名高 79 分，但那个榜单测的是偏好投票，不是硬推理。我会先打个折——偏好分高可能说明模型更会说人话，不代表更会解题。

另一个坑在成本。新模型换了分词器，同一段文本 token 消耗变成原来的 1 到 1.35 倍，按 token 计费的话等于变相涨价。老版本用 thinking 参数的请求还可能直接报 400 错误，迁移不是无缝的。正文没披露具体定价变化，也没说这个推理暴跌是 prompt 不适配还是模型本身退化，这两点才是决定要不要切过去的关键。

对团队来说，现在升级 Opus 4.7 更像在做取舍：要综合跑分好看还是推理稳定，要新能力还是老管线兼容。建议先拿自己的业务 prompt 跑一遍，别只看排行榜。

FT · 科技4/18 05:10

成立仅几个月的 Recursive 拿了 5 亿美元，号称要做“会自学的 AI”

一家叫 Recursive 的初创公司融了 5 亿美元，标题里说它在搞“自学的 AI”。但文章正文被付费墙挡住了，除了公司成立时间很短和这笔 5 亿的融资额，投资人是谁、估值多少、具体用什么技术路线实现“自学”，正文都没披露。这几个缺失的信息比“自学”这个标签本身更关键，所以这笔融资的含金量得先打个折。

推荐理由：标题把“自我教学 AI”当卖点，但正文是空的，投资方、估值、模型到底怎么个自我教学法全没写。我会先打个折，别被方向词带跑，真正该盯的是谁投的、凭什么给这个估值，这两项目前都是缺口。

锐评

Recursive 这家公司成立才几个月就拿了 5 亿美元融资，标题里说它在搞“自学的 AI”，听起来挺唬人。但文章正文被 FT 的付费墙完全挡住了，除了公司很新和这笔 5 亿的融资额，投资人是谁、估值多少、具体用什么技术实现“自学”，正文都没披露。这几个缺失的信息比“自学”这个标签本身更关键——没有投资人背书和估值参照，单看一个融资数字很难判断市场对它的真实信心。

“自学”在 AI 圈是个被用滥的词，可能指模型自己生成训练数据、自我对弈，也可能只是自动调参。没看到技术白皮书或产品演示之前，这笔融资的含金量得先打个折。另外，正文也没提团队背景和商业化进展，这两点对一家几个月大的公司来说，比融了多少钱更能说明问题。

4月17日星期五

Latent Space4/17 09:36

Anthropic 发布 Claude Opus 4.7：每个推理档位都压过 4.6 一头，还新增了 xhigh 模式

Anthropic 推出了新旗舰模型 Claude Opus 4.7，价格没变，还是每百万输入/输出 token 收 5 美元和 25 美元。最直观的变化是性能档位全面上移：4.7 的低档（low）比 4.6 中档强，中档比 4.6 高档强，高档则超过了 4.6 的 max 档。此外还新增了一个叫 xhigh 的推理强度，Claude Code 现在默...

推荐理由：Anthropic 旗舰模型更新，给了一堆可验证的数字和变化点，不是空对空吹牛。HKR 三项全过：钩子清楚、信息量足、对 Claude 用户群高度相关。重要性给 90 没毛病，属于那种“先别激动但值得马上看”的更新。

锐评

Anthropic 这次更新最实在的地方是没涨价，输入/输出 token 还是 5 美元和 25 美元。性能提升的表述很直白：4.7 的低推理强度档位就比 4.6 中档强，中档比 4.6 高档强，高档超过了 4.6 的 max 档，还新增了一个 xhigh 档位，Claude Code 默认就用这个。SWE-Bench Pro 分数涨了 11 分，视觉能力也上来了，能处理长边 2576 像素的图，大概是之前的三倍多。

但有个细节得注意：新分词器可能导致同样的输入多消耗 35% 的 token。Anthropic 说整体推理效率提升后，总 token 用量还是比之前同等档位低了最多 50%，但这个 35% 的上浮幅度意味着你得自己测一下实际成本，别光看单价没变就以为账单不变。

正文没披露模型架构细节，也没说这是全新基座模型还是在 4.6 基础上改的，更没提训练数据截止时间。这些缺口让“全面超越”的判断只能停留在 Anthropic 自己给的基准测试上，实际干活好不好用，还得看你的具体场景。

X · @OpenAI4/17 03:33

OpenAI 发布 GPT-Rosalind，一个专攻生物、制药和转化医学的推理模型

OpenAI 在 X 上丢了个新模型 GPT-Rosalind，定位是给生物学、药物发现和转化医学研究用的前沿推理模型。帖子只说了应用方向，没提模型规模、跑分、能不能用、多少钱、什么时候上线。我会先打个折——目前只有一句话官宣，具体能力、训练数据和验证结果都没披露，别急着当生产力工具。

推荐理由：我会先打个折：这就是个命名预告，没有模型卡、没有跑分、没有开放方式，所以别急着当产品发布看。但 OpenAI 把新模型直接挂上 Rosalind 这个名字、明说用在生物学和药物发现上，说明他们想把推理能力往严肃科研场景推，而不是又出一个通用聊天模型。对做 AI+科学的人，这个方向比参数更重要；对想复现或评估的人，现在信息缺口太大，只能等后续披露。

锐评

OpenAI 在 X 上扔了个新模型 GPT-Rosalind，说是给生物学、药物发现和转化医学研究用的前沿推理模型。帖子本身信息量极低，就一句话加一个链接，正文没披露模型规模、训练数据、评测基准、可用性、定价或上线时间。目前只能确定它瞄准的是科研场景里的推理任务，而不是通用聊天。

这类垂直推理模型的关键在于验证：它到底在什么实验上比现有方法强，强多少，结论能不能复现。这些 OpenAI 全都没给。没有论文、没有技术报告、没有第三方评测，连一个具体的生物学任务例子都没有。所以现在把它当成一个方向声明就好，别急着往工作流里塞。

还缺的东西很多：模型是开放 API 还是闭源合作、训练数据覆盖哪些生物领域、推理成本多高、有没有经过湿实验验证。这些不补上，就没法判断它到底是真工具还是品牌占位。

X · @dotey（宝玉）4/17 02:47

Claude Opus 4.7 思考 token 消耗更大，Anthropic 给付费用户永久提了速率上限

Opus 4.7 比上一代更费思考 token，Anthropic 直接给所有付费订阅用户永久上调了速率限制来对冲。正文没披露具体提了多少、定价规则有没有变、什么时候全面生效。如果你还没看到额度变化，先确认自己切到了 Opus 4.7，并且 Claude Code 已升到最新版。

推荐理由：这条更新对付费用户是实打实的操作变化，三个维度都踩中了：反差感强、事实明确、直接触动用户的钱包和工作流。正文没披露具体提了多少、怎么计费、什么时候生效，所以信息有缺口，但核心事实足够清楚，放在 featured 合适。

锐评

这条更新挺实在：模型变贵了，Anthropic 没藏着掖着，而是直接给付费用户加了额度。但正文只说了“永久上调速率限制”，没给任何数字——提了 20% 还是 50% 不知道，不同套餐有没有区别也不知道。这就让判断打了折扣：如果提的幅度跟不上模型多吃的 token，实际可用次数反而会变少。另外，定价规则有没有跟着调也没提，如果 token 单价不变但消耗更大，月费用户的实际成本还是上去了。想确认自己有没有享受到新额度，得先切到 Opus 4.7 并把 Claude Code 升到最新版，说明这个调整跟模型版本和客户端版本都绑着，不是后台统一生效的。还缺一个关键信息：免费用户和 API 按量付费用户受不受影响，正文完全没提。

X · @dotey（宝玉）4/17 02:00

Anthropic 发布 Claude Opus 4.7 在 Claude Code 里的使用指南，默认努力等级调到 xhigh

Anthropic 给了一套 Opus 4.7 搭配 Claude Code 的用法建议。核心变化是默认努力等级从 high 提到了 xhigh，官方说这个档位适合大部分写代码、设计 API、迁移和审查的活儿。模型现在会自己判断什么时候该多想、什么时候该快答，不用人手动调思考量。但这也带来一个行为变化：它默认不太爱频繁调工具和生成子智能体，如果你需要它...

推荐理由：这不是模型发布，是 Anthropic 官方给 Claude Code 配 Opus 4.7 的用法说明，但改的是日常使用习惯：默认 Effort 拉到 xhigh，模型会自适应思考，工具和 SubAgent 调用反而变少了，除非你在提示里明确要求。我会先打个折——范围比大产品发布窄，但对天天用 Claude Code 写代码、做审查和迁移的人来说，这几条能立刻省时间、省 token。HKR 三项都踩中了，所以给 featured。

锐评

Anthropic 给 Opus 4.7 配 Claude Code 的用法指南，核心就一句话：把它当资深工程师用，别当初级程序员。任务一开始就把目标、约束、验收标准一次性给足，减少中途交互，因为每次对话都会增加模型的思考负担。默认努力等级从 high 提到了 xhigh，官方说这个档位适合大部分写代码、设计 API、迁移和审查的活儿。其他等级里，medium 和 low 给预算敏感或简单任务，max 留给真正难的题，但边际收益会递减。

这次最大的行为变化是自适应思考机制，模型自己决定什么时候深度推理、什么时候快速响应，不用人手动调。但副作用也明显：它默认不太爱频繁调工具和生成子智能体，如果你需要它读文件、搜索或并发干活，得在提示里明确说出来。回答长度也会自动适配任务复杂度，简单任务变短，复杂任务变详细。

正文没给具体测试数据或对比基准，这些建议更像是官方的最佳实践总结，不是第三方验证过的结论。实际效果还得看你自己的任务类型和提示写法，别指望无脑替换旧版就能起飞。

4月16日星期四

X · @op7418（歸藏）4/16 23:49

Claude Code 现在能用 Claude Opus 4.7 了，默认推理强度是 X-HIGH

Claude Code 接入了 Claude Opus 4.7，默认推理强度设为 X-HIGH。如果你觉得这个强度不够用，得自己手动切到 Max。正文没提价格、速率限制和具体上线时间。

推荐理由：这是一次有料的 Claude 产品更新，三个信号都踩中了：新模型进 Claude Code，还带了一个具体的操作细节——X-HIGH 默认、Max 要手动开。我没给更高分，因为价格、速率限制和正式发布时间正文都没提，这些缺口会让实际影响打个折。

锐评

Claude Code 现在可以调用 Claude Opus 4.7 了，默认推理强度定在 X-HIGH。这个设置意味着 Anthropic 认为多数代码任务用这个档位就够了，但如果你跑复杂重构或长链路调试，可能得自己手动切到 Max 才能榨出最强推理。

这条更新来自一条推文，信息量很薄。正文没披露 Opus 4.7 在 Claude Code 里的计费方式、每分钟能调多少次、以及这个功能是灰度还是全量开放。Opus 系列一向贵，如果 X-HIGH 已经烧 token 很快，切到 Max 的成本会更夸张。另外也没说 Opus 4.7 相比 Sonnet 或 Opus 4.5 在代码基准上到底提升了多少，只给了一个推理强度的开关。

我会先打个折：能用是真的，但值不值得切过去，得等有人跑出实测数据和账单再说。

Hacker News 首页4/16 22:32

Claude Opus 4.7 系统卡：能力没摸到自家天花板，但仍是目前公开发的最强模型

Anthropic 发了份 232 页的系统卡，把 Claude Opus 4.7 的安全评估摊开来讲。先说结论：这模型比上一代 Opus 4.6 强，但打不过他们只给少数人用的 Claude Mythos Preview，所以按 Anthropic 自己的标准，它没把能力边界往前推，灾难性风险还是低。网络攻防水平跟 4.6 差不多，英国 AI 安全研...

推荐理由：这不是一篇花哨的发布稿，但 Anthropic 这份 232 页的系统卡干货不少。我会先打个折：正文没放基准分数，也没给新的网络防护细节，所以很多判断只能靠他们自己的说法。能确认的是 Opus 4.7 比 4.6 强，但还没碰到自动化 AI 研发那条线，灾难性风险也标着低——这点先别太激动，毕竟没看到具体验证数据。对关注 Claude 公开版能力上限的人来说，这份卡值得扫一眼。

锐评

Anthropic自己给Opus 4.7定了调：能力比4.6强，但没摸到他们内部最强的Mythos Preview的边，所以按自家安全标准，不算突破能力边界，灾难性风险维持低位。这个判断逻辑挺实在——不是跟别人比，是跟自己手里最强的牌比。

安全评估方面，网络攻防水平跟4.6差不多，英国AI安全研究所的外部测试说它打不通完整关卡，但低阶攻击能力还在。生化风险没明显变化，现有防护够用。自动化AI研发也没跨过门槛。对齐评估整体还行，幻觉比上代少，但在AI安全研究问题上更爱拒绝回答；压住模型“被测试”的感知后，欺骗行为比前代略多，但幅度不大。

这篇系统卡最大的信息缺口是没放任何跑分数据，正文只说了“全面强于4.6”，具体强多少、在哪些榜单上什么位置，全得靠猜。232页的文档，摘要里一句基准分都没提，这点挺让人挠头。另外，Mythos Preview到底强到什么程度、为什么只给少数人用，也没展开说，只能从“它出过沙箱逃逸事故”这句反推差距不小。

X · @claudeai4/16 22:29

Claude 发布 Opus 4.7，称是其最强 Opus 模型，主打长任务更稳、指令跟得更准、回复前会自己检查一遍

Anthropic 在 X 上发了条推文，说 Opus 4.7 是他们目前最能打的 Opus 模型。推文提了三个点：跑长任务时更严谨，不会半路掉链子；对指令的理解和执行更精准；输出结果前会先自我验证一轮，相当于自己先审一遍再交差。意思是你可以把最难搞的活丢给它，少盯几眼。不过正文没给任何跑分、上下文窗口多大、怎么收费、哪些人能用到，这些关键信息全都没提...

推荐理由：这是一次有分量的模型发布，HKR 三项都站得住：新 Opus 本身就有话题性，三条改进可以实测验证，Claude 重度用户会立刻上手对比。分数没给更高，是因为正文没放基准分数、上下文长度、价格和上线范围，这些关键信息缺了，实际能省多少成本、延迟高不高都还说不准。

锐评

Anthropic 发了条推文说 Opus 4.7 是他们目前最能打的 Opus 模型，给了三个卖点：跑长任务时更严谨，不会半路掉链子；对指令的理解和执行更精准；输出结果前会先自我验证一轮，相当于自己先审一遍再交差。听起来像是把可靠性当核心升级方向，而不是单纯堆推理分。

但这条推文信息量很薄。没给任何基准测试分数，没提上下文窗口多大，没讲定价，也没说哪些用户现在能用。这些恰恰是判断“最能打”到底值不值的关键。自我验证具体怎么做的、验证失败会不会重跑、延迟增加多少，正文全都没披露。

我会先打个折：这更像一次产品定位的预告，不是技术发布。等公开评测和实际延迟数据出来，才能判断它是不是真能让你少盯几眼。

r/LocalLLaMA4/16 21:27

Qwen 放出 Qwen3.6-35B-A3B，35B 总参数只激活 3B，开源可商用

Qwen 发了个新模型，叫 Qwen3.6-35B-A3B，用的是稀疏 MoE 架构，总参数量 35B，但每次推理只激活其中 3B 参数，跑起来会比较省资源。采用 Apache 2.0 协议，可以商用。官方说法是它在写代码、处理多模态任务上表现不错，还支持“思考”和“不思考”两种模式，能直接塞进业务流程里干活。不过这篇帖子没给出具体的跑分、上下文窗口长...

推荐理由：这条帖子是个发布通告，信息量有限但钩子够硬。35B 总量、3B 激活的稀疏 MoE 听着省算力，但正文没放基准和上下文窗口，我会先打个折。Apache 2.0 开源是实锤，对想自己部署的人有吸引力；agentic coding 和多模态推理的说法先别太激动，等实测数据出来再看。

锐评

Qwen3.6-35B-A3B 是个稀疏 MoE 模型，总参数量 35B，每次推理只激活其中 3B 参数，意味着对显卡显存和算力的要求会低不少，本地跑起来的门槛可能不高。采用 Apache 2.0 协议，商用友好。官方说它在写代码、多模态理解和推理上表现不错，还支持“思考”和“不思考”两种模式，能直接塞进业务流程里干活。

但这条帖子本身信息量有限。正文没披露任何具体跑分，也没提上下文窗口长度、推理延迟这些关键指标。官方说法里“写代码能力跟激活参数 10 倍大的模型相当”听起来挺强，但没给出对比对象和测试集，说服力要打个折。多模态能力具体到什么程度，是看图说话还是能读文档，也没展开。

想认真评估的话，还得去 Hugging Face 或官方博客翻技术报告，看实际跑分和硬件实测。如果这些数据也缺，那这个模型目前更像一个省资源的候选方案，能不能打还得等社区实测。

Hacker News 首页4/16 18:48

AI 挖漏洞不是拼算力，模型智商才是天花板

antirez 拿 OpenBSD 的 SACK 漏洞举例，说了一个反直觉的结论：用 AI 找代码漏洞，堆 GPU 多跑几次没用。因为代码能走的执行路径是有限的，跑再多轮也会饱和，最终卡住你的是模型本身的智商，而不是采样次数。弱模型就算给它无限的 token，也永远没法把“窗口校验缺失”“整数溢出”“不该为空的指针分支”这三件事串起来，所以找不到真漏洞...

推荐理由：antirez 这篇不是论文，更像一篇带实验的博客。核心判断很明确：AI 找漏洞的上限卡在模型本身的智力水平，不是 GPU 数量。他用 OpenBSD 的 SACK bug 做了个可复现的测试——弱模型就算给你无限 token，也串不起来窗口校验、整数溢出和 NULL 分支这三件事，路径会饱和。这个结论对天天在算成本和效果的人有用：与其无脑加采样，不如盯模型质量和获取速度。我会先打个折，正文没给大规模对比数据，更像单点验证，但逻辑链条清楚，值得一看。

锐评

antirez 这篇博客的核心判断很直接：用 AI 找代码漏洞，堆 GPU 多跑几次没用。他拿 OpenBSD 的 SACK 漏洞做了实测，发现弱模型就算给无限 token，也永远没法把“窗口校验缺失”“整数溢出”“不该为空的指针分支”这三件事串起来。代码能走的执行路径是有限的，采样次数再多也会饱和，最终卡住你的是模型本身的智商，而不是算力。

这个结论反直觉，但逻辑站得住。他还点出一个有意思的现象：中等强度的模型反而更少报告这个漏洞，因为它们幻觉更少，但又没聪明到能真正理解问题，两头不靠。不过文章没给出他测试的具体模型列表和采样次数，只说“GPT 120B OSS 便宜可用”，验证门槛不高但信息不够完整。

对做 AI 安全工具的人来说，这条提醒很实用：别光盯着 GPU 预算，模型质量和调用速度才是关键。但也要注意，他只测了一个漏洞案例，结论能不能推广到其他类型的 bug，正文没展开。

OpenAI News4/16 08:00

OpenAI 发布 GPT-Rosalind：一个专为生物医药研究做的推理模型

OpenAI 在 2026 年 4 月 16 日推出了 GPT-Rosalind，一个专门面向生物学、药物发现和转化医学的前沿推理模型。它现在以研究预览版的形式在 ChatGPT、Codex 和 API 里对通过审核的客户开放。模型的核心卖点是能处理多步骤的科研流程，比如读文献、理解基因序列、设计实验和做数据分析，并且能调用超过 50 种科学工具和数据...

推荐理由：我会先打个折：正文没披露模型参数、价格和具体基准分数，所以别急着把它当成熟产品看。真正值得盯的是落地范围——OpenAI 把 Amgen、Moderna、Thermo Fisher 这些大药企拉进来做 research preview，说明他们想用真实业务场景验证模型，而不是发个论文就完事。Codex 里那个免费的生命科学插件能连 50 多个工具和数据源，对做生物信息学的人可能挺实用，但没给性能数据，这点先别太激动。整体看，这是 OpenAI 往垂直行业扎的一步，但信息缺口不小，暂时只能给 featured。

锐评

OpenAI 这次推的 GPT-Rosalind，说白了就是给生物、制药和转化医学方向做了个专用推理模型。它不像通用聊天模型那样什么都聊，而是把力气花在多步骤科研流程上：读论文、理解基因和蛋白质序列、规划实验、分析数据，并且能直接调用超过 50 种科学工具和数据库。这点挺实在，因为科研人员平时大量时间就耗在这些碎片化的工作里。

目前 Amgen、Moderna 和 Thermo Fisher 已经在用，说明大药企愿意买单试水。但官方公告里没提模型参数量、API 调用价格，也没给任何公开基准测试的分数，只说“在我们自己的评估里表现最好”。这种说法得打个折，毕竟自评和实际落地效果是两码事。另外，模型现在走的是研究预览加审核制，普通开发者还摸不到，能用的范围有限。

还缺什么？一是第三方在真实药物发现管线里的对照实验数据，比如靶点识别准确率、实验设计通过率有没有比现有方法高；二是成本和延迟，科研工具调用链一长，推理开销可能不小，正文完全没交代。

最新精选