The Math Olympiad has a new challenger: Google's AI is now 'better than human gold medalists' at solving geometry problems