谷歌DeepMind的AI系统AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛中表现出色，分别做出了4道和1道题目，总得分接近金牌水平。AlphaProof在代数和数论领域表现出色，AlphaGeometry 2在几何领域展现出了惊人的速度，仅用19秒就解答了其中一道难题。这两款AI系统通过强化学习和自然语言处理技术，成功跨越了传统AI在数学推理上的局限，实现了对复杂数学问题的解答。在比赛中，AI的解题过程展示了其逻辑推理和证明能力，甚至在某些方面超过了人类选手。然而，AI在处理常识问题时仍存在不足，比如在判断9.11和9.9的大小时出现错误。这一成就标志着AI在数学领域的重大突破，预示着人工智能在解决复杂问题和扩展人类知识边界方面的潜力。