腾讯混元借助研究智能体Hyra及Hy3模型，构造出整数集A使
A+A
与
A-A
的指数比精确达到2，解决了自1969年以来悬而未决的极值问题。
此前50余年最佳构造仅略超1.1，新成果证明最优指数即为2。
论文及形式化证明已公开。
AI News / Research
Back to AI news
Tencent Hunyuan Hyra Solves 50-Year-Old Math Problem
Tencent Hunyuan, using the research agent Hyra and the Hy3 model, constructed an integer set A such that the exponential ratio of |A+A| to |A-A| precisely...
Today AI Intelligence Brief
Tencent Hunyuan, using the research agent Hyra and the Hy3 model, constructed an integer set A such
that the exponential ratio of A+A to A-A precisely reaches 2, solving the extreme value problem that had remained unresolved since 1969. In the past 50+ years, the best constructions only slightly exceeded 1.1; the new result proves that the optimal exponent is indeed 2. The paper and formal proof have been published.
动态正文 · AI 整理
Intelligence Assessment
Aioga 编辑摘要
据腾讯混元公开材料，研究智能体Hyra及Hy3模型构造出整数集A，使|A+A|与|A-A|的指数比精确达到2，并证明最优指数为2；相关论文及形式化证明已经公开。
背景分析
材料称，该极值问题自1969年以来一直悬而未决，过去50余年的最佳构造仅略高于1.1。本次成果把指数比推进至2，并给出了该数值为最优指数的证明。
Aioga 观点
Aioga判断，这项成果的关键不只是数值从略超1.1提升至2，更在于构造、最优性证明及形式化证明能否经受公开检验。现有材料来自腾讯混元自身发布，结论仍值得进一步复核。
影响与后续
若论文与形式化证明得到独立验证，该成果可能显示研究智能体与模型能够参与高难度数学构造及证明工作，也可能为类似极值问题提供新的研究路径，但材料未说明其方法能否推广。 值得关注后续研究者对公开论文、整数集构造、指数比定义及最优性证明的核查，并检验形式化证明能否复现。对于Hyra与Hy3的具体分工和适用范围，也应以论文披露为准。
Source and Copyright
The readable text on this page was extracted from the public source and organized with attribution, publication time and the original link. Copyright remains with the original author and publisher.
Ingestion channel: Summary aggregation · Source domain: x.com
Source: X：腾讯混元 (@TencentHunyuan)
Original link: Open original source
Aioga archive: Open intelligence page
Content record: social-summary · Updated: 2026-07-30T02:33:16.000Z
API RELAY · DEVELOPER INFRASTRUCTURE
API 中转站
统一接入主流 AI 模型 API，为开发、测试与生产环境提供稳定调用入口。
立即访问 api.w173.com
Scan to open this article