AlphaGeometry2 has surpassed IMO gold medalist performance in geometry problems
AlphaGeometry2 (AG2) is an enhanced neuro-symbolic system for solving geometry problems, which Google DeepMind claims outperforms IMO gold medalists. Although AG2 has some limitations, it undoubtedly has taken DeepMind one step closer to "solving geometry".