腾讯混元 Hy3 模型解决 50 年未解组合数学难题
Tim_Dettmers · x · 2026-07-30
腾讯混元团队借助其研究智能体 Hyra 和 Hy3 模型，成功解决了一个悬置半个多世纪的组合数学难题。
该问题探讨对于有限整数集合，其和集的增长速度能比差集快多少。1969 年的定理证明该指数上限为 2，但半个多世纪以来，学界（包括陶哲轩等人借助 AI 的尝试）找到的最佳构造结果仅徘徊在 1.1 左右。
而在 Hy3 模型的辅助下，研究人员发现了一个优雅的显式构造，成功证明了该最优指数恰好为 2，完美填补了上下界的差距。
所属事件:腾讯混元AI破解50年组合数学难题(3 条相关)→
「模型」频道最新
- Reflection AI 开源首发模型 Beam:501B-A23B MoE,Apache 2.0 — AI4Code · 2026-10-16
- Opus 5.5 发布近月仍领先,但开源决策模型正在追赶 — airesearch12 · 2026-10-16
- Google 削减权益：Google Plus 订阅的 Pro 模型额度也被限制 — EmergencyLess8861 · 2026-10-16
- Meta 发布 Muse Spark Open,vLLM 支撑训练期 RL 推理并首日适配 — colinmcnamara · 2026-10-16
- Meta 开源 Muse Spark Open：两台 Mac Studio 就能跑，许可证禁止冒充人类创作 — mawcopolow · 2026-10-16
- 2024 年 Golden Gate Claude 视频再流行:可解释性 premise 至今仍成立 — HarperSCarroll · 2026-10-16