Tencent HunyuanTencent Hy当日精选
腾讯混元团队借助研究代理Hyra和Hy3模型，构造出整数集合和差集增长最优指数为2的显式例子，解决了50年未解问题
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
金句
A 50-year-old problem, solved.
整数集合和差集增长最优指数显式构造AI辅助数学研究50年未解问题69/100
讨论
暂无评论。