腾讯混元Hyra解决50年数学极值难题

OmniTools 7月30日消息，腾讯混元团队利用研究智能体Hyra及Hy3模型，成功构造出整数集A，使|A+A|与|A-A|的指数比精确达到2，解决了自1969年以来悬而未决的加法组合极值问题。此前50余年最优构造结果仅略超1.1。该成果证明该问题的最优指数即为2。相关论文及形式化证明已公开。