谷歌的人工智慧系統AlphaProof和AlphaCurve 2取得了突破性成果，成功解決了2024年國際數學奧林匹克運動會（IMO）六道題中的四道，並獲得了相當於銀牌的成績。這是人工智慧系統首次在這項享有盛譽的比賽中取得如此高水平的表現。
AlphaProof是一個強化學習系統，可以解決兩個代數問題和一個大數問題，包括本次比賽中最具挑戰性的主題。AlphaCurve 2是其前身的改進版本，可解決幾何問題。這些人工智慧系統總共得分28分，解決的每個問題都得滿分。
自1959年以來，一年一度的國際海事組織對年輕數學家來說都是一項重要活動。今年，共有609名參賽者中有58名以29分或更高的成績獲得金牌。
AlphaProof是一個基於強化學習的形式數學推理系統，可以證明數學陳述的正確性。它將預先訓練的語言模型與AlphaZero強化學習算法相結合，使用形式語言Lean進行訓練和推理。
AlphaGeometry 2是幾何問題解決系統的改進版本，使用神經符號混合方法，並在大量合成數據上進行訓練。該系統解決幾何問題更快，更有效。
國際數學奧林匹克簡介：IMO是歷史最悠久、規模最大、最負盛名的青少年數學競賽，每年吸引世界頂尖的准科學家參加。
型號性能：在今年的IMO中，AlphaProof和AlphaCurve 2總共解決了4道題，得到了28分，與銀牌得主的成績相當。
AlphaProof如何工作：通過訓練數百萬個數學問題，AlphaProof生成並驗證增強其語言模型推理能力的解決方案。
AlphaCurve 2的改進：AlphaCurve 2擁有更快的符號引擎和知識共享機制，可以在更短的時間內解決更複雜的幾何問題。
如果您想了解更多信息，可以單擊視頻下方的連結。
感謝您觀看此視頻。如果您喜歡，請訂閱並點讚。謝謝
原文：https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
輸油管：