Sir William Timothy Gowers, FRS is a British mathematician. He is the holder of the Combinatorics chair at the Collège de France, a director of research at the University of Cambridge and a Fellow of Trinity College, Cambridge. From Wikipedia
Google DeepMind's AlphaProof and AlphaGeometry 2 solve complex problems at the International Mathematical Olympiad