The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.
Google researchers have developed an artificial intelligence (AI) math system that can out-smart gold medalists in international geometry competitions. The system, called "AlphaGeometry2" (AG2), is an ...