The team at DeepMind has been combining it with another system they developed called Alpha Proof, which conducts mathematical proofs ... Performance in Solving Olympiad Geometry with ...

I imagine that is the profound philosophy to which participants in the International Mathematical Olympiad are attracted. This year's competition was held in Japan for the first time in 20 years ...