Terence Tao cảnh báo toán học sắp rơi vào khủng hoảng dư thừa chứng minh
Trong bài viết dài 12 trang trên arXiv, Terence Tao cảnh báo: khi AI giải một chứng minh nghiên cứu chỉ tốn vài trăm đô, toán học đang chuyển từ khan hiếm sang dư thừa chứng minh.