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