近日,第二屆人工智能數(shù)學(xué)奧林匹克競(jìng)賽(AIMO2)成績(jī)揭曉,由香港中文大學(xué)(深圳)王本友教授團(tuán)隊(duì)、華為技術(shù)團(tuán)隊(duì)聯(lián)合是石科技組成的聯(lián)合戰(zhàn)隊(duì)?wèi){借卓越的技術(shù)方案與算力支持,在2000余支全球頂尖團(tuán)隊(duì)中脫穎而出,以50道B榜題目答對(duì)28道的優(yōu)異成績(jī)并列第8,位列前0.4%,榮獲競(jìng)賽金牌。
頂級(jí)賽事挑戰(zhàn)AI數(shù)學(xué)推理極限
AIMO競(jìng)賽由全球頂尖量化交易公司XTX Markets發(fā)起,是國際數(shù)學(xué)奧林匹克(IMO)的AI版本,旨在推動(dòng)AI模型達(dá)到人類頂級(jí)數(shù)學(xué)選手水平。本屆賽事設(shè)置110道國家級(jí)奧賽難度原創(chuàng)題目(涵蓋代數(shù)、組合、幾何與數(shù)論),要求AI必須通過深度推理而非簡(jiǎn)單計(jì)算得出答案。參賽團(tuán)隊(duì)需嚴(yán)格遵守兩項(xiàng)核心規(guī)則:一是僅能使用開源大模型,二是在固定算力限制內(nèi)完成解題。這些條件旨在公平評(píng)估模型本身的數(shù)學(xué)能力,而非依賴算力或數(shù)據(jù)優(yōu)勢(shì)。
賽事吸引了2000余支全球頂尖團(tuán)隊(duì)競(jìng)逐,其影響力不僅體現(xiàn)在創(chuàng)紀(jì)錄的獎(jiǎng)金規(guī)模上,更在于它構(gòu)建了一個(gè)透明、防數(shù)據(jù)泄露的評(píng)估體系,為AI數(shù)學(xué)推理能力樹立了黃金標(biāo)準(zhǔn)。賽事直接瞄準(zhǔn)人類頂級(jí)數(shù)學(xué)思維能力的機(jī)械化重構(gòu),若成功突破,將推動(dòng)AI在科學(xué)研究、工程優(yōu)化、金融建模等領(lǐng)域的顛覆性應(yīng)用,甚至可能催生出具備自主數(shù)學(xué)發(fā)現(xiàn)能力的下一代AI系統(tǒng)。被業(yè)界視為衡量通用人工智能(AGI)演進(jìn)的關(guān)鍵風(fēng)向標(biāo)之一。
聯(lián)合團(tuán)隊(duì)創(chuàng)新方案:高效投票算法與算力優(yōu)化賦能
是石科技作為聯(lián)合團(tuán)隊(duì)的算力支持方,依托自研“磐石”超智算融合算力平臺(tái)與“玄機(jī)”調(diào)度系統(tǒng),為模型訓(xùn)練與推理提供高效穩(wěn)定的算力保障和優(yōu)化賦能。聯(lián)合團(tuán)隊(duì)在高質(zhì)量和高難度的微調(diào)和高效強(qiáng)化學(xué)習(xí)方案基礎(chǔ)上,創(chuàng)新性地提出高效投票算法short vote——通過并行解碼過程中提前終止低效生成路徑,在短答案階段進(jìn)行投票,顯著減少“過度思考”(overthinking)現(xiàn)象,提升GPU利用率與推理效率。這一技術(shù)路徑充分體現(xiàn)了團(tuán)隊(duì)在異構(gòu)算力優(yōu)化與算法協(xié)同設(shè)計(jì)上的核心優(yōu)勢(shì)。
王本友教授團(tuán)隊(duì):數(shù)學(xué)推理與建模的深厚積淀
王本友教授團(tuán)隊(duì)長(zhǎng)期深耕AI數(shù)學(xué)推理領(lǐng)域,其多項(xiàng)研究成果已成為行業(yè)標(biāo)桿:
OVM算法:首個(gè)在GSM-8K數(shù)據(jù)集上使13B以下模型準(zhǔn)確率突破70%的技術(shù),被全球前20名開源模型廣泛采用;
MathScale:聯(lián)合微軟亞洲研究院提出的可擴(kuò)展數(shù)據(jù)生成方法,相關(guān)論文被ICML 2024收錄,其MathScale-7B模型在十項(xiàng)基準(zhǔn)測(cè)試中準(zhǔn)確率領(lǐng)先同等規(guī)模模型超40%;
Math-Omni:與阿里Qwen團(tuán)隊(duì)聯(lián)合發(fā)布的奧林匹克級(jí)數(shù)學(xué)評(píng)估基準(zhǔn)(ICLR 2025收錄),揭示當(dāng)前最優(yōu)開源模型在奧數(shù)題上僅達(dá)36.2%準(zhǔn)確率;
MAMO:是首個(gè)面向數(shù)學(xué)建模能力評(píng)估的大型語言模型基準(zhǔn),不僅填補(bǔ)了數(shù)學(xué)建模評(píng)估空白,也為推進(jìn)語言模型通往具備抽象能力的通用智能奠定了基礎(chǔ)。
ORLM數(shù)學(xué)建模大模型:聯(lián)合杉數(shù)科技開發(fā)的業(yè)界首個(gè)數(shù)學(xué)建模專用模型,已落地應(yīng)用于生產(chǎn)系統(tǒng)。
團(tuán)隊(duì)還將數(shù)學(xué)推理能力拓展至醫(yī)療領(lǐng)域,其與深圳市大數(shù)據(jù)研究院聯(lián)合發(fā)布,是石科技副總經(jīng)理、香港中文大學(xué)博士侯建業(yè)帶領(lǐng)團(tuán)隊(duì)提供技術(shù)、研發(fā)支撐的HuatuoGPT-o1成為首個(gè)實(shí)現(xiàn)“可驗(yàn)證醫(yī)學(xué)復(fù)雜推理”的大模型,在多項(xiàng)醫(yī)療基準(zhǔn)中超越專業(yè)模型,獲GitHub千星關(guān)注。
是石科技:超智融合加速AI產(chǎn)業(yè)化
作為國內(nèi)領(lǐng)先的超算與AI服務(wù)企業(yè),是石科技以“超智融合,加速AI產(chǎn)業(yè)化”為使命,公司以算力網(wǎng)絡(luò)為基礎(chǔ),以“超智融合,加速AI產(chǎn)業(yè)化”為使命,打造標(biāo)準(zhǔn)化、高效能HAI統(tǒng)一計(jì)算平臺(tái)與模型專家服務(wù)平臺(tái),助力國家科研創(chuàng)新,賦能千行百業(yè)智能化升級(jí)。公司核心業(yè)務(wù)涵蓋算力中心建設(shè)、異構(gòu)算力調(diào)度優(yōu)化及行業(yè)級(jí)AI模型服務(wù),為構(gòu)建智能世界提供基石支撐。
目前,公司平臺(tái)已經(jīng)成功應(yīng)用于人工智能、氣候氣象、工業(yè)仿真、生物信息、航空航天等20多個(gè)領(lǐng)域。
