近日,第二屆人工智能數學奧林匹克競賽(AIMO2)成績揭曉,由香港中文大學(深圳)王本友教授團隊、華為技術團隊聯合是石科技組成的聯合戰隊憑借卓越的技術方案與算力支持,在2000余支全球頂尖團隊中脫穎而出,以50道B榜題目答對28道的優異成績并列第8,位列前0.4%,榮獲競賽金牌。

頂級賽事挑戰AI數學推理極限

AIMO競賽由全球頂尖量化交易公司XTX Markets發起,是國際數學奧林匹克(IMO)的AI版本,旨在推動AI模型達到人類頂級數學選手水平。本屆賽事設置110道國家級奧賽難度原創題目(涵蓋代數、組合、幾何與數論),要求AI必須通過深度推理而非簡單計算得出答案。參賽團隊需嚴格遵守兩項核心規則:一是僅能使用開源大模型,二是在固定算力限制內完成解題。這些條件旨在公平評估模型本身的數學能力,而非依賴算力或數據優勢。

賽事吸引了2000余支全球頂尖團隊競逐,其影響力不僅體現在創紀錄的獎金規模上,更在于它構建了一個透明、防數據泄露的評估體系,為AI數學推理能力樹立了黃金標準。賽事直接瞄準人類頂級數學思維能力的機械化重構,若成功突破,將推動AI在科學研究、工程優化、金融建模等領域的顛覆性應用,甚至可能催生出具備自主數學發現能力的下一代AI系統。被業界視為衡量通用人工智能(AGI)演進的關鍵風向標之一。

聯合團隊創新方案:高效投票算法與算力優化賦能

是石科技作為聯合團隊的算力支持方,依托自研“磐石”超智算融合算力平臺與“玄機”調度系統,為模型訓練與推理提供高效穩定的算力保障和優化賦能。聯合團隊在高質量和高難度的微調和高效強化學習方案基礎上,創新性地提出高效投票算法short vote——通過并行解碼過程中提前終止低效生成路徑,在短答案階段進行投票,顯著減少“過度思考”(overthinking)現象,提升GPU利用率與推理效率。這一技術路徑充分體現了團隊在異構算力優化與算法協同設計上的核心優勢。

王本友教授團隊:數學推理與建模的深厚積淀

王本友教授團隊長期深耕AI數學推理領域,其多項研究成果已成為行業標桿:

OVM算法:首個在GSM-8K數據集上使13B以下模型準確率突破70%的技術,被全球前20名開源模型廣泛采用;

MathScale:聯合微軟亞洲研究院提出的可擴展數據生成方法,相關論文被ICML 2024收錄,其MathScale-7B模型在十項基準測試中準確率領先同等規模模型超40%;

Math-Omni:與阿里Qwen團隊聯合發布的奧林匹克級數學評估基準(ICLR 2025收錄),揭示當前最優開源模型在奧數題上僅達36.2%準確率;

MAMO:是首個面向數學建模能力評估的大型語言模型基準,不僅填補了數學建模評估空白,也為推進語言模型通往具備抽象能力的通用智能奠定了基礎。

ORLM數學建模大模型:聯合杉數科技開發的業界首個數學建模專用模型,已落地應用于生產系統。

團隊還將數學推理能力拓展至醫療領域,其與深圳市大數據研究院聯合發布,是石科技副總經理、香港中文大學博士侯建業帶領團隊提供技術、研發支撐的HuatuoGPT-o1成為首個實現“可驗證醫學復雜推理”的大模型,在多項醫療基準中超越專業模型,獲GitHub千星關注。

是石科技:超智融合加速AI產業化

作為國內領先的超算與AI服務企業,是石科技以“超智融合,加速AI產業化”為使命,公司以算力網絡為基礎,以“超智融合,加速AI產業化”為使命,打造標準化、高效能HAI統一計算平臺與模型專家服務平臺,助力國家科研創新,賦能千行百業智能化升級。公司核心業務涵蓋算力中心建設、異構算力調度優化及行業級AI模型服務,為構建智能世界提供基石支撐。

目前,公司平臺已經成功應用于人工智能、氣候氣象、工業仿真、生物信息、航空航天等20多個領域。