At the International Mathematical Olympiad (IMO) this year, an AI from Google DeepMind won a silver medal, marking the first time an AI has placed on the podium. For young mathematicians, the IMO is regarded as the most prestigious competition in the world. The mathematical skills that AI systems generally lack are necessary to correctly answer its test questions. AlphaGeometry…
↧