Realizare AI: AlphaGeometry depășește abilitățile matematice umane la Olimpiadele Internaționale de Matematică