Только что закончил работу и попробовал Grok-4 на задаче по топологии для студентов. Это заняло 9 минут на размышления, а затем он уверенно дал чистый, правдоподобный, но совершенно неправильный ответ 😅 Не думаю, что это можно считать «умело противостоящим». Модели ИИ разрывают бенчмарки — но до настоящего математического AGI еще далеко.