ИИ разтърси света: Реши математическа задача на повече от век