Thực ra chuyện này nói toạc ra cũng chẳng có gì phức tạp.

Mấy năm nay AI đang làm mưa làm gió ngoài kia, từ viết văn, vẽ tranh đến trả lời câu hỏi, món nào cũng thạo.

Nhưng nếu đụng đến toán học, nó vẫn chỉ là tay mơ.

Điều Điền Cương muốn làm chính là lôi AI vào lĩnh vực toán học, bắt nó làm việc thay cho các nhà toán học.