腾讯开源模型Hy3破解半世纪数学难题，完整证明已通过机器验证

币界网报道：币界网消息，腾讯开源模型Hy3成功破解了一个悬而未决超过50年的组合数学问题，完整证明已通过机器验证。腾讯混元的研究智能体Hyra使用该模型协助研究者解决了一个关于整数集合的「和集」与「差集」增长速度的问题。数学界早已证明相关指数不会超过2，但一直不确定2是否为最优答案。经过约24小时的搜索，Hyra找到论文最终采用的核心方案，研究者随后进行了核对和修正，最终证明该指数可以无限接近2，确认上界2为最优答案。虽然AI没有包办整篇论文，但最关键的构造确实是Hy3找到的。