Get the latest tech news
Google claims math breakthrough with proof-solving AI models
AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance
On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year's International Mathematical Olympiad(IMO), achieving a score equivalent to a silver medal. According to Google, prominent mathematicians Sir Timothy Gowers and Dr. Joseph Myers scored the AI model's solutions using official IMO rules. The IMO, held annually since 1959, pits elite pre-college mathematicians against exceptionally difficult problems in algebra, combinatorics, geometry, and number theory.
Or read this on r/technology
