GPT-5 vừa vượt qua cái mà các nhà nghiên cứu gọi là "Bài kiểm tra Gödel." Điều đó có nghĩa là nó không chỉ giải quyết các bài toán trong sách giáo khoa, mà còn giải quyết các giả thuyết toán học mở mà thường thì một sinh viên tiến sĩ có kỹ năng sẽ mất vài ngày để giải quyết. Trong một bài báo mới, GPT-5 đã được thử nghiệm trên 5 giả thuyết tối ưu hóa chưa được giải quyết. Nó đã giải quyết được 3 trong số 5. Trong một bài toán, nó thậm chí đã đưa ra một chứng minh hợp lệ khác mà các nhà nghiên cứu không mong đợi. Chúng ta đã chính thức bước vào kỷ nguyên mà AI tiên tiến không chỉ học từ toán học, mà còn thực sự làm toán. Những hệ quả là rất lớn: • Tiến bộ trong các vấn đề mà con người phải vật lộn trong nhiều ngày hoặc tuần • AI đóng góp vào những phát hiện toán học thực sự • Một cái nhìn trước về cách nghiên cứu sẽ chuyển mình trong những năm 2030 Mọi người vẫn đang đánh giá thấp điều này. Tác động của các mô hình có thể chứng minh các định lý vẫn chưa bắt đầu thấm nhuần. Đây là ranh giới giữa "tự động hoàn thành tinh vi" và lý luận khoa học thực sự.