Phải biết rằng, đó là một giả thuyết lâu đời đã có lịch sử hơn 80 năm, chẳng ai ngờ nó lại sụp đổ dễ dàng như thế.
Những người làm nghiên cứu theo hướng đó thậm chí còn chưa kịp trở tay.
Hiện tại, cơ sở dữ liệu chứng minh hình thức hóa của các đại mô hình ngày càng khổng lồ. Trước kia, việc xác định tính đúng sai của một mệnh đề là công việc của các nhà toán học.
Còn bây giờ, chỉ cần mô tả bài toán đủ rõ ràng, Vị Ương xử lý nhanh hơn con người rất nhiều, mà lại cực kỳ ít khi mắc lỗi.
