OpenAI hậu thuẫn việc đánh giá toán học độc lập đối với nghiên cứu do AI tạo ra
TREE NEWS đưa tin: OpenAI đã cam kết chi 5 triệu USD cho một sáng kiến mới của Quỹ Simons nhằm giúp các nhà toán học xác minh, diễn giải và phát triển dựa trên các kết quả nghiên cứu do trí tuệ nhân tạo tạo ra. Chương trình sẽ tài trợ cho việc bình duyệt các kết quả toán học do AI tạo ra, bao gồm cả công trình gần đây do chính OpenAI công bố.
Công ty mô tả khoản đầu tư này như một cầu nối giữa những tiến bộ nhanh chóng về năng lực AI và sự hiểu biết khoa học sâu sắc hơn của con người, lập luận rằng việc xác thực bởi các chuyên gia trong lĩnh vực là điều thiết yếu trước khi các khám phá có sự hỗ trợ của AI có thể được coi là tri thức đáng tin cậy.
Vì sao các nhà toán học là trường hợp thử nghiệm
Toán học đã trở thành một mảnh đất thử thách bất ngờ đối với AI tiên tiến. Khác với các khoa học thực nghiệm, nơi kết quả có thể được đối chiếu với thực tại vật lý, các khẳng định toán học được xác minh thông qua chứng minh hình thức — một quá trình chậm chạp, tốn nhiều công sức và khó tự động hóa. Khi một mô hình đưa ra một định lý mới hay một chứng minh dài, nút thắt không nằm ở việc tạo ra mà ở việc xác minh.
Sự bất đối xứng đó đã tạo ra một khoảng cách về độ tin cậy. Các hệ thống AI giờ đây có thể đưa ra những suy diễn trông có vẻ hợp lý với tốc độ mà không hệ thống tạp chí nào của con người có thể hấp thụ nổi, làm gia tăng nguy cơ các kết quả chưa được xác minh lọt vào tài liệu. Việc tài trợ cho các nhà toán học kiểm toán những kết quả này là một nỗ lực thu hẹp khoảng cách đó bằng chuyên môn của con người thay vì các điểm số tin cậy tự động.
Hàm ý đối với AI và hạ tầng crypto
Sáng kiến này ra đời đúng lúc crypto và AI tiếp tục hội tụ quanh khái niệm tính toán có thể xác minh. Các dự án trong lĩnh vực tính toán phi tập trung và chứng minh không kiến thức đã và đang chào mời việc xác minh trên chuỗi đối với suy luận của học máy — ý tưởng rằng đầu ra của một mô hình có thể được chứng thực bằng mật mã thay vì chỉ được tin tưởng. Xác minh toán học hình thức là họ hàng về mặt khái niệm của nỗ lực đó.
- Xác minh như một thị trường: Nếu kết quả nghiên cứu AI phải được kiểm tra độc lập, một lớp dịch vụ cho chứng minh, kiểm toán và chứng thực sẽ trở nên có giá trị — một mô hình mà các thị trường khuyến khích của crypto từ lâu đã cố gắng kiếm tiền từ đó.
- Hạ tầng niềm tin: Cùng một câu hỏi — ai xác thực các khẳng định do máy tạo ra — nằm ở trung tâm của thiết kế oracle DeFi, trách nhiệm giải trình của AI agent, và các mạng GPU phi tập trung.
- Dòng chảy nhân tài và vốn: Các chương trình đánh giá toán học được quỹ hậu thuẫn có thể kéo các nhà nghiên cứu định lượng về phía lĩnh vực xác minh AI, một bộ kỹ năng gần gũi với mật mã học và thiết kế cơ chế.
Triển vọng phía trước
5 triệu USD là khiêm tốn theo tiêu chuẩn vốn của AI, nhưng ý nghĩa của nó mang tính cấu trúc. Nó thừa nhận rằng yếu tố giới hạn trong khoa học do AI dẫn dắt không còn là năng lực tính toán thô hay quy mô mô hình — mà là bộ máy con người và thể chế cần thiết để chứng nhận những gì các mô hình đó tạo ra. Nếu mô hình này hiệu quả, hãy kỳ vọng những quỹ xác minh tương tự sẽ xuất hiện trong sinh học, khoa học vật liệu, và cuối cùng là các thị trường chứng thực trên chuỗi, nơi trả tiền cho các validator để kiểm tra những khẳng định do máy tạo ra. Đối với crypto, bài học này quen thuộc: các hệ thống không cần tin cậy vẫn cần một lớp xác minh đáng tin cậy, và phải có ai đó chi trả cho nó.
