推理能力共0篇

推理能力 大事记

AIHOT重要进展

资料来源于AIHOT,不代表青峰联创已逐项独立核验。AIHOT专题 ↗

数据校验时间:2026-11-06 12:27:12 UTC;数据待更新,显示最近有效快照

重要进展 IMPORTANT_PROGRESS

2026-09-05 — 2026-09-05
重要进展 · 第 3 / 24 页

  1. 研究
    Claude 完成 Fermat 大定理的形式化证明,生成超 1300 万行 Lean 代码

    AIHOT事件 ↗原始外链未提供

推理能力 精选历史资讯

AIHOT · 精选 · 不计入本站文章

主题归属复核已到期或尚未完成;当前展示上次核验的历史缓存,不代表最新已确认的主题归属。

— · 3 条
精选资讯 · 第 1 / 1 页

菲尔兹奖得主称 ChatGPT 5.5 Pro 在无人帮助下两小时内完成“博士级”数学研究

菲尔兹奖得主蒂莫西·高尔斯让 ChatGPT 5.5 Pro 尝试解决数论中的开放性问题。该模型在不到一小时内,将一个问题中的指数界限改进为多项式界限。一位参与的 MIT 研究员认为其核心想法“完全具有原创性”。高尔斯总结指出,未来数学贡献的门槛将变为证明某些是大语言模型无法完成的工作。

The Decoder:AI News(RSS)发表于 2026-05-09 22:32归档日期 2026-05-09

Ring-2.6-1T发布:万亿参数思维模型专为复杂任务设计

Ring-2.6-1T是一款万亿参数的旗舰思维模型,专为现实世界复杂任务和生产环境构建。该模型具备可调节思维努力功能,通过动态计算机制灵活平衡认知深度、token成本和执行速度。它针对代理优化,适用于高频工作流,提供快速多步执行和工具编排,并具有SOTA稳定性。深度思维特性解锁了模型的最大能力上限,特别适合严格数学逻辑和科学研究。

X:蚂蚁百灵 (@AntLingAGI)发表于 2026-05-09 01:52归档日期 2026-05-09

自适应并行推理:高效推理扩展的新范式

自适应并行推理是一种新范式,它让大语言模型能够自主决定何时分解任务、并行处理多少子任务以及如何协调结果,以应对序列推理中因探索路径增长而导致的延迟增加和“上下文腐化”问题。近期研究如ThreadWeaver和Multiverse通过动态控制并行线程,在数学与代码推理基准上取得了显著性能提升,同时大幅降低了延迟。这标志着从固定并行策略到自适应智能控制的转变,为复杂任务的推理提供了高效且可扩展的解决方案。

BAIR:Berkeley AI Research Blog发表于 2026-05-08 17:00归档日期 2026-05-09

归档:AIHOT主题时间 · 北京时间 · 更正时间不改变归档日期