騰訊首席AI科學家姚順雨近日在社交媒體上轉發了一篇論文，並附言“Hy AI4S is hiring :)”，公開招募AI for Science方向人才。此舉的背景是，7月29日騰訊混元科研智慧體Hyra參與的論文在arXiv上釋出，宣稱破解了加法組合學領域一道持續50餘年的公開難題。
這道難題屬於加法組合學，研究整數集合經過加法和減法運算後，規模擴張之間的關係。具體而言，給定一個有限整數集合A，其“和集”A+A和“差集”A-A的規模擴張倍數分別用σ(A)和δ(A)表示，並定義C(A)=logσ(A)/logδ(A)來衡量和集擴張能力相對於差集擴張能力的比例。數學理論早已證明C(A)≤2，但過去50多年，數學家一直無法確定2是否只是寬鬆上界，還是可以通過構造特殊集合無限逼近的最優結果。
歷史上，數學家不斷重新整理更接近2的構造：1969年達到約1.0290，1973年提升至1.0598，2013年達到1.1259。近一年，AI輔助搜尋將數值推進到1.1449，論文還記錄了一項內部實驗，Codex（GPT-5.5）在人類引導下將數值提升至1.2851。但這些探索都侷限於找到更優的樣本，無法回答C(A)是否真的能無限接近2。
Hyra的突破在於，它沒有停留在尋找更優樣本，而是發現了一套可推廣的數學構造方法。研究團隊先讓Hyra進行有限集合搜尋，將最好結果從約1.14提升至1.21，但暴力搜尋受計算量和記憶體限制，難以轉化為嚴格證明。隨後，團隊讓Hyra自主提出數學構造和推理方案，並通過LLM judge反饋。經過約24小時探索，Hyra提出了核心思路：利用十二進位制數字結構控制差集規模，結合迴圈群上的對稱加法基與中國剩餘定理，使和集規模實現接近平方級增長。
基於這一方法，研究團隊構造出一族有限整數集合A_K，並證明隨著引數K增加，C(A_K)無限接近2。這解決了長期懸而未決的問題：2確實是理論上界，但不存在任何有限整數集合能夠真正達到2。研究團隊對證明過程進行了人工檢查和整理，並公開了Lean 4形式化證明。目前該論文仍是arXiv預印本，尚未經過同行評議。
Hyra於7月21日由騰訊混元推出，基於本月開源的Hy3模型，該模型總引數量為2950億，啟用引數量為210億。在破解難題時，Hyra承擔自動化探索工作，幫助研究者挖掘潛在數學構造思路。姚順雨的評論區中，有網友稱論文“太瘋狂了”，用顯式構造解決數十年未解的和集問題；還有人暢想“下一位菲爾茲獎得主會是AI嗎？”
值得注意的是，騰訊招聘平台也釋出了由姚順雨帶隊的AI Infra團隊招聘訊息。從推出Hyra，到用Hy3輔助解決50多年未解的數學問題，再到姚順雨團隊招人，騰訊混元正將大模型能力延伸到科學發現領域。此次工作更值得關注的是，AI從“搜尋更好的答案”走向了“提出可以被證明的數學構造”。在AI提出思路、人類檢查整理、形式化工具驗證的協作模式下，AI for Science正在成為大模型競爭的新戰場。