姜萍入圍的數(shù)學(xué)競(jìng)賽決賽試題公布

最近，一位名叫姜萍的17歲少女引起了廣泛關(guān)注。她不僅成功入圍2024阿里巴巴全球數(shù)學(xué)競(jìng)賽決賽，還以93分的高分位居全球第12名，成為前30名中唯一的女性選手。令人驚訝的是，姜萍并非出自傳統(tǒng)意義上的學(xué)術(shù)名校，而是來(lái)自江蘇省漣水中等專(zhuān)業(yè)學(xué)校，一所中專(zhuān)院校，專(zhuān)業(yè)竟是服裝設(shè)計(jì)。在這個(gè)滿(mǎn)是北大、劍橋、清華等頂尖學(xué)府學(xué)子的競(jìng)爭(zhēng)環(huán)境中，她的存在顯得格外特別。姜萍入圍的數(shù)學(xué)競(jìng)賽決賽試題公布。

今年的阿里巴巴全球數(shù)學(xué)競(jìng)賽已是第六屆，姜萍創(chuàng)造了歷史，作為首位闖入決賽的中專(zhuān)生。網(wǎng)絡(luò)上對(duì)她事跡的討論不絕于耳，眾人紛紛向這位年輕女孩致敬，期待她未來(lái)能在數(shù)學(xué)的道路上不斷前行，攀上夢(mèng)想的頂峰。同時(shí)，這也引發(fā)了對(duì)這項(xiàng)賽事本身的好奇。

該競(jìng)賽始于2018年，由馬云發(fā)起，聯(lián)合阿里巴巴公益和達(dá)摩院，發(fā)展成全球規(guī)模最大的在線(xiàn)數(shù)學(xué)競(jìng)賽。值得注意的是，今年的競(jìng)賽引入了一個(gè)新亮點(diǎn)——允許AI團(tuán)隊(duì)參賽。盡管有563支AI隊(duì)伍參與，但無(wú)人能晉級(jí)決賽，最高分34分，與人類(lèi)選手的最高分113分相差甚遠(yuǎn)，也未能超越姜萍的93分。AI隊(duì)列中，排名靠前的竟是高中生及熟悉的“特工宇宙”，他們運(yùn)用了不少工程化方法。

出于好奇，我查閱了競(jìng)賽題目，發(fā)現(xiàn)難度之大超出想象。從第一題的迷宮挑戰(zhàn)到第七題的復(fù)雜推理，每一道題都考驗(yàn)著解題者的邏輯思維和數(shù)學(xué)功底。即便是嘗試用ChatGPT這樣的先進(jìn)AI應(yīng)對(duì)，最終也僅得0分，顯示了現(xiàn)有AI在處理高等數(shù)學(xué)推理上的局限性。

盡管如此，AlphaGeometry的研究成果展示了AI在數(shù)學(xué)領(lǐng)域的潛力，它在國(guó)際數(shù)學(xué)奧林匹克幾何題中展現(xiàn)了接近人類(lèi)金牌得主的水平。這背后是人類(lèi)智慧的結(jié)晶，通過(guò)構(gòu)建神經(jīng)語(yǔ)言模型和符號(hào)演繹引擎，不斷提升AI的推導(dǎo)能力。

對(duì)于大多數(shù)人而言，這些高度復(fù)雜的數(shù)學(xué)挑戰(zhàn)或許遙遠(yuǎn)，但我們對(duì)技術(shù)進(jìn)步抱有期待，比如傳聞中的GPT-5，據(jù)說(shuō)將在高級(jí)推理方面取得重大突破。無(wú)論AI如何發(fā)展，攀登知識(shí)高峰的精神，如姜萍對(duì)數(shù)學(xué)的熱愛(ài)，以及無(wú)數(shù)因熱愛(ài)而卓越的人們，始終激勵(lì)著我們前行。至于GPT-5何時(shí)問(wèn)世，時(shí)間會(huì)給出答案。

姜萍入圍的數(shù)學(xué)競(jìng)賽決賽試題公布。