AI 在解决国际数学奥林匹克竞赛问题上达到银牌水平 (deepmind.google)

Google DeepMind 开发的新型人工智能系统 AlphaProof 和 AlphaGeometry 2 在解决高级数学推理问题方面取得了突破，在今年的国际数学奥林匹克竞赛（IMO）中解决了六道题中的四道，首次达到了银牌选手的水平。AlphaProof 擅长形式数学推理，而 AlphaGeometry 2 则专注于解决几何问题。这些系统经过大量训练数据的训练，能够理解和解决复杂的数学问题，标志着人工智能在数学推理领域的重大进步。