騰訊混元發布科研成績單與招聘啟事，自研智慧體 Hyra 解決數學懸案
為何重要
這代表科研模式從「人機協作」正式邁向「AI 主導的自主科研」，不再僅限於刷榜或運算加速，而是具備提出假設、構造證明並驗證的能力。這釋出重大訊號：未來頂級 AI 實驗室的競爭關鍵在於閉環系統的建設，即模型如何將科研目標轉化為可迭代的任務。
騰訊混元代號「姚順雨」的團隊發起 AI 科研招聘，宣稱其自研智慧體 Hyra 曾解決一道困擾數學家約 50 年的加法組合學問題。這次行銷亮點是一張「成績單」，展示 AI 從發現線索、構造數學證明到輸出 Lean 4 形式化驗證的全過程。
- 混元基於本月開源的 Hy3 模型（總引數 295B、啟用引數 21B）開發 Hyra智慧體，成功逼近加法組合學問題的上限至理論值 2，推翻了以往人類或 AI 輔助搜尋只能達到 1.2851 的紀錄。
- Hyra-1.0 在測試中參與 55 道歷史長期無解的數學開放命題，重新整理了其中 29 道問題的已知最好結果；在太陽黑子預測任務的 R² 分數達到 0.77，並將 10 位數加法引數量減少了 58.3%。
- 騰訊混元招募重點從傳統大模型演算法工程師，轉向具備 AI4S（AI for Science）背景的跨領域人才，需求涵蓋 Agent 架構設計、學科專業知識（物化生）及可執行的科研任務驗證能力。