Technology ❯AI Applications ❯Natural Language Processing ❯Language Models

AlphaProof

AI Achieves Silver Medal in Prestigious Math Competition

Google DeepMind's AlphaProof and AlphaGeometry 2 solve complex problems at the International Mathematical Olympiad