Учёные уличили ИИ в неспособности строить математические доказательства в олимпиадных задачах USAMO 2025 года Читать в полной версии 26.04.2025 12:29, Дмитрий Федоров