DeepMind 新突破：AI 攻破国际数学奥林匹克，斩获银牌

Google DeepMind的AlphaProof和AlphaGeometry 2系统在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成就，解决了四个问题并达到了银牌水平。AlphaProof是一个基于强化学习的形式数学推理系统，通过自我训练在Lean的形式语言中证明数学陈述，解决了代数和数论问题。AlphaGeometry 2是一个神经符号混合系统，显著改进了几何问题的解决能力。这两个系统的成功展示了AI在高级数学推理方面的突破，为未来的科学和技术领域开辟了新的可能性。