快科技6月16日消息,在最近舉辦的阿裡巴巴全球數學競賽中,來自江蘇省漣水中等專業學校的17歲女生薑萍不僅成功入圍決賽,還以全球排名12的成績成為賽事歷史上首個進入決賽的中專生。
不僅如此,今年的阿裡數賽還首次開放AI大模型挑戰賽,共有563支由全球知名高校院所和企業組建的AI隊伍與薑萍解答同一份試卷。
最終AI隊伍的平均分為18分,這一成績已經接近人類選手的平均水平。但最高得分卻僅為34分,與人類選手的最高分113分相差甚遠,並且AI隊伍在決賽中無一入圍。
AI隊伍中最高分由上海建平中學的塗津豪個人推出的AI方案獲得,他采用一種讓多個大模型進行自問自答自驗證”的方法,以尋求問題的最優解。
而西南交通大學的特工宇宙團隊和中國人民大學的SuperCarryMan團隊分別以27分的成績位列AI挑戰賽的亞軍和季軍。
盡管AI在數學競賽中的表現顯示出一定的潛力,但專傢分析指出,現有的大語言模型在完成復雜推理和嚴謹思考方面仍存在局限。
AI在邏輯推理能力和證明題的得分上表現不佳,這表明在深層次邏輯推理和創新思維方面,人類選手依然保持著明顯的優勢。