谷歌DeepMind團隊開發的AI系統AlphaProof在2024年國際數學奧林匹克競賽中獲得銀牌水平表現。該系統結合神經網絡、搜索算法和測試時強化學習,能夠理解數學結構并進行形式化證明。團隊使用Lean編程語言訓練AI翻譯和驗證數學陳述,創建了8000萬個形式化數學問題的數據庫。雖然計算成本高昂且需要幾天時間解決問題,但這標志著AI在高級數學推理方面的重大突破。
北京第二十六維信息技術有限公司(至頂網)版權所有. 京ICP備15039648號-7 京ICP證161336號京公網安備 11010802021500號
舉報電話:010-62641205-5060 涉未成年人舉報專線:010-62641208 舉報郵箱:jubao@zhiding.cn
網上有害信息舉報專區:https://www.12377.cn