推理能力共0篇

推理能力 大事记

AIHOT重要进展

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

数据校验时间：2026-11-04 18:02:19 UTC；数据待更新，显示最近有效快照

重要进展 IMPORTANT_PROGRESS

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

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

    AIHOT事件 ↗原始外链未提供

推理能力 精选历史资讯

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

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

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

腾讯混元开源 AngelSpec 投机解码框架

腾讯混元开源端到端投机解码框架 AngelSpec，支持训练与部署。在 Hy3-A21B 模型上，其 DFly 方案相比自回归解码实现 1.98–2.40 倍端到端加速，吞吐量比 DFlash 高 10.5–11.8%。训练代码及 Hy3-A21B MTP/DFly 草稿模型权重已开源。

X：腾讯混元 (@TencentHunyuan)发表于 2026-07-29 20:43归档日期 2026-07-29

阅读原文 ↗

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

分类
排序

暂无内容