Hunyuan(@TXhunyuan)· Tencent Hy (@TencentHunyuan)·· 2026-07-30AI 评估 · 51/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
腾讯混元用 Hyra 智能体与 Hy3 模型解决 50 年数学难题
For a finite set of integers (A), how much faster can (|A+A|) grow than (|A-A|)? A 1969 theorem gav...
AI 导读
腾讯混元称，借助研究智能体 Hyra 与 Hy3 模型，针对有限整数集 A 中 |A+A| 相对 |A-A| 的增长速度问题给出了显式构造，证明最优指数恰为 2。该问题上界自 1969 年定理给出为 2，50 多年间已知构造仅略高于 1.1。相关论文见 arxiv.org/abs/2607.27199，另有 Hyra 博客与 GitHub 形式化证明。
来源：Hunyuan(@TXhunyuan) · x.com