火星财经消息，腾讯混元官方 X 账号发文称，其研究代理 Hyra 与 Hy3 模型合作，通过显式构造证明了一个困扰数学界超 50 年的问题：有限整数集合 A 的和集大小 |A+A| 与差集大小 |A-A| 的增长速率最优指数恰好为 2。此前 1969 年的定理给出了上界为 2，但后续 50 余年间最佳构造的指数仅略超 1.1。

该成果展示了AI代理在纯数学推理领域的潜力。腾讯表示 Hyra 是其内部研发的AI研究代理，专门用于辅助复杂数学与科学问题的探索。该结论仍需数学界同行评审确认。