An Olympiad-level AI system for geometry
The International Mathematical Olympiad (IMO) announced a few months ago the AIMO Prize: 5 million USD to the first AI that can win a gold medal! At least in geometry, this seems to be already in reach: Google DeepMind developed an AI-system that can solve in a benchmarking test 25 of 30 Olympiad geometry problems … Continue reading "An Olympiad-level AI system for geometry"