騰訊混元 AI 代理 Hyra 協助解決 50 年數學難題:和集與差集增長最優指數確定為 2
ChainCatcher 消息,騰訊混元官方 X 帳號發文稱,其研究代理 Hyra 與 Hy3 模型合作,通過顯式構造證明了一個困擾數學界超 50 年的問題:有限整數集合 A 的和集大小 |A+A| 與差集大小 |A-A| 的增長速率最優指數恰好為 2。此前 1969 年的定理給出了上界為 2,但後續 50 余年間最佳構造的指數僅略超 1.1。
該成果展示了AI代理在純數學推理領域的潛力。騰訊表示 Hyra 是其內部研發的AI研究代理,專門用於輔助複雜數學與科學問題的探索。該結論仍需數學界同行評審確認。






