#834 Chương 834: Cỗ máy đầu tiên trên toàn cầu (2)

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.

Dạo gần đây, các tạp chí cũng bắt đầu nhận được những bài báo mà các bước suy luận chính đều do AI thực hiện.