谷歌 DeepMind 的數學 AI 模型在國際數學奧林匹克賽中取得突破性成績

谷歌DeepMind的數學人工智能模型在今年的國際數學奧林匹克（IMO）比賽中取得了突破性進展。據官方消息，正規數學推理模型AlphaProof和改進版幾何求解模型AlphaGeometry2共同攻克了本屆IMO六道難題中的四道，首次達到了與人類銀牌獲得者相當的水平。

在這場人機較量中，AlphaProof展現出了卓越的能力，不僅成功解決了兩個代數問題和一個數論問題，還能夠爲其解答提供嚴謹的證明。值得一提的是，AlphaProof還攻克了本次比賽中公認最具挑戰性的一道題目，這道題在實際比賽中僅有五名人類選手成功解答。與此同時，AlphaGeometry2在幾何問題的證明上也表現出色。

這兩個AI系統的聯手錶現令人矚目，它們最終獲得了28分的高分，在已解決的每個問題上都拿到了滿分，這一成績與人類銀牌組的最高分不相上下。然而，兩個組合問題仍然未能被AI系統攻克，這也說明了在某些數學領域，人工智能仍有提升空間。

這一成就不僅展示了人工智能在高級數學推理能力方面的巨大潛力，也爲AI在數學研究和教育領域的應用開闢了新的可能性。儘管如此，未解決的問題也提醒我們，在複雜的數學世界中，人類專家的洞察力和創造性思維仍然不可或缺。