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 ...