News

The Google DeepMind team participated in last year's IMO competition using an AI composed of the AlphaProof and AlphaGeometry ...