25.07.2024 AI achieves silver-medal standard solving International Mathematical Olympiad problems By Google DeepMind Blog in News, robotics, Robotics Classification, robots, robots in business, Robots Podcast Tag news Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics