腾讯Hyra科研智能体通过原创数学构造（十二进制约束+循环群加法基+中国剩余定理），严格证明加法组合学中C(A)上界2可无限逼近但不可达，终结50余年理论争议；成果依托2950亿参数Hy3模型，已获Lean4形式化验证。
7月29日，腾讯混元团队在arXiv发布重磅预印本论文，宣布其全新科研智能体Hyra成功破解加法组合学领域悬而未决逾半个世纪的核心难题——关于整数集合和集与差集扩张比C(A)=log|A+A|/log|A−A|的理论极限问题。Hyra并非依赖暴力枚举，而是基于自研开源大模型Hy3（2950亿总参、210亿激活参），首创可扩展数学构造范式：以十二进制结构约束差集规模，融合循环群对称加法基与中国剩余定理，实现和集近乎平方级增长。研究者据此构造出一族参数化集合{Aₖ}，严格证明当K→∞时C(Aₖ)→2——首次确立2既是紧致上界，又无法被任何有限集合精确达到。全部推导经Lean4形式化验证，论文尚待同行评议。
来源：智东西