Учёные уличили ИИ в неспособности строить математические доказательства в олимпиадных задачах USAMO 2025 года