ИИ прорвался на Международную математическую олимпиаду: AlphaProof получила серебро — впервые в истории