←搜索结果

搜索“推理”

按匹配度 · 共 3271 条结果 清除搜索

星期一

星期三

  1. 事件1 条新闻 · 1 个事实

    Microsoft 发布 MAI-Thinking-1 推理模型

    2026年8月12日,Microsoft AI 发布推理模型 MAI-Thinking-1,并已在 Microsoft Foundry 开启公开预览。据微软 AI Blog 介绍,该模型采用 35B 激活参数、约 1T 总参数的稀疏 MoE 架构,支持 256k token 上下文窗口、函数调用和开发者指令,兼容 Chat Completions API。微软称其训练未使用第三方模型蒸馏,数据为可追溯的企业级数据。评测方面,该模型在 SWE-Bench Pro 上与 Claude Opus 4.6 持平,AIME 2025 得分 97.0%、AIME 2026 得分 94.5%,并在与 Claude Sonnet 4.6 的盲测人评中被更多用户偏好。目前尚无后续发展事实。

    匹配字段标题

  2. 事件1 条新闻 · 1 个事实

    Sakana AI 论文提出 UnMaskFork 推理时扩展方法

    2026年7月22日,Sakana AI 提出 UnMaskFork(UMF)推理时扩展方法。据其官方博客介绍,该方法在 ICML 2026 论文中提出,让多个掩码扩散语言模型(MDLM)通过模型切换协作完成同一个答案,并用蒙特卡洛树搜索寻找不同模型负责不同阶段的顺序。该方法无需额外训练或改动模型,在编码基准上持续优于现有推理时扩展方法,在数学任务上也随计算量增加稳步提升。目前尚无后续发展事实,状态停留在该论文发布时的介绍。

    匹配字段标题

星期日

  1. 事件1 条新闻 · 1 个事实

    微软推出空间推理基准MindTopo

    2026年8月13日,微软研究院推出多模态模型拓扑空间推理基准MindTopo。该基准从连通性、包围、顺序、打结等五类拓扑属性评估多模态大语言模型的空间理解能力,每类又分为静态推理与交互规划两个认知层级。测试显示,模型在静态推理上普遍强于交互规划,两者均远低于人类水平;规划错误多发生在场景已被理解之后,模型无法在连续动作中维持拓扑关系。图像与视频生成仅在单帧关系可见时偶有帮助,跨序列时经常改变拓扑或违反任务动态。目前尚无后续发展。

    匹配字段标题

  3. 事件1 条新闻 · 1 个事实

    Unsloth推出DSpark加速DeepSeek本地推理

    2026年8月6日,Unsloth发布DSpark,用于加速DeepSeek-V4-Flash-0731的GGUF本地推理。据Unsloth介绍,该方案使本地生成速度提升约1.4至2倍,且精度不变,本地可达到120 tokens/s。Unsloth同时提供了对应的GGUF文件与使用指南。目前该事件仅有这一条进展,尚无后续更新。

    匹配字段标题

  5. 事件1 条新闻 · 1 个事实

    英伟达推出自动驾驶推理模型

    2026年8月4日,英伟达发布面向自动驾驶汽车的前沿开放推理模型 Alpamayo 2 Super。该模型旨在帮助系统理解复杂环境,并在采取行动前进行推理。模型依据 OpenMDW-1.1 许可开放商业使用,团队可以检查、微调和部署;其应用范围包括出租车、卡车、班车、配送车、拖拉机及移动机器人,并可作为相关系统的基础模型。目前该故事仍处于活跃状态。

    匹配字段标题

  6. 事件1 条新闻 · 1 个事实

    多档推理强度模型开发方法

    2026年7月18日,Sebastian Raschka讲解了具备多种推理强度模式的大语言模型开发方法。这类模型通过调节推理力度,在回答质量、token消耗、成本和延迟之间权衡,通常结合混合SFT数据、按模式调整的强化学习奖励、长度惩罚、独立专家模型或硬性token预算。DeepSeek V4、Nemotron 3 Ultra、Kimi K3、GLM-5、Qwen3和Inkling采用了不同组合。文章还指出,模型规模与推理力度是两套独立控制方式,较小模型提高推理力度有时可取得与较大模型降低推理力度相近的基准成绩。

    匹配字段标题

星期三

星期四

星期一

  1. 事件1 条新闻 · 1 个事实

    Amazon发布自动推理组十年回顾

    2026年8月12日,Amazon发布自动推理团队(ARG)成立十周年的回顾。回顾称,该团队十年来已将形式化验证从学术研究转化为每天处理数十亿次查询的生产服务,其Tiros、Zelkova等工具演化为IAM Access Analyzer、Amazon Inspector和Reachability Analyzer。回顾还提到,该团队证明了Nitro隔离引擎、密码学实现以及每秒处理10亿次API调用的授权引擎的正确性;Amazon Bedrock Guardrails的自动推理检查用形式逻辑验证模型响应是否符合既定策略,验证准确率最高达99%。目前没有该回顾之后的新发展事实。

    匹配字段标题

星期二

星期四

星期三

星期六

星期三