陶哲軒支援！AI數學奧林匹克競賽進步獎公佈，獎金100多萬美元

大模型做數學題到底如何，不妨讓它參與一下這種級別的比賽。

「AI 數學奧林匹克競賽（AIMO 進步獎）的初步成績已公佈。根據排行榜的資料，目前看來，獲勝的程式在私人測試中正確回答了 29/50 道題，這一成績比預期的要高。」剛剛，陶哲軒在個人部落格中公佈了這一訊息。

AIMO 最初由一家搞機器學習量化交易的非銀行金融機構 XTX Markets 發起，主要是讓參與者使用 AI 模型解決國際數學難題，而本次進步獎的目標是建立能夠解決用 LaTeX 格式編寫的複雜數學問題的演算法和模型。這將有助於推動人工智慧模型的數學推理能力，並推動前沿知識的發展。

值得一提的是，此次進步獎是首次頒發，獲獎隊伍將角逐 104.8 萬美元的獎金。

參賽題目包括中級高中數學競賽的題目，但難度沒有達到國際數學奧林匹克（IMO）的水平。

獲獎資格要求團隊公開發布其程式碼、方法、資料和模型引數。

根據排名，我們可以看出，獲得第一名的是 Numina 的團隊，CMU_MATH 位列第二，after exams 暫居第三，codeinter、Conor #2 團隊分別拿到第四、第五的成績。

根據規則，參賽小組最多 5 人，排名前五的就有兩位是單人作戰。

大家使用的模型也是各不相同，包括 Mixtral・8x7b、Gemma、Llama 3 等。

一直以來，IMO 國際奧林匹克數學競賽都是由專門研究數學的愛好者們直接參與，但隨著大模型能力的不斷提升，其在數學中的表現受到越來越多的關注。

大家測試的重點也逐漸從類似的高考題轉戰到奧林匹克競技場上，此前，來自 Google DeepMind 的 AlphaGeometry 登上 Nature，該研究解決了 30 個奧林匹克級別問題中的 25 個，接近國際數學奧林匹克競賽金牌選手的平均表現。

在大模型爆發的當下，已經不止一家開始挑戰奧賽難題，讓他們之間一較高下結果會怎樣呢？

去年 11 月，專門為 AI 設立的數學比賽來了，獎金為 1000 萬美元，旨在激勵開放式的人工智慧模型開發，使其能夠在國際數學奧林匹克（IMO）中表現得與頂尖人類參賽者一樣出色。此次進步獎是作為 AIMO 大獎的一部分進行評選。

AIMO 顧問委員都是數學界的大牛，包括菲爾茲獎得主 Timothy Gowers 和陶哲軒（Terence Tao），與他們一同任職的還有 Po-Shen Loh、Dan Roberts 和 Geoff Smith。

^{參考連結：}

^{https://aimoprize.com/participate}

相關文章