# 腾讯混元团队借助研究代理Hyra和Hy3模型，构造出整数集合和差集增长最优指数为2的显式例子，解决了50年未解问题

- 来源：Tencent Hunyuan
- 发布时间：2026-07-30 10:33
- AIWatch 分数：69
- AIWatch 标记：当日精选
- AIWatch 链接：https://aiwatch.icu/events/evt_01kyrg53kxhjnsgf0wwyzn2dar
- 原文链接：https://x.com/TencentHunyuan/status/2082655737541726636

## 精选理由

高信息密度，值得细读

## AI 摘要

1969年定理给出整数集合和差集增长指数上界为2，但50多年来最佳构造仅略超1.1。借助研究代理Hyra和Hy3模型，研究人员找到了显式构造，证明最优指数恰好为2，解决了这一长期问题。这展示了AI在数学研究中的辅助作用。
核心观点：
1. 借助Hyra和Hy3，构造出整数集合和差集增长指数为2的显式例子，证明最优指数为2。
2. 1969年定理给出上界2，但50多年来最佳构造仅略超1.1。

## 正文

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: https://arxiv.org/abs/2607.27199
Hyra blog: https://hy.tencent.ai/research/hyra
Formal proof: https://github.com/linhaowei1/sum-diff-proof