AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签：推理模型×
6月10日
07:14
07:14orange.ai@oran_ge
88°
Claude Fable 5 今日正式发布，基于 Mythos 底座并新增安全护栏，是自 Claude 4.5 以来最重大的模型升级。该模型在软件工程、知识工作、视觉识别和科学研究等几乎所有基准测试中均处于顶尖水平，任务越复杂优势越明显。Andrej Kapathy 评价其能“解放思想”，用户可交付更大任务而无需检查代码。价格方面，输入 10 美元、输出 50 美元、缓存输入 1 美元，长文本场景下单句可能花费 10 美元，需注意配额。Claude Fable 5 将以原价在 Cola 平台上线供体验。
AI模型Claude Fable 5Mythos安全护栏推理模型编程助手
推荐理由：Fable 5 解决了复杂长任务执行中的模型能力瓶颈，做 AI 开发或重度使用的团队可以直接体验，感受“解放思想”的编程体验——但记得先设好预算配额。
原文
06:51
06:51IT之家（博客/媒体）
88°
Anthropic 于 6 月 9 日发布 Claude Fable 5 和 Claude Mythos 5 两款 AI 模型，其中 Fable 5 面向普通用户，是当前公开可用能力最强的 Claude 模型，在软件工程、知识工作、视觉和科学研究领域表现卓越，自主运行时间更长。Mythos 5 则通过 Project Glasswing 项目向网络安全和基础设施提供商开放，具备全球最强的网络安全能力，并在药物设计和分子生物学研究中提速约 10 倍。两款模型定价均为每百万输入 10 美元、输出 50 美元，Fable 5 已全面上线，Mythos 5 暂限特定合作伙伴使用。
AI模型Claude Fable 5Claude Mythos 5Anthropic推理模型网络安全
推荐理由：Claude 用户终于等来最强公开模型——Fable 5 在长任务和复杂推理上超越 Opus，做软件工程、金融分析或科研的可以直接上手体验。
原文
06:49
06:17
06:12
04:52
04:52Anthropic: Newsroom（资讯）
72°
Anthropic 于 2026 年 6 月 9 日宣布推出下一代 AI 模型 Claude Fable 5 和 Claude Mythos 5。这两个模型分别针对高难度知识工作和复杂编程问题进行了优化。Fable 5 在推理、多步分析和创造性问题解决上表现突出，而 Mythos 5 则专注于代码生成、调试和架构设计。此次发布标志着 Anthropic 在专业领域的深度布局，旨在为研究人员、工程师和高级开发者提供更强大的工具。
AI模型AnthropicClaude Fable 5Claude Mythos 5推理模型编程助手
推荐理由：Anthropic 将模型细分为知识工作与编程专用版本，解决了通用模型在专业场景下不够深入的问题。做研究、写复杂代码的团队可以直接升级工作流，值得关注。
原文
03:27
03:27Andrej Karpathy@karpathy
91°
Andrej Karpathy 在 X 上发文称，Claude Fable 5 是与 Mythos 同底层模型但增加了安全护栏的版本。他认为这是自 Claude 4.5 以来又一次重大版本跃升，尤其在长时复杂问题求解上表现惊艳。模型能理解更宏大的任务并自主推进，让人几乎不想再盯着代码。Karpathy 指出模型仍有小毛病，安全护栏在发布初期可能过于敏感，但整体上感觉软件开发正变得像水龙头一样即开即用。他预测杰文斯悖论将生效，自己对软件的需求会大幅增长。
AI模型Claude Fable 5推理模型编程助手Karpathy安全护栏
推荐理由：Karpathy 的实测感受比任何跑分都有说服力——Claude Fable 5 让复杂编程任务变得像对话一样自然，做 AI 应用或深度编程的开发者值得亲自体验这种“放手让模型干”的新感觉。
原文
03:17
03:12
03:12Aadit Sheth@aaditsh
91°
Anthropic 今日推出新模型 Claude Fable 5，属于 Mythos 级别，性能超越此前所有通用模型。Stripe 用它一天内完成了 5000 万行 Ruby 代码的全库迁移，而人工需要两个月。该模型仅凭屏幕截图就通关了《宝可梦 火红》，无需地图或导航工具。在药物设计中，它为 14 个蛋白靶点中的 9 个设计了候选分子，其中一项科学假设被独立实验室证实。定价为每百万输入 token 10 美元、每百万输出 token 50 美元，不到前代顶级模型的一半。
AI模型Claude Fable 5Anthropic代码迁移药物设计推理模型
推荐理由：Claude Fable 5 在代码迁移、游戏通关和药物设计上展示了惊人的自主能力，且价格大幅降低，做 AI 应用开发或科研的团队值得立即关注。
原文
03:10
03:00
03:00Replicate@replicate
72°
Anthropic 最新模型 Claude Fable 5 现已通过 Replicate 平台正式向公众开放。该模型属于 Mythos 级别，性能超越此前所有公开发布的模型，在推理、代码生成和复杂任务处理上表现突出。Replicate 提供了便捷的 API 和在线试用入口，开发者可以立即体验。
AI模型AnthropicClaude Fable 5推理模型Replicate模型发布
推荐理由：Claude Fable 5 是 Anthropic 目前最强的公开模型，性能全面超越前代，做 AI 应用开发或需要高推理能力的团队可以直接通过 Replicate 试用，值得第一时间上手。
原文
02:54
02:14
01:52
01:48
01:21
01:08
00:50
00:50rohanpaul_ai@rohanpaul_ai
88°
Anthropic 于今日推出 Claude Mythos 的公开版本，代号“Fable”。该模型定价为 Opus 的两倍，但低于此前 Mythos 预览版 5 倍 Opus 的传闻价格。Fable 将附带严格的安全限制，在网络安全使用上不如之前给 Project Glasswing 合作伙伴的受限预览版开放。该模型在长周期、多步骤任务和智能体工作流方面预计表现更强。Mythos 最初于 2026 年 4 月以预览形式推出，在编码、推理和网络安全领域能力突出，但因安全问题未公开发布。
AI模型Claude MythosFableAnthropic推理模型智能体
推荐理由：Anthropic 终于把最强模型 Mythos 公开了，虽然价格不菲但比预期便宜，做复杂智能体任务和长流程自动化的团队可以直接评估是否值得投入。
原文
6月9日
17:09
16:23
10:35
10:35arXiv cs.AI@Subramanyam Sahoo
精选
大语言模型常会“不懂装懂”，对超出知识边界的问题给出流畅但错误的回答。研究者提出结构化无知证书（SICs），要求模型明确输出缺失的领域交集、所需概念和检索查询，而非直接生成答案。团队构建了7347条跨领域未知-未知数据集，并用GRPO微调14B模型，使SIC输出JSON有效率达99.46%，概念特异性评分0.967。该方法证明，让模型显式表达认知边界是可学习且可衡量的能力，对提升AI可靠性和安全性有重要意义。
论文推理模型幻觉缓解结构化输出未知-未知GRPO
推荐理由：这项研究直接戳中了LLM的“幻觉”痛点——用结构化输出让模型承认无知，做AI安全或可靠性研究的团队值得关注，尤其适合需要高可信度输出的应用场景。
原文
10:26
10:26arXiv cs.AI@Shumeng Yang, Yisu Liu, Jiayi Zheng, Zhaohui Yang, Linjing Li
精选
论文提出PAEC（位置感知熵校准）方法，解决强化学习（RLVR）中策略熵过早崩溃的问题。传统全局熵正则化对所有位置均匀增加熵，在长推理轨迹中效率低下。PAEC通过局部top-p熵和top-two候选竞争构建软掩码，对决策敏感位置施加基于锚点的下界惩罚，防止这些位置的熵崩溃。在五个数学推理基准测试中，PAEC相比强RLVR基线提升了多数投票的宏平均性能，尤其在AIME类任务上增益明显。结果表明，推理RL中的熵管理应聚焦于决策敏感位置的选择性探索，而非均匀随机注入。
论文强化学习推理模型熵校准数学推理RLVR
推荐理由：做LLM推理强化学习的团队终于有了更精细的熵控制方案——PAEC在数学推理任务上直接提升多数投票性能，做RLVR的开发者值得关注这个位置感知的新思路。
原文
09:27
09:27arXiv: DeepSeek@Xiaojun Wu, Cehao Yang, Honghao Liu, Xueyuan Lin, Wenjie Zhang, Zhichao Shi, Xuhui Jiang, Chengjin Xu, Jia Li, Jian Guo
精选
Bayesian-Agent 是一个跨框架的 LLM Agent 技能优化框架，它将可复用的技能和 SOP 视为关于冻结模型在特定提示、上下文和环境下能否成功的假设。该框架记录验证过的轨迹证据，维护每个技能的特征条件分类后验，并根据后验状态执行修补、拆分、压缩、退役和探索等操作。在 deepseek-v4-flash 上，增量修复将 SOP-Bench 从 80% 提升至 95%，Lifelong AgentBench 从 90% 提升至 100%，RealFin-Bench 从 45% 提升至 65%。该框架还支持 GenericAgent、mini-swe-agent 和 Claude Code 等后端，表明 Agent 技能进化应视为后验引导的优化，而非未校准的提示积累。代码已开源。
论文LLM Agent技能进化后验引导开源/仓库推理模型
推荐理由：做 LLM Agent 开发的团队终于有了一个系统化的技能进化方法，不用再靠试错和启发式反思——Bayesian-Agent 用后验概率指导优化，效果显著且可审计，建议直接看论文和代码。
原文
02:53
02:51
01:40
00:44
6月8日
11:17
11:17arXiv cs.AI@Cong Chen, Guo Gan, Kaixiang Ji, ChaoYang Zhang, Zhen Yang, Guangming Yao, Hao Chen, Jingdong Chen, Yi Yuan, Chunhua Shen
MemDreamer 是一种新型框架，通过解耦感知与推理，将长视频理解转化为智能体探索过程。它采用分层图记忆架构，将视频流增量构建为三层语义抽象，并利用智能体工具增强检索机制，在推理时通过观察-推理-行动循环导航节点和逻辑边。实验表明，MemDreamer 在四个主流基准测试中达到最先进水平，与人类专家的差距缩小至仅 3.7 分。它仅使用全上下文 2% 的推理窗口，却带来 12.5 分的绝对准确率提升。此外，统计发现视觉语言模型在逻辑推理与长视频理解性能间存在强正线性相关，表明智能体能力扩展是多模态理解的新范式。
论文长视频理解智能体检索分层图记忆视觉语言模型推理模型
推荐理由：长视频理解一直受限于 token 爆炸和注意力稀释，MemDreamer 用智能体检索和分层记忆解决了这个痛点。做视频分析、多模态研究的团队可以直接参考其框架，在现有模型上即插即用，值得一试。
原文
11:03
11:03arXiv: OpenAI@Vladislav Smirnov, Chieu Nguyen, Sergey Senichev, Minh Ngoc Ta, Ekaterina Fadeeva, Artem Vazhentsev, Daria Galimzianova, Nikolai Rozanov, Viktor Mazanov, Jingwei Ni, Tianyi Wu, Igor Kiselev, Mrinmaya Sachan, Iryna Gurevych, Preslav Nakov, Timothy Baldwin, Artem Shelmanov
ThinkBooster 是一个统一的测试时计算（TTC）扩展框架，旨在解决现有TTC策略和评分器碎片化、评估不一致的问题。它包含模块化Python库、联合评估性能与效率的基准测试，以及兼容OpenAI的代理服务，支持自适应推理的即插即用。在数学和编程任务上的实验揭示了性能与计算成本的权衡，并展示了实际增益。代码以MIT许可证开源。
论文推理模型测试时计算扩展开源/仓库性能评估编程助手
推荐理由：做LLM推理优化的开发者终于有了一个标准化工具来对比不同TTC策略的成本收益，不用再自己拼凑评估流程，建议直接试。
原文
09:23
09:23arXiv cs.AI@Yuxiang Chen, Jun Wang
精选72°
一项新研究对DeepSeek-R1-0120模型与人类在AIME 2025数学竞赛30道题上的推理过程进行了全面比较，标注了10247个推理步骤。研究发现，DeepSeek-R1的推理存在“拓扑模仿”现象：它频繁进行浅层验证和局部循环，缺乏人类推理中紧凑的分析与演绎交替结构。然而，成功的推理轨迹显示出稳定的分支和回溯使用，而失败的轨迹则过度或不足使用探索性动作。反思只有在演绎推理中才有效，陷入分析循环的反思往往忽略全局逻辑错误。研究建议改进评估和训练，包括测量跨轨迹稳定性、惩罚“空转”轨迹、鼓励深层逻辑修正。
论文推理模型DeepSeek-R1数学推理认知科学评估方法
推荐理由：这篇论文戳穿了当前长链推理模型的表面繁荣——做AI推理研究的团队会发现，模型可能只是在模仿推理的“样子”而非真正进步，值得细读其提出的改进方向。
原文
02:53
02:53rohanpaul_ai@rohanpaul_ai
精选
一篇关于推理模型训练后如何改进的入门论文指出，更好的推理模型更依赖于可检查的训练证据，而非原始数据规模。论文强调，推理数据不是简单的问答对，真正有价值的是反馈信号，它解释了答案、步骤、工具调用或完整尝试的好坏。作者将推理数据按检查方式分类，包括基于规则的精确检查（数学、代码）、环境检查（智能体工具使用）以及人工或模型判断。论文还揭示了常见误区：长推理链可能是虚假的，更难的数据对某些模型无用，更大的数据集可能仍缺乏关键覆盖。关键结论是，智能体数据应保留失败、重试、恢复等混乱信息，因为学习信号往往隐藏其中。
论文推理模型训练数据检查信号智能体论文
推荐理由：这篇论文戳破了推理模型训练中“数据越多越好”的迷思，做模型训练或智能体开发的团队值得一读——它告诉你该关注什么数据，而不是盲目堆量。
原文
6月6日
08:18
6月5日
22:18
16:37
16:36
16:36AI Will@FinanceYF5
76°
Google 发布新论文《LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks》，提出一种智能体框架，让通用大语言模型（非专用数学模型）在形式数学证明任务中表现大幅提升。传统方法要求模型一次性写出完整形式证明，在复杂问题上几乎失败（成功率低于10%）。LEAP 将证明过程分解为图结构的目标与子目标，允许模型规划步骤、重用已证明引理，并与 Lean 验证器交互获取反馈。在 Putnam 2025 的 12 道题上，LEAP 全部解出；在基于 IMO 风格的 60 道题基准上，通用 LLM 成功率从不足 10% 提升至 70%。这表明模型在形式数学上的弱点并非能力不足，而是缺乏与验证器的结构化交互方式。
论文形式数学LEAPLean验证器智能体框架推理模型
推荐理由：做 AI 推理、数学证明或形式化验证的团队会发现，LEAP 把通用 LLM 的数学能力拉高了一个量级——不用专用模型也能解 IMO 级难题，值得直接看论文复现思路。
原文
12:58
12:58arXiv: DeepSeek@Arslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Laufer, Mohammed Abuhamad
精选
TLA+是亚马逊、微软等公司用于工业验证的形式化语言，但将自然语言转化为正确的TLA+规范仍需专家经验。本文首次系统评估了30个LLM（含8个模型家族）在205个TLA+规范上的表现，使用SANY解析器和TLC模型检查器验证。结果显示，LLM最高语法正确率26.6%，但语义正确率仅8.6%，且成功案例全部来自渐进式提示。模型大小与质量无关，例如DeepSeek r1:8b在所有策略上优于其70B版本，表明推理对齐对形式语言更重要。代码专用模型因主流语言训练的负迁移而表现更差。研究识别了五种幻觉类别，均与训练数据偏差有关。
论文TLA+形式化验证LLM评估推理模型幻觉分析
推荐理由：形式化验证团队终于有了LLM能力的基准数据——当前模型无法可靠生成TLA+规范，但渐进式提示和推理对齐是突破口，做形式化方法或分布式系统验证的开发者值得关注。
原文
12:57
12:57arXiv: DeepSeek@Jinu Lee, Shivam Agarwal, Amruta Parulekar, Siddarth Madala, Dilek Hakkani-Tur, Julia Hockenmaier
精选72°
大型推理模型（LRM）产生的推理轨迹具有非线性结构（如回溯和自我修正），增加了评估和监控的难度。ReasoningFlow 框架将这些轨迹转化为细粒度的有向无环图（DAG），通过人工标注31条轨迹（2100步）验证了标注方案，并自动标注了1260条轨迹（247,700步），涵盖数学、科学和论证三个任务及五种模型。分析发现：不同LRM的推理结构相似；错误步骤大多不用于推导最终答案；机制性因果依赖与语言层面的话语结构不一致。该框架提升了推理过程的可监控性，数据集和代码已开源。
论文推理模型话语结构可解释性开源/仓库有向无环图
推荐理由：ReasoningFlow 解决了LRM推理轨迹难以评估和监控的痛点，做模型可解释性、推理质量分析的团队可以直接用开源工具和数据集来深入分析模型行为。
原文
12:42
12:42arXiv: DeepSeek@Natalia Tarasova, Enrique Balp-Straffon, Aleksei Iancheruk, Yevhenii Sielskyi, Nikita Kozodoi, Liam H. Byrne, Jack Butler, Dayuan Jiang, Marcin Czelej, Andrew Ang, Yash Shah, Roi Blanco, Sergei Ivanov
精选
SWE-InfraBench 是一个新基准，用于评估大语言模型在云基础设施即代码（IaC）任务上的表现。与现有基准不同，它聚焦于 AWS CDK 的增量代码修改，而非从头生成整个代码库。数据集来自数十个真实 IaC 代码库，要求模型根据自然语言指令修改现有代码，并通过测试用例验证。评估结果显示，当前最强模型 Sonnet 3.7 的成功率仅为 34%，而推理模型 DeepSeek R1 只有 24%，表明 LLM 在云基础设施代码领域仍有显著局限。该数据集已在 Kaggle 上公开。
论文基准测试云基础设施IaCAWS CDK推理模型
推荐理由：云基础设施开发者终于有了一个贴近真实工作流的评估基准——SWE-InfraBench 测试的是增量修改而非从头写代码，做 IaC 或 DevOps 的团队值得关注，看看当前模型在 AWS CDK 上的真实表现。
原文
12:12
12:12arXiv cs.AI@Mykyta Ielanskyi, Kajetan Schweighofer, Lukas Aichberger, Sepp Hochreiter
精选
当前推理语言模型通过强化学习微调时，常使用GRPO算法，但该算法面临延迟奖励问题——只能在完整思维链后给出奖励，导致高方差。RREDCoT提出一种无需额外生成的奖励再分配方法，利用模型自身对思维链中的关键片段进行信用分配，从而降低训练方差。实验表明，该方法在计算开销和效果上优于蒙特卡洛采样及其他归因方法。这项研究为提升推理模型训练效率提供了新思路，尤其适合长上下文场景。
论文推理模型强化学习奖励再分配思维链信用分配
推荐理由：做推理模型RL微调的团队终于有了降低训练方差的实际方案——RREDCoT用模型自身做信用分配，省去额外生成成本，长上下文场景下效果显著，值得关注。
原文
11:43