Các phương tiện truyền thông nước ngoài cho biết, giáo sư UCLA và người đoạt giải Fields Terence Tao mới đây đã cảnh báo công khai rằng AI đang tiêu thụ những vấn đề mở thực sự thúc đẩy sự tiến bộ của ngành toán học với tốc độ nhanh hơn khả năng của cộng đồng toán học trong việc bổ sung các vấn đề mới. Theo ông, rủi ro không nằm ở việc các mô hình sẽ viết ra nhiều chứng minh hơn, mà ở chỗ chúng có thể nén quá nhanh không gian mà các nhà nghiên cứu đã dành dài hạn để khám phá.
Các bài toán giá trị cao đang trở nên ít hơn
Tào Triết Hiên chỉ ra rằng các bài toán toán học có thể được tạo ra vô hạn, nhưng những bài toán thực sự quan trọng thì không nhiều. Nhiều vấn đề chưa được giải quyết tuy tồn tại, nhưng chưa chắc đã mang lại phương pháp mới hay thúc đẩy lĩnh vực liên quan tiếp tục phát triển. Các nhà nghiên cứu trước đây dựa vào kinh nghiệm để xác định những bài toán nào đáng đầu tư vài tháng甚至 vài năm thời gian.
Anh ấy cho rằng AI đang làm xáo trộn nhịp điệu này. Trước đây, các công cụ mới sẽ làm giảm độ khó của một số vấn đề, nhưng đồng thời cũng mở ra những hướng đi mới ngoài ranh giới năng lực. Hiện nay, giới hạn của các mô hình vẫn chưa rõ ràng, khiến các nhà nghiên cứu khó xác định những vấn đề nào vẫn phù hợp để đầu tư dài hạn và những vấn đề nào có thể nhanh chóng được mô hình giải quyết trực tiếp.
Phòng thí nghiệm AI đã bắt đầu cuộc thi giải bài nhanh
Bài báo nhắc đến việc vào tháng 5 năm nay, mô hình của OpenAI đã đưa ra phản ví dụ cho giả thuyết khoảng cách Erdős, chạm đến bài toán toán học đã tồn tại khoảng 80 năm. Các nhà toán học bên ngoài, bao gồm cả người đoạt giải Fields Tim Gowers, sau đó đã xác minh điều này.
Gần như cùng lúc, các nhà nghiên cứu của Anthropic cũng đã thử câu hỏi này trên Claude Mythos chưa được phát hành. Các kỹ sư công ty cho biết mô hình này đưa ra chứng minh ngắn hơn; một số nhà toán học cho rằng phiên bản của nó nhìn chung kém hơn một chút so với OpenAI, nhưng vẫn tìm ra được lời giải khả thi.
Báo cáo còn cho biết, Anthropic sau đó đã hình thức hóa chứng minh lịch sử của Định lý Lớn Fermat. Vài ngày sau, OpenAI lại giải được một bài toán khoảng 90 năm tuổi, chỉ vài giờ sau khi một nhà nghiên cứu công bố chứng minh của mình. Tốc độ này chính là điều Terence Tao lo ngại.
Khuyến nghị tăng trọng số của quá trình suy luận
Tào Triết Hiên đề xuất có thể đánh dấu một số câu hỏi là “cần phân tích”. Theo tiêu chuẩn này, giá trị của việc chỉ đưa ra câu trả lời đúng sẽ bị giảm xuống, và các nhà nghiên cứu cần đồng thời giải thích quy trình suy luận, cũng như quy trình này có thể mang lại sự gợi ý gì cho các câu hỏi liên quan.
Anh ấy cho rằng, chỉ tập trung vào việc rút ra câu trả lời nhanh nhất sẽ giải quyết được vấn đề trước mắt trong ngắn hạn, nhưng đổi lại là làm suy yếu hệ sinh thái câu hỏi cần thiết cho nghiên cứu tiếp theo, đồng thời không có lợi cho việc hiểu tại sao các thành tựu hiện có lại đúng. Theo báo cáo, đề xuất này hiện chưa trở thành quy tắc chính thức, và sự tiến triển liên tục của các phòng thí nghiệm AI lớn có thể khiến cộng đồng toán học nhanh chóng đối mặt với cuộc tranh luận về tiêu chí đánh giá.