AI làm toán, con người làm gì?

AI đang làm được những việc từng được xem là đặc quyền của các nhà toán học: tìm lời giải, đề xuất thuật toán, thậm chí tự chứng minh định lý hay tạo ra những kết quả mới.