AI solves International Math Olympiad problems at silver medal level(deepmind.google)
1300 points by ocfnash | 496 comments
Google DeepMind blog post announcing AlphaProof and AlphaGeometry 2 reaching silver-medal standard on International Mathematical Olympiad problems.