腾讯混元 Hy3 模型解决 50 年未解组合数学难题
Tim_Dettmers · x · 2026-07-30
腾讯混元团队借助其研究智能体 Hyra 和 Hy3 模型，成功解决了一个悬置半个多世纪的组合数学难题。
该问题探讨对于有限整数集合，其和集的增长速度能比差集快多少。1969 年的定理证明该指数上限为 2，但半个多世纪以来，学界（包括陶哲轩等人借助 AI 的尝试）找到的最佳构造结果仅徘徊在 1.1 左右。
而在 Hy3 模型的辅助下，研究人员发现了一个优雅的显式构造，成功证明了该最优指数恰好为 2，完美填补了上下界的差距。
所属事件:腾讯混元AI破解50年组合数学难题(2 条相关)→
「模型」频道最新
- Kimi K3 第三方 API 实测：Fireworks 性能最接近官方 — iScienceLuvr · 2026-07-30
- Snorkel 职业能力评测：Grok 4.5 在 16 项中拿下 14 项第一 — XFreeze · 2026-07-30
- 用户称服务器宕机，Opus 5误以为被指责承认抑郁 — repligate · 2026-07-30
- OpenAI 声称 GPT-5.6 Sol 在 ARC-AGI-3 上超越 Opus 5，但依赖自定义测试环境 — The Decoder · 2026-07-30
- ARC-AGI 创始人明确跑分规则：禁用定制外挂 — fchollet · 2026-07-30
- 微软MAI-Code-1-Flash实测：兼顾编程质量与Token效率 — lee_stott · 2026-07-30