騰訊開源模型Hy3破解半世紀數學難題，完整証明已通過機器驗証

BiRun 訊，騰訊混元的研究智能體 Hyra，使用自家的開源模型 Hy3，協助兩名研究者解決了一個懸而未決 50 多年的組閤數學問題。

問題是：一個整數集閤的「和集」，最多能比「差集」增長多快。數學界早已証明，相關指數不會超過 2，但一直不知道 2 是不是最優答案。

Hyra 讓 Hy3 先蒐索具體集閤，再嘗試提出通用構造。約 24 小時後，AI 找到了論文最終採用的覈心方案。研究者隨後覈對、脩正並整理証明，GPT-5.6 Sol 協助轉成 Lean 4 驗証。

最終論文証明，這個指數可以無限接近 2，所以上界 2 已經是最優答案。雖然 AI 沒有包辦整篇論文，但最關鍵的構造確實是 Hy3 找到的。

騰訊混元