腾讯混元 Hyra 攻克加法组合学 50 年未解难题
腾讯混元上周推出的科研智能体 Hyra，基于本月开源的 Hy3 模型（总参数 295B、激活参数 21B），为加法组合学中悬置半个多世纪的开放问题给出完整答案，证明 2 是该问题指数的上确界。Hyra 先在有限搜索中将最好结果从约 1.14 提高到 1.21，经约 24 小时运行提出核心构造思路，并给出 Lean 4 形式化证明。论文预印本、显式构造和形式化证明均已公开。
推理能力 大事记
重要进展 IMPORTANT_PROGRESS
2026-08-14 — 2026-08-14
重要进展 · 第 5 / 24 页
dots3-note Preview 开源：280B 参数轻量模型，主打长程智能体与多模态推理
AIHOT事件 ↗原始外链未提供
推理能力 精选历史资讯
— · 6 条
精选资讯 · 第 1 / 2 页
GPT-5.6 如何推进性价比前沿
OpenAI 为 GPT-5.6 的 Luna 和 Terra 版本推出更低定价，以更高效的模型帮助企业大规模部署 AI 工作流。
腾讯混元Hyra破解50年数学难题
腾讯混元借助研究智能体Hyra及Hy3模型，构造出整数集A使|A+A|与|A-A|的指数比精确达到2，解决了自1969年以来悬而未决的极值问题。此前50余年最佳构造仅略超1.1，新成果证明最优指数即为2。论文及形式化证明已公开。
分类
排序
暂无内容