AI vào cuộc kiểm chứng chứng minh Fields Medal

AI và phần mềm chứng minh vừa giúp kiểm chứng hình thức công trình của Maryna Viazovska. Đây là tín hiệu mới cho tham vọng đưa AI vào nghiên cứu toán học đỉnh cao.