Обявиха, че AI е решил 90-годишна математическа задача за часове