證明

Google DeepMind團隊打造一款AI系統AlphaGeometry，由神經語言模型和符號推論引擎組成，單靠1億筆合成資料訓練，就成功在最新的國際數學奧林匹克競賽中，解出25題（共30題），表現還與金牌得主的平均值25.9題相當。