Een AI-systeem van Google DeepMind heeft Olympiade-meetkundeproblemen opgelost op een niveau vergelijkbaar met gouden medaillewinnaars.