腾讯用自家 AI 助手 Hyra 和 Hy3 证出了一个 50 年没人能搞定的数学猜想，直接把最优指数从 1.1 推到 2，比之前所有构造都强一截。
腾讯混元团队利用 AI 研究助手 Hyra 和 Hy3 模型，构造出一个有限整数集 A 的例子，证明 |A+A| 与 |A-A| 增长的最优指数为 2，打破了 1969 年定理给出的上界。此前 50 年间最佳构造仅达到指数约 1.1。论文已发表在 arXiv（2607.27199），Hyra 博客和形式化证明也已公开。
For a finite set of integers (A), how much faster can (|A+A|) grow than (|A-A|)? A 1969 theorem gav...
For a finite set of integers (A), how much faster can (|A+A|) grow than (|A-A|)? A 1969 theorem gave an upper bound of 2 for the exponent. For more than 50 years, the best constructions barely exceeded 1.1. With help from our research agent Hyra and the Hy3 model, we found an explicit construction showing that the optimal exponent is exactly 2. A 50-year-old problem, solved. Paper: arxiv.org/abs/2607.27199 Hyra blog: hy.tencent.ai/research/hyra Formal proof: github.com/linhaowei1/sum… 💬 3 🔄 17 ❤️ 150 👀 24317 📊 36 ⚡