|
各種AI工具可解更多複雜難題。圖/取自網路 |
|
|
人工智慧公司「Google DeepMind」(昔稱DeepMind科技)7月利用結合數學推理系統「AlphaProof」與幾何解題系統「AlphaGeometry 2」的工具,解出今年第65屆「國際數學奧林匹亞競賽」6道數學難題中的4題,達到與銀牌得主相同的水準,展現Google DeepMind在數學領域推理能力的人工智慧重大進展。
國際數學奧林匹亞競賽是歷史最悠久且規模最盛大的全球中學生數學競賽,1959年以來每年舉辦一次。本屆國際數學奧林匹亞競賽除了人類應試者,還有Google DeepMind的突破性人工智慧雙系統來挑戰。
每年的國際數學奧林匹亞競賽考題都有6道深奧的題目,出題範圍涵蓋代數(algebra)、幾何(geometry)和數論(number theory)等領域,贏得金牌的應試者將躋身全球最優秀的年輕數學家之列。
國際數學奧林匹亞競賽參賽學生分兩階段解答題目,每個階段的時間限制為4小時30分鐘。Google DeepMind團隊豁免時間限制,國際數學奧林匹亞競賽的題目被翻譯成正式的數學語言,讓兩套人工智慧系統能夠理解,該系統僅用16秒就解決一道幾何問題,卻花了72小時解決其他問題。
負責評分的英國數學家高爾斯表示,AlphaGeometry 2透過語言模型和更類似數學的方法配對,並在此次國際數學奧林匹亞競賽解題中,凸顯其幾何領域的重大進展。他解釋,AlphaGeometry 2選擇了一條出乎意料的「捷徑」,「曾有些電腦輔助的經典例證比維基百科(Wikipedia)還要長,結果事實並非如此」。
Google DeepMind的AlphaProof是旨在強化學習的「形式數學」新型推理系統,透過數百萬次驗證自主訓練,逐步解決艱澀難題。此次挑戰國際數學奧林匹亞競賽的「AlphaGeometry 2」,則為比「AlphaGeometry」更快速的改良升級版本。
Google DeepMind團隊表示,AlphaProof成功解答兩道代數題和一道數論題,其中包括今年最難、只有5名參賽學生答對的難題;另外,AlphaGeometry 2解出一道幾何問題,另有兩題解不出來。衛報指出,人工智慧系統與人類不同,要麼完美解答題目,要麼絕望當機。
|