幣界網消息，騰訊開源模型Hy3成功破解了一個懸而未決超過50年的組合數學問題，完整證明已通過機器驗證。騰訊混元的研究智能體Hyra使用該模型協助研究者解決了一個關於整數集合的「和集」與「差集」增長速度的問題。數學界早已證明相關指數不會超過2，但一直不確定2是否為最優答案。經過約24小時的搜索，Hyra找到論文最終採用的核心方案，研究者隨後進行了核對和修正，最終證明該指數可以無限接近2，確認上界2爲最優答案。雖然AI沒有包辦整篇論文，但最關鍵的構造確實是Hy3找到的。