DeepMind AI於挑戰性奧林匹亞數學題達到金牌水準

谷歌DeepMind專案的一組研究人員報告稱，其AlphaGeometry2人工智慧在解決過去25年國際數學奧林匹亞（IMO）給高中生的問題時，達到了金牌水準。該團隊在arXiv預印本伺服器上發表的論文中，概述了AlphaGeometry2及其解決IMO問題的成績。

先前的研究表明，能夠解決幾何問題的人工智慧可能會催生更精密的應用程式，因為解決幾何問題既需要高度的推理能力，也需要從解題的可能步驟中進行選擇的能力。為此，DeepMind團隊一直在致力於開發越來越精密的解決幾何問題的應用程式。其第一代版本於去年1月釋出，稱為AlphaGeometry；第二代版本稱為AlphaGeometry2。

DeepMind團隊將其與他們開發的另一個名為Alpha Proof的系統相結合，該系統用於進行數學證明。該團隊發現，它能夠解決今年夏天IMO列出的6道問題中的4道。在這項新研究中，研究團隊透過讓系統解答過去25年IMO使用的多道問題，擴充套件了對系統能力的測試。

研究團隊透過整合多個核心元素構建了AlphaGeometry2，其中之一是谷歌的Gemini語言模型。其他元素則運用數學規則來得出原始問題或其部分的解決方案。

該團隊指出，要解決許多IMO問題，在繼續求解之前必須新增某些構造，這意味著他們的系統必須能夠建立這些構造。然後，他們的系統會嘗試預測新增到圖中的哪些構造應該用於進行解題所需的必要推導。AlphaGeometry2會提出可能用於解決給定問題的步驟，然後在使用這些步驟之前檢查其邏輯性。

為了測試他們的系統，研究人員從IMO中選擇了45道問題，其中一些問題需要轉換成更易於使用的形式，最終共有50道問題。他們報告稱，AlphaGeometry2能夠正確解決其中的42道，略高於該比賽中獲得金牌的人類選手的平均水準。