Системы искусственного интеллекта AlphaProof и AlphaGeometry 2 достигли уровня серебряной медали на Международной математической олимпиаде (IMO), решив четыре из шести…