数学界的AlphaGo时刻：谷歌DeepMind AI 19秒解 IMO几何题，仅差1分即可摘金牌

Google宣布一项长期重大挑战中的一个重要里程碑：Google混合人工智能系统在今年的国际数学奥林匹克竞赛（IMO）中获得了相当于银牌的成绩。具体来说google展示了第一个以银牌级别解决国际数学奥林匹克问题的人工智能。它结合了 AlphaProof（一种新的突破性形式推理模型）和 AlphaGeometry 2（之前系统的改进版本）。