1月22日 消息:谷歌旗下的DeepMind研究團隊最近推出了名為AlphaGeometry的人工智能系統，該系統在解決幾何奧林匹克問題方面表現出色，幾乎可與人類金牌得主相媲美。這一成就代表著在大學預科數學困難領域中復雜自動推理能力的顯著進步。

　　幾何奧林匹克問題一直以來都被認為是人類層面思考的標準，由于其難度，人工智能在這一領域的應用一直面臨挑戰，尤其是由于缺乏足夠的訓練數據。然而，AlphaGeometry的研發團隊采用了創新性的方法，通過綜合數百萬個不同復雜程度的定理和證明，構建了大型數據集進行訓練，從而克服了這一問題。

　　AlphaGeometry專為歐幾里得平面幾何設計，采用了神經語言模型和符號推演引擎的獨特組合。通過創建合成數據進行訓練，該系統可以從頭開始完全訓練，使其能夠在數學定理證明方面表現卓越。

　　在IMO-AG-30基準測試中，該系統在30個經典幾何問題中獲得了25個問題的成功率，超過了基線，展示了其解決復雜幾何問題的能力。AlphaGeometry生成人類可讀的證明，提高了答案的可解釋性，同時在解決國際數學奧林匹克競賽(IMO)中的問題方面取得了與金牌得主相媲美的水平。

　　AlphaGeometry的發布標志著在計算機程序領域中首次實現了比IMO平均候選程序更有效地證明歐幾里得平面幾何定理的突破，推動了數學競賽頂峰推理的自動化。