Artificial intelligence coped with the most difficult task of the International Mathematics Olympiad
The artificial intelligence systems AlphaProof and AlphaGeometry 2 have achieved a silver medal level at the International Mathematical Olympiad (IMO) by solving four out of six problems. The IMO is the most prestigious competition for young mathemat...
Read More