(Laughter) Now it outputs a perfect answer, though its proof is impossible to read, even for mathematicians.
(Смех) Теперь он выдаёт правильный ответ, хотя в его решении не под силу разобраться даже математикам.