AI & Toán học: Khi máy bắt đầu chạm vào những bài toán mở

Từ huy chương vàng IMO đến Erdős #1051, AI đang đi từ giải bài thi sang tham gia nghiên cứu Toán. Nhưng điều đáng hỏi không chỉ là máy giải được gì, mà con người sẽ học và làm Toán thế nào.