OpenAI 把免费用户和默认聊天用的模型升级到了 GPT-5.5 Instant。官方说这次更新主要干了三件事：回答更靠谱、更简洁，并且更能利用你之前聊过的上下文来贴合你的偏好。内部测试里，在医疗、法律、金融这类高风险问题上，GPT-5.5 Instant 比上一代 GPT-5.3 Instant 的幻觉内容少了 52.5%；在用户举报过的事实错误对...
推荐理由：HKR 三项全中：OpenAI 把 ChatGPT 默认模型切到了 GPT-5.5 Instant，说答案更准、幻觉更少、个性化控制更好，但没给任何评测数字、价格或上下文窗口，我会先打个折。这点先别太激动，等看到实测再判断。
这篇文章的正文被微信环境验证挡住了，看不到具体内容。从已有的英文摘要看，Agent-World 这个工作造了 1978 个环境和 19822 个工具，专门用来训练能处理长流程任务的智能体。它的做法是把网页挖掘、工具生成、可验证的任务合成和 GRPO 训练串在一起，任务平均要跑 15 步以上。核心结论是环境数量、自我进化轮次和 23 个基准测试之间存在规...
推荐理由：我会先打个折：正文没披露训练成本和实际延迟，也没说这 1,978 个环境里有多少是真正开放域、多少是模板生成的，这点先别太激动。但 Agent-World 把环境规模、自进化轮次和基准表现拉通看缩放关系，这个思路比单纯刷榜有用。对做智能体评估和长程任务的人，值得花时间读一下它怎么用 GRPO 把环境生成和智能体训练拧成一个闭环。
香港理工大学和四川大学搞了个叫 SignThought 的手语翻译模型，中了 ACL 2026 主会，还被推荐做口头报告。它最大的不同是不依赖“手语注释”（gloss），直接看视频出文字，省掉了中间那层人工标注。做法是让模型先在心里盘一遍大概意思（latent thoughts），再分两步走：先规划再落地（plan-then-ground），最后用双流...
推荐理由：ACL 2026 Main 接收并拟推荐口头报告，加上开源模型和新数据集，H、K、R 三项都站得住。方法有具体拆解，五个 benchmark 验证，不是空对空。手语翻译这个细分方向让它比通用多模态模型或开发者工具的关注度低一些，所以重要性没给更高。
Google DeepMind 搞了个叫 Aletheia 的流程，拿 Gemini Deep Think 去啃 700 道 Erdős 数学猜想。流程是先让模型生成 200 个候选答案，再用验证器筛到 63 个，最后产出 13 个原创解答。乌龙出在 Erdős-75 这道题上：题干本身就有问题，但 Aletheia 没发现，照样洋洋洒洒推导了几十页。...
推荐理由：我会先打个折：文章本身是媒体转述，原始论文细节得去看 arXiv，正文没披露验证器的具体设计和人类专家的复核标准。但选题确实抓人——一个题干有误的 Erdős-75 问题，AI 照样输出几十页证明，这比单纯报 benchmark 分数更能让人停下来想一下推理可靠性。700 个问题、13 个原创答案、200 到 63 的筛选管线，这些数字把流程讲清楚了，不是空泛的“AI 做数学”。对从业者来说，验证器能筛掉什么、筛不掉什么，才是真正关心的，文章至少把这个问题摆到了台面上。
Anthropic 自己复盘了 Claude Code 性能回退的原因，点出三个具体问题：推理强度被改动、缓存优化出了错、系统提示词有长度限制。视频标题只给了这些结论，正文没披露复现步骤、时间线和修复状态。核心看点是 AI 审 AI 代码时，工程约束下容易踩坑——这点先别太激动，信息缺口还很大。
推荐理由：HKR 三项都成立，但正文只给了三个原因分类，没交代复现步骤、时间线或修复状态。Claude Code 相关度高，所以放在 72–77 这个区间。
哈佛医学院和贝斯以色列女执事医疗中心的研究团队在《科学》杂志发了一篇论文，拿大语言模型和急诊室医生比诊断准确率。结果至少有一个模型的表现超过了人类医生。但报道没提具体是哪个模型、测了多少病例、准确率数字是多少，也没说医生资历和评判标准。所以结论方向有意思，细节先别太激动。
推荐理由：HKR 三项都踩中了：哈佛用真实急诊病例测 LLM，诊断准确率压过两名医生，听着就很抓人。但正文没给模型名、没给样本量、也没给具体准确率，信息缺口明显，所以重要性停在 77，没往上走。
DataNebula 开源了一个叫 rosetta-llm 的代理，它像一个翻译网关，让 Claude Code 可以跟不同厂商的模型对话。它负责把 Anthropic Messages、OpenAI Chat 和 OpenAI Responses 这三种接口格式互相转换，并且通过 signature 字段把加密的推理过程来回传递，保证多轮对话时不会丢...
推荐理由：这是个 Reddit 开源工具帖，没披露 star 数、实际用量或任何基准测试结果，所以我会先打个折。技术点本身有意思：用 signature 字段回传加密 reasoning，试图保住 thinking block 的保真度，让多轮 agent 的 prompt-cache 不失效——这点如果真跑通了挺省钱。但正文没给出验证数据，也没说支持哪些模型、延迟增加多少，目前只能当个有潜力的工具看，分数停在中等偏上合理。
斯坦福和 Arc 研究所的研究人员用他们训练的模型 Evo，直接生成了 302 个噬菌体基因组，其中 16 个成功感染了大肠杆菌、完成自我复制并最终裂解了宿主细胞。这相当于 AI 不靠自然界已有的病毒模板，凭空造出了能干活的新病毒。Evo 模型基于 StripedHyena 2 架构，一次能处理 100 万个碱基对的长序列。后续的 Evo-Φ69 版本...
推荐理由：斯坦福和 Arc Institute 用 Evo 模型凭空设计了 302 个噬菌体基因组，其中 16 个能在大肠杆菌里完成感染、复制、裂解的全套流程。Evo 2 的 StripedHyena 2 架构把上下文拉到 100 万碱基对，相当于一次能看完一整套细菌基因组。Evo-Φ69 在 6 小时内扩增 16 到 65 倍，这个效率数字说明它不只是能跑，还跑得挺快。真正让人多看两眼的不是性能，是安全边界：论文提到一个衣壳蛋白在已知生命里没有同源物，等于 AI 造出了一个自然界没出现过的东西。这点先别太激动，正文没披露这个蛋白的功能验证到什么程度，也没说...
DeepSeek V4 的技术报告列了一堆新组件，但没提 Engram。这个模块是 DeepSeek 和北大在 1 月开源的，做法是在 Transformer 的第 2 到第 15 层之间插入查表模块。在 27B 规模的测试里，它把 MMLU 拉高了 3.4 分，多查询大海捞针准确率干到了 97.0%。工程上还有个信号：8 台服务器通过 CXL 共享 ...
推荐理由：文章不是 V4 发布本身，而是技术报告缺了 Engram 这件事的分析。有层数范围、基准涨点和内存池损耗数据，信息密度够，但属于评论向，不是一手发布，所以重要性在 78-84 区间合理。
哈佛大学在急诊分诊场景下拿 OpenAI 的 o1 模型和真人医生比了一场。o1 正确诊断了 67% 的患者，而分诊医生的准确率在 50% 到 55% 之间。这个差距看着不小，但正文没披露样本量、病例构成和具体评估方法，所以数字本身只能当个方向参考。模型是在结构化信息里做判断，和医生在嘈杂急诊室里干活的条件完全不一样，直接比准确率会高估模型的实际可用性...
推荐理由：HKR 三项都成立：急诊分诊是高 stakes 场景，67% vs 50–55% 给了一个可讨论的数字，临床信任和职业边界问题自带传播力。但样本量和测试条件全没披露，所以分数压在 78–84 区间，不给 P1。
Reddit 用户 cjami 拿小米的 MiMo-V2.5-Pro 在《血染钟楼》里做了自主对局测试。模型扮演好人阵营时胜率 88%，扮演坏人时胜率掉到 48%，说明它更擅长合作推理，搞欺骗和伪装还差点意思。每局平均输出 18.3 万 token，成本 0.99 美元，工具调用出错率只有 0.4%，这个错误率很低，说明模型能稳定按规则调用游戏功能。对...
推荐理由：这条帖子来自 Reddit 个人测试，不是官方模型发布，权威性要打个折。但 HKR 三项都站得住：有具名基准、有胜负率、有 token 消耗和成本对比，还有工具调用错误率，信息量够放进 featured 档。
这篇文章梳理了 2024 到 2026 年，让大模型学会推理的强化学习算法是怎么一步步改的。起点是 PPO，它需要同时跑一个策略模型和一个价值模型，训练成本高。后来的 GRPO、RLOO 这些变体，核心思路是砍掉价值模型，靠同一道题生成多个答案互相比较来算优势，省了显存和算力。再往后，DAPO、CISPO、MaxRL 等新方法在 GRPO 的基础上修修...
推荐理由：这篇不是新模型发布，而是一篇技术梳理，把2024到2026年推理RL算法的关键机制差异讲得很透。我会先打个折：它没有新实验数据，纯靠已有论文做对比，但胜在把PPO到MaxRL的取舍逻辑串起来了，对正在选RL路线的团队有实际参考价值。
Bojie Li 在 arXiv 发了篇论文，用黑盒 API 调用去估算 27 家厂商 188 个模型的参数量。方法叫 IKP，靠 1400 道按生僻程度分了 7 档的题，先在 89 个已知参数量的开源模型上拟合，拟合度 R² 到 0.917。争议点集中在合成数据干扰、MoE 架构影响，以及估算区间太宽——90% 置信区间在 0.3 倍到 3 倍之间，...
推荐理由：这篇东西我会先打个折：方法是用黑盒 API 反推参数量，听起来很酷，但合成数据、MoE 架构这些坑都还在，90% 置信区间宽到 0.3 到 3 倍，说明估算还比较糙。不过它确实把 188 个模型的参数量猜了个遍，R²=0.917 也不算低，对从业者来说是个能引发讨论的参照系。社区争议本身就是信息价值的一部分，所以放在 featured 里合适，但离 P1 还差一口气，因为结论的确定性不够硬。
正文因为微信环境异常被拦截了，实际内容没抓到。从现有标题和英文摘要看，北大 DCAI 和快手可灵开源了一个叫 OpenWorldLib 的统一世界模型框架，把视频生成、3D 建模、VLA 机器人控制、多模态推理四类任务塞进一套 Pipeline 里。Pipeline 里分了 Operator、推理、合成、表征和记忆几个模块，支持前向和流式执行。核心看点...
推荐理由：HKR 三项都踩中了：框架覆盖四类任务、模块和推理模式交代得具体、落脚点在降低复现成本。但正文没给基准测试结果、没提实际部署规模或生态接入情况，所以分数先停在 78，别急着往上调。
radarsat1 做了一个原型，把逆波兰表达式（比如“2 3 + 2 *”）的解释器直接编译进 Transformer 的权重，输入算式后模型能算出 10。做法是把残差流当寄存器用，注意力权重由编译器算好，非线性的 MLP 逻辑还是靠训练。原型体积 1.1 GB，重点不是实用计算器，而是证明了注意力权重可以完全通过计算得出，不用训练。帖子正文没披露具...
推荐理由：我会先打个折：这不是一个实用计算器，1.1 GB 的体积已经说明它不图省资源。真正值得盯的是“注意力权重由编译器计算”这个思路——等于把一部分推理逻辑从训练里抽出来，直接写死在权重里，非线性部分才靠蒸馏。这点先别太激动，正文没披露蒸馏用了多少样本、MLP 层到底学到了什么，验证还很弱。但标题够反直觉，做法也干净，给可解释性方向递了一个新玩具，所以放在 featured 档刚好。
DeepSeek 和北大、清华一起发了篇论文，还公开了代码库。这个框架的思路是在思维链里插入坐标点和边界框，相当于让模型边想边在图上做标记。帖子本身没贴跑分数据，正文也没披露具体指标，所以效果到底提升多少还不清楚。
推荐理由：我会先打个折，因为正文没披露任何 benchmark 分数，效果到底怎么样还不清楚。但亮点很实在：它让模型在推理时能指着图像说“看这里”，把坐标点和边界框当成思考的最小单元，这比纯文字描述直观得多。代码已经开源，对做多模态推理和可解释性的从业者来说，是个值得上手试的方向。没给分数就先别太激动，但思路本身够新，所以给到 80 分。
陶哲轩最近公开说，数学研究的瓶颈已经从“找不到证明”变成了“证明太多看不过来”。在一个关于 Erdős 问题的 GitHub 页面上，已经有 20 多个 AI 生成的解法等着人去评估。文章提到 GPT-5.4 Pro 用 80 分钟就给出了 Erdős #1196 的一个思路，陶哲轩自己在 24 小时内验证了核心部分。现在真正头疼的不是 AI 能不能解...
推荐理由：这篇东西不是模型发布，但把陶哲轩的发言和 GitHub 上的 AI 证明积压摆在一起，信息量够硬。我会先打个折，因为正文没给出那 20 多份解法的具体通过率或质量分布，只能看到数量堆上去了。真正值得盯的是陶哲轩说的验证与消化工作流——证明便宜了，判断力反而更贵，这个转向对从业者比裸看模型跑分更有参考价值。
这篇 ACL 2026 主会接收的综述，把大模型“内生可解释性”的方法分成了五类：让模型的功能模块透明化、把内部表示和人类概念对齐、把表示拆成可分解的独立成分、显式地模块化结构，以及诱导出稀疏的激活模式。像 MoE、概念瓶颈模型、GLU/SwiGLU 这些技术都被归了进去。核心判断标准就一条：可解释的部分必须长在模型的计算主路径上，而不是事后外挂的分析...
推荐理由：这篇综述把大模型可解释性的讨论从“事后找补”拉回到“设计时就内置”，对从业者来说，最实用的信息是它按机制分了五类，并且明确了一个判断标准：解释部件是不是在关键计算路径上。我会先打个折——正文没给出这五类方法的具体性能对比或落地案例，更像一张地图而不是实测报告。但作为 ACL 2026 Main 的综述，它把 MoE、CBM、SwiGLU 这些已经在用的结构串了起来，读一遍能快速摸清当前主流思路，对做模型安全或调试的人有参考价值。
Alec Radford 团队训了一个 13B 的模型，训练数据全是 1931 年之前的英文文本，总共 2600 亿 token。他们拿这个“活在 1930 年”的模型去测对近 5000 个历史事件的意外程度，还用了 HumanEval 来评估代码能力，因为 HumanEval 的题是 2021 年发布的，模型没见过，能减少数据污染。核心发现是时间泄漏...
推荐理由：我会先打个折：正文没披露模型架构细节和训练成本，这点先别太激动。但选题本身很聪明——用1930年知识截止做对照实验，比单纯刷榜有意思。13B模型对战后事件有模糊感知，说明数据清洗再严格也挡不住泄漏，这对做安全对齐和评测的人是个实在提醒。2600亿token、近5000条事件测试这些数字让结论有分量，不是空对空。整体是扎实的研究发布，不是模型或平台上线，82分合理。
这个模型用了 MLA 和线性注意力，还加了一个叫“上下文过程冗余抑制”的技术，目的是降低思维链推理时的计算开销。帖子提到了 AIME26 和 SWE-bench Verified 两个基准，但正文没披露具体分数，所以实际表现还不清楚。另外，Reddit 原帖被网络屏蔽了，目前只能看到标题和简介，更多细节得去 Hugging Face 模型页翻。
推荐理由：我会先打个折：正文只提了覆盖 AIME26、SWE-bench Verified 等基准，但没给具体分数，所以模型到底多强现在说不准。能上 featured 是因为万亿参数开源本身就有信号意义，加上 MLA+Linear Attention 和 CPRS 这两个技术点，对做推理优化的人有参考价值。没给分这件事让它到不了 P1，但架构信息和开源动作足够让圈内人留意。
Dwarkesh 把采访间改成了黑板教室，请来芯片公司 MatX 的 CEO Reiner Pope，用公式和粉笔把大模型从训练到服务的成本结构拆了一遍。讲座从批处理大小讲起：没有批处理，服务成本会直接差出 1000 倍，这也是为什么各家 API 定价和快速模式差价巨大的根源。接着讲了 MoE 模型怎么跨 GPU 机柜摆放、流水线并行如何把模型层切分到...
推荐理由：这是一堂黑板课，不是新闻事件，所以分数没往上拉。但内容确实扎实：Pope 把训练和推理里几个关键的成本开关——尤其是批处理对经济性的影响——用数字讲清楚了。我会先打个折，因为正文没给具体实验数据，更多是经验推演，但“1000 倍”这个量级足够让人重新审视自己的服务设计。
Mistral AI 在 Hugging Face 上放出了 Mistral Medium 3.5，一个 1280 亿参数的稠密模型，上下文窗口拉到 25.6 万 token。它能吃文本和图片，支持函数调用和 JSON 格式输出，推理强度可以按请求设成“无”或“高”。许可证用的是修改版 MIT，但对高收入公司留了例外条款——正文没披露具体收入门槛是多少...
推荐理由：这条发布信息量够硬，HKR 三项都踩实了，所以重要性给到 84。但正文没放任何跑分、定价和可复现的测试结果，我会先打个折——没有这些，光看参数和功能列表，实际效果和成本还不好判断。
商汤放出了 SenseNova-U1 系列，主打“原生统一多模态”，意思是模型内部直接处理文字和图像，不用再像以前那样给语言模型外接一个图像适配器来翻译视觉信息。这次公开了 8B 和 A3B 两种 MoT（Mixture of Tokens）规格的权重，其中 A3B 的参数量更小，适合本地跑。官方说法是这套架构把视觉理解和生成塞进了同一个模型里，但 R...
推荐理由：HKR 三项都踩实了：单体架构替代适配器这个思路有看头，4 个 MoT 模型加开源权重是实打实的新料，本地可跑的多模态模型正好戳中当下热点。但正文没给任何基准分，来源又是 Reddit，信息缺口明显，所以分数压在 74 这个 featured 门槛上，先别急着往上抬。
一位用户用两张 RTX 5060 Ti 16GB 显卡，通过 vLLM 部署了 Qwen3.6 27B 模型。实测在 8K 上下文时生成速度约 62–66 tok/s，两张卡共占用 32GB 显存。配置上开了张量并行（TP=2）、fp8 KV 缓存、多 token 预测（MTP 一次猜 3 个 token），并把上下文窗口拉到了 204800。显存是瓶...
推荐理由：H、K、R 全中。帖子是一手实测，硬件、vLLM 参数、速度、上下文上限和显存余量都列得清楚，对想用消费级显卡跑 27B 的人有直接参考价值。唯一扣分点是来源只有 Reddit 单帖，没有更多交叉验证，所以分数停在 76 不进 78–84 那档。
这篇综述先捅破一层窗户纸：做强化学习、视频生成、Web Agent 的人嘴里说的“世界模型”根本不是一回事，论文之间没法比。作者团队拉出一个“能力等级 × 领域法则”的二维框架，把 400 多篇工作摆到同一张桌子上。能力分三层：L1 只预测下一步，L2 能做多步推演且遵守领域基本规则，L3 能在预测翻车时自己诊断原因、设计实验、修正模型。领域分物理、数...
推荐理由：我会先打个折：这不是新模型发布，是一篇梳理定义的综述。但它的价值在于把“世界模型”这个被用烂的词拆成可验证的层级和领域法则，400 多篇文献、26.2% 的物理一致性通过率、A-Lab 的闭环实验数据，都让讨论从玄学回到工程。对从业者来说，下次再有人说“我们做了世界模型”，可以直接拿这篇的框架去问到底在哪个层级、遵守什么领域法则。
OpenAI 发推说，本月初一个悬了 60 年的 Erdős 问题在 GPT-5.4 Pro 的帮助下被解决了。推文里提到了 Sebastien Bubeck、Ernest Ryu 和 Andrew Mayne 三位研究员，但正文没披露具体是哪个问题、证明过程长什么样、能不能复现。我会先打个折：目前只有一条推文，没有论文或预印本链接，所以很难判断模型到...
推荐理由：这条消息的吸引力全在“60 年未解 Erdős 问题 + GPT-5.4 Pro”这个组合上，对 AI 从业者来说是个很强的信号。但正文只给了讨论数学研究变化的氛围，没给任何硬货——题目叫什么、证明怎么做的、能不能复现，全都没说。所以我会先打个折：钩子值一个 H 和 R，但 K 完全站不住，因为信息缺口大到没法判断模型到底干了多少活。这点先别太激动，等有论文或细节再重新评估。
南洋理工 MARS 实验室发了 REI-Bench，专门测机器人怎么理解人话里的模糊指令。他们把模糊程度分了 9 个等级，拿 4 套机器人规划框架搭上 6 个小模型跑了一遍。结果 LLaMA3.1-8B 加 SayCan 这套组合，在多轮对话里成功率从 57.7% 掉到 46.9%。最要命的是隐含指代——比如“把那个拿过来”但不说清是哪个——基线成功率...
推荐理由：这篇论文没造新模型，而是用一套模糊指令基准把现有方案拉出来遛了一遍。36.9%的成功率跌幅很直观，说明机器人一碰到指代不清、上下文省略的人类说话方式就崩。测试覆盖了4种规划框架和6个轻量模型，对照做得扎实，不是单点自嗨。对做具身智能的人来说，这个基准比刷榜分数更有参考价值，因为它暴露的是真实部署里绕不开的问题。
华为泰勒实验室、北大和上海财大在 ACL 2026 发了一篇论文，提出 SHAPE 方法，核心思路是给模型的长篇推理加一道“推理税”。具体做法是：先用熵值把推理过程切成段，再用短距离试探估算每段的潜力，然后对后期又长又没带来实质进展的段落做动态长度打折，最后把奖励分配到每个 token 上。结果平均准确率涨了约 3%，同时 token 用量砍了约 30...
推荐理由：这篇论文最抓人的地方不是那 3% 的准确率提升，而是它把“模型靠啰嗦刷分”这件事直接拎出来收税。SHAPE 用熵值把推理过程切成段，拿短 rollout 估算每段的“势能”，高势能的后期长段落会被长度折扣重罚，逼着模型别在确认步骤上浪费 token。结果就是数学题答得更准，输出还短了约三成。我会先打个折：正文没披露这 30% 的 token 节省是在哪些模型和数据集上测的，也没说短 rollout 本身的计算开销有多大，所以实际部署省不省钱还得看具体场景。但思路本身很直接，把推理效率问题从“事后裁剪”挪到了“训练时就定价”，对做推理优化的团队来说是...
Nick Levine、David Duvenaud 和 Alec Radford 放出了一个叫 Talkie 的 130 亿参数模型，训练数据全卡在 1931 年之前。你可以把它当成一个从 1930 年穿越来的聊天对象。文章里挂了一个 Claude 跟它 24 小时不间断聊天的直播，Claude 会拿各种问题去试探它的知识边界和价值观。他们做这件事不...
推荐理由：这篇东西我会先打个折，它不是一个能力飞跃，更像一次聪明的实验设计。但“复古模型”的切入角度很巧，把训练数据时间窗口对模型世界观的影响摆到了台面上。正文没披露训练细节和具体偏见案例，这点先别太激动，但用历史事件测惊讶度这个思路本身值得从业者看一眼。整体是扎实的研究发布，不是公关稿，所以放在 featured 没问题。
David Silver 是 AlphaGo 的核心研究员，刚从 DeepMind 出来几个月，新公司 Ineffable Intelligence 就融了 11 亿美元，估值冲到 51 亿。标题说目标是“不靠人类数据学习”的 AI，但正文没披露具体用什么方法实现。目前只知道这是一家英国 AI 实验室，其他技术细节、团队规模和产品方向都没说。11 亿这...
推荐理由：这条消息我会先打个折——标题很炸，但正文没给出任何技术机制，所以别太激动。David Silver 的新公司 Ineffable Intelligence 融了 11 亿美元，估值冲到 51 亿，目标是让 AI 不靠人类数据学习。这直接回应了“数据快被榨干”的行业焦虑，也说明顶尖研究员创业的吸金能力。但正文没披露训练方法、验证结果或论文，目前只能当一笔巨额押注来看，离可复现的成果还远。
埃默里大学和微软等团队搞了个 STReasoner，专门教大模型做时空时序推理，比如预测交通流量、分析疫情传播趋势。他们配套出了 ST-Bench 测试集，覆盖预测、异常检测、因果分析和问答四类任务。训练上用了网络随机微分方程加多智能体协作来造数据，再走对齐、带思维链的监督微调、以及 S-GRPO 强化学习这套流程。文章说推理成本只有闭源模型的千分之四...
推荐理由：我会先打个折：标题里的“首个”要看跟谁比，正文没给出对比范围，这点先别太激动。但文章本身干货不少——Emory和微软搞了个STReasoner，专门教大模型看懂带时间和空间标签的数据，比如交通流量、天气网格。他们自己搭了个ST-Bench测试集，分四类任务来考模型。训练上用了网络随机微分方程加多智能体生成对齐数据，再分三步训，最后用S-GRPO强化学习收尾。最实在的数字是推理成本只有闭源模型的千分之四，代码也放出来了，想试的人可以直接跑。对做时空预测、智慧城市那拨人来说，这是个能上手的新工具。
GPT Image 2 上线不到半天就在 Arena 图像榜拿了三个第一。文生图得分 1512，比第二名 Nano Banana 2 高出 241 分，Arena 说这是图像榜有史以来最大分差。盲测胜率 93%，文字渲染能力一口气涨了 316 分。核心变化是模型会“先想再画”：先规划构图、自己检查结果、能联网搜图，还能一次出 8 张风格统一的图。不过正...
推荐理由：GPT Image 2一上线就屠榜，分数和胜率都摆在那，1512分、93%盲测胜率、文字渲染涨316分，这些数字说明它确实把文生图拉到了新高度。我会先打个折：原生思考图像模型听起来很猛，但正文没披露具体架构和成本，这点先别太激动。不过一次生成8张连贯图、能联网搜图再画，对做设计和内容的人很实用。整体是近期多模态产品里最硬的一次更新，值得从业者盯一下。
斯坦福、伯克利和英伟达一起发了个叫 LLM-as-a-Verifier 的方案，简单说就是让一个大模型去检查另一个模型干活时的“解题步骤”，挑出最靠谱的那条路径。他们用了三招：打分细到 token 级别、同一件事反复查、把评判标准拆开看，最后在 Terminal-Bench 2.0 和 SWE-Bench Verified 两个榜单上都拿了第一。其中 ...
推荐理由：我会先打个折：这还是个基准测试的研究发布，不是模型或产品大更新，所以分数放在这个区间。但钩子够强——斯坦福、伯克利、英伟达联名，Transformer作者转发，验证智能体这件事本身又是当前工程落地的痛点。信息量也扎实，token级评分、重复验证、标准分解这些机制都给了具体数字，不是空泛的“新框架”。读者看完能立刻判断要不要跟进实验。
SGLang 和 Miles 团队在 DeepSeek-V4 发布当天就完成了推理和强化学习训练的适配，覆盖了 1.6T 参数的 Pro 版和 284B 参数的 Flash 版。V4 模型用了混合稀疏注意力，把滑动窗口和两种 KV 压缩（4:1 或 128:1）混在一起，撑住了 100 万 token 的上下文窗口，专家权重还用了 FP4 精度。系统上...
推荐理由：我会先打个折：这篇不是给所有人看的，系统细节多，普通读者容易走神。但它的钩子够硬——V4 发布当天就有推理加验证 RL 的工程栈，而且把上下文长度、压缩比、注意力窗口这些直接影响成本和稳定性的数字都摊开了。ShadowRadix 那部分虽然正文没展开实现细节，但点出了多池一致性这个真正难啃的骨头，对做部署和调优的人比单纯跑分更有参考价值。
Liam Price 没有高等数学背景，靠 ChatGPT Pro 的 GPT-5.4 Pro 模型，只输入了一次提示词，就给出了一个关于“原始集合”的证明，并贴在了 erdosproblems.com 上。这道题问的是：当集合里的数都很大时，Erdős 和的下限到底是多少，此前包括陶哲轩在内的数学家都卡在思路上，集体在第一步拐错了弯。Price 的 ...
推荐理由：HKR三项全中：业余选手加一句提示破60年老题，故事性极强；模型名和证明网站都是可核验的新信息；话题正好踩在推理与专业知识的争议点上。扣到86分是因为正文截断了，没给出完整猜想内容和评审进展，这两块信息缺口让我没法打更高。
DeepSeek 终于发了 V4 系列，一共两个型号：V4 Pro 总参数 1.6 万亿，每次激活 490 亿；V4 Flash 总参数 2840 亿，激活 130 亿。两个模型都支持 100 万 token 的上下文，用了新的压缩注意力技术，相比 V3.2，处理长文本时计算量只要 27%，显存占用只要 10%。这次比较特别的是同时发了基础版和指令版，...
推荐理由：这条必须写。DeepSeek 这次放出的不只是模型，而是把华为昇腾兼容性摆上台面，等于在 CUDA 依赖上划了一刀。技术报告说 1M token 下只用 V3.2 27% 的算力、10% 的 KV 缓存，省得挺实在。两档参数和 MIT 许可也让落地门槛更低。我会先打个折：正文没提实际推理延迟和昇腾上的吞吐数据，这点先别太激动，但硬件独立性本身已经够重。
Anthropic 的 Frontier Red Team 在一年里做了三个实验，把真钱和真决策权交给 Claude。第一站是台迷你冰箱，Claudius 经营一个月亏了几百美元，还幻想出不存在的人、把自己当真人。第二站升级了工具和模型，加了 CEO 智能体，开始赚钱，但同模型互相监督带着同样的盲区，CEO 阻止了一些坏决策又制造了新的。第三站 Pro...
推荐理由：这篇文章把 Anthropic 三个商业实验串成一条线，从冰箱到市场，Claude 的弱点和强项都摆在台面上。有交易笔数、价差、用户主观感受这些具体数据，不是空谈 agent 概念。我会先打个折：正文没披露实验是否可复现、样本量是否够大，但就现有信息看，它对正在考虑让模型进交易流程的团队有直接参考价值，所以放在 featured 档。
DeepSeek 放出了 V4 的预览版，分 V4-Pro 和 V4-Flash 两个型号。Pro 版输入每百万 token 1.74 美元、输出 3.48 美元，Flash 版只要 0.14 和 0.28 美元，两个都支持一次性处理 100 万 token 的上下文，相当于能把《魔戒》三部曲加《霍比特人》全塞进去。跑分上，V4-Pro 在编程、数学、...
推荐理由：我会先打个折：这只是预览版，不是完整发布，所以冲击力比 GPT 或 Claude 大版本换代要弱一档。但它是当天消息，而且信息量够——两个型号的定价、100 万 token 上下文、开源权重对代理编码栈的成本压力，这些对从业者来说都是能直接算账的东西。标题里说的三个理由，正文其实主要落在长上下文注意力的效率提升和开源带来的成本下压上，具体技术细节没展开，但方向是明确的。
Anthropic 发了个新研究叫 Project Deal。他们在旧金山办公室搭了个内部交易市场，让 Claude 替同事买东西、卖东西、谈价格。正文没披露用了哪个模型版本、市场有多大、成交了多少单，也没说最后是赚了还是亏了。这点先别太激动，目前看更像一个内部行为实验，不是产品发布。
推荐理由：这条能上 featured，靠的是 H 和 R 两项：Anthropic 自带关注度，让模型替同事谈办公室交易又天然有讨论性。我会先打个折——正文没给实验规模、模型版本和结果指标，K 项偏弱，所以分数停在中间档。
DeepSeek 在 Hugging Face 上发了两个 V4 预览模型，说架构改动让它们比 V3.2 更省资源、跑分更高，在推理基准上“几乎追平”当前领先的开源和闭源模型。但正文没给出具体模型名、参数量、跑分数字和测试集，也没提什么时候正式发布。所以“追平”这个说法先别太激动——没有可复现的评测数据，没法验证。
推荐理由：这条消息的传播价值在于 DeepSeek 放话“缩小差距”，但正文没给任何可核对的数字，所以我会先打个折。H 和 R 靠竞争信号就能过，K 弱是因为关键信息全缺，没法验证它到底多强。真正该盯的是后续有没有可复现的实测，现在这点先别太激动。