跳到正文

推理能力

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

最新精选

第 21–40 条 · 共 85 条
8月13日周四
8月12日周三
  1. Google Research62

    Google Research 提出知识画像框架:召回而非编码是参数化事实性的瓶颈

    Google Research 发布研究,提出知识画像(knowledge profiling)行为框架,同时测量大语言模型对事实的编码与召回,并配套推出包含 2,150 条维基百科事实、每条配 10 个问题的 WikiProfile 基准。

    推荐理由:通过知识画像区分编码与召回失败,指出前沿模型的事实错误更多来自知识可及性而非知识缺失。

7月29日周三
  1. OpenAI News62

    GPT-5.6 如何兼顾前沿智能与效率

    OpenAI 发布文章说明 GPT-5.6 在模型、推理和智能体工作流上提升 AI 效率,让每美元能获得更多可用智能。原文未给出具体性能数字或版本细节。

    推荐理由:原文只给出 GPT-5.6 在模型、推理与智能体工作流上的效率方向,缺少具体数据,读者可据此了解其定位。

7月15日周三
  1. Hugging Face Blog85

    Thinking Machines 发布 Inkling 多模态大模型及 Inkling-Small

    Thinking Machines 在 Hugging Face 发布 Inkling,一个约 1T 参数、支持 1M 上下文、原生接收图像文本音频输入的开源多模态 MoE 模型,同时推出 276B 总参数 12B 激活的 Inkling-Small。

    推荐理由:原文给出 Inkling 的架构细节、部署配置与多模态评测数据,可据此判断其推理成本与适用场景。

7月8日周三
7月2日周四
  1. Mistral AI66

    Mistral 发布 Leanstral 1.5:6B 激活参数的形式化验证模型

    Mistral AI 发布 Leanstral 1.5,一个 Apache-2.0 许可的模型,总参数 119B、激活参数 6B,在形式化验证上大幅升级。它完全饱和 miniF2F,在 PutnamBench 上解出 587/672 题,并在 FATE-H 取得 87%、FATE-X 取得 34% 的 SOTA 成绩。

    推荐理由:原文给出 Leanstral 1.5 在形式化验证基准上的成绩与每道题成本,读者可据此判断开源证明模型的性价比。

6月27日周六
6月11日周四
6月9日周二
6月3日周三
  1. OpenAI News62

    OpenAI 为 GPT-Rosalind 引入生命科学新能力

    OpenAI 为 GPT-Rosalind 引入新能力,增强其在生命科学领域的生物推理、药物化学专业知识和基因组分析,并提升实验工作流能力。

    推荐理由:OpenAI 为 GPT-Rosalind 增加生物推理、药物化学与基因组分析能力,可据此了解模型在生命科学场景的定位。

5月20日周三
  1. OpenAI News82

    OpenAI 模型推翻离散几何核心猜想

    OpenAI 表示其模型解决了有 80 年历史的单位距离问题,推翻了离散几何中的一个重要猜想,被视为 AI 驱动数学的一个里程碑。

    推荐理由:OpenAI 模型推翻离散几何中一个长期猜想,可了解 AI 在数学证明上的进展边界。

4月24日周五
4月16日周四
  1. OpenAI News70

    OpenAI 发布生命科学研究模型 GPT-Rosalind

    OpenAI 发布 GPT-Rosalind,一款面向生命科学研究的前沿推理模型。该模型用于加速药物发现、基因组分析、蛋白质推理和科研工作流。

    推荐理由:OpenAI 面向生命科学推出前沿推理模型,读者可了解其瞄准的药物发现与基因组分析场景。

3月25日周三
  1. Google Research62

    Google 发布 TurboQuant 等向量量化方法,将 KV cache 压至 3 bit

    Google Research 提出 TurboQuant 压缩算法,并配套 QJL 与 PolarQuant 两种方法,用于解决向量量化中的内存开销问题,相关论文将分别在 ICLR 2026 和 AISTATS 2026 发表。

    推荐理由:Google 提出 TurboQuant 等三种向量量化方法,可在不损失精度的前提下把 KV cache 压到 3 bit,读者可据此了解长上下文推理的内存优化路径。

3月17日周二
  1. Mistral AI78

    Mistral 发布 Mistral Small 4 开源模型,统一推理、多模态与编码能力

    Mistral AI 发布 Mistral Small 4,这是 Mistral Small 系列的下一个重要版本,也是首个把 Magistral 的推理、Pixtral 的多模态和 Devstral 的智能体编码能力统一到单一模型的 Mistral 模型,采用 Apache 2.0 许可。

    推荐理由:Mistral 把推理、多模态与编码能力合并进单一开源模型,并给出可调推理强度与部署门槛,便于评估其替代多模型组合的可行性。

3月4日周三
  1. Google DeepMind71

    Google DeepMind 发布 Gemini 3.1 Flash-Lite

    Google DeepMind 推出 Gemini 3.1 Flash-Lite,定位为 Gemini 3 系列中速度最快、成本最低的模型,即日起通过 Gemini API 在 Google AI Studio 和 Vertex AI 面向开发者预览。

    推荐理由:官方给出价格、速度与基准数据,可据此判断高并发场景下是否值得替换现有轻量模型。

2月20日周五
2月13日周五
  1. OpenAI News62

    GPT-5.2 在理论物理中推导出新结果

    OpenAI 发布预印本,显示 GPT-5.2 为胶子振幅提出一个新公式,随后由 OpenAI 与学术合作者完成形式化证明与验证。

    推荐理由:OpenAI 与学术合作者披露 GPT-5.2 提出胶子振幅新公式并被形式化证明,可观察模型在理论物理推导中的角色。