编辑：编辑部 【新智元导读】谷歌DeepMind的AI，终于拿下IMO金牌了！六个月前遗憾摘银，如今一举得金，SKEST新算法立大功。这不，它首破解了2009 IMO最难几何题，辅助作图的神来之笔解法让谷歌研究员当场震惊。 时隔6个多月，AlphaGeometry 2直接攻下IMO金牌！