Mô hình suy luận thế hệ tiếp theo của OpenAI, được gọi nội bộ là Astra, vừa thực hiện một điều khiến hầu hết các ứng viên tiến sĩ phải khóc vào bảng trắng. Công ty đã công bố vào ngày 1 tháng 8 rằng mô hình này đã tự động tạo ra 10 kết quả mới cho các bài toán mở trong toán học và khoa học máy tính lý thuyết, mỗi kết quả đều được các nhà toán học bên ngoài xác minh, bao gồm cả nhà toán học giành giải Fields Tim Gowers.
Đây không phải là lần đầu tiên Astra làm điều này. Vào ngày 20 tháng Năm, cùng mô hình này đã bác bỏ giả thuyết khoảng cách đơn phẳng của Erdős, một bài toán đã làm bế tắc các nhà toán học trong gần 80 năm.
Điều mà mô hình thực sự đã làm
Vấn đề do nhà toán học Hungary huyền thoại Paul Erdős đặt ra liên quan đến việc có bao nhiêu cặp điểm trong mặt phẳng có khoảng cách chính xác bằng một đơn vị. Astra đã xây dựng các cấu hình tạo ra ít nhất n^(1+δ) cặp điểm cách nhau một đơn vị, với δ lớn hơn không, cho vô số giá trị n. Kết quả tinh chỉnh đã xác định δ ở mức 0.014. Đây là lần đầu tiên một AI tự chủ giải quyết một vấn đề quan trọng trong hình học rời rạc. Không cần đào tạo toán học chuyên sâu. Không cần sự hỗ trợ của con người. Mô hình đã tự mình thực hiện các lập luận đại số nâng cao.
Thông báo tháng Tám đã bổ sung thêm 10 kết quả nữa, bao gồm hình học và khoa học máy tính lý thuyết. Mỗi kết quả đều được các nhà toán học chuyên nghiệp xác minh độc lập. Chính Gowers đã gọi thành tựu này là “mốc quan trọng trong toán học AI.” Các nhà toán học, bao gồm Gowers và Thomas Bloom, đã công bố các bài báo đi kèm xác minh các chứng minh và đưa ra phân tích sâu hơn.
Tại sao điều này quan trọng hơn cả toán học thuần túy
Mã hóa, nền tảng của mọi blockchain và tài sản kỹ thuật số hiện có, về cơ bản là toán học ứng dụng. Các giả định bảo mật hỗ trợ Bitcoin, Ethereum và mọi giao thức tiền mã hóa khác dựa trên độ khó tính toán của một số bài toán toán học. Một mô hình có thể bác bỏ các giả thuyết 80 năm tuổi trong hình học rời rạc hôm nay có thể là mô hình mà các thế hệ kế tiếp của nó sẽ khám phá nền tảng toán học của mã hóa ngày mai.
Điều mà các nhà đầu tư nên thực sự theo dõi
Tác động thị trường ngay lập tức ở đây là bằng không. OpenAI không nhắc đến bất kỳ token tiền điện tử, tài sản kỹ thuật số hoặc các giao thức liên quan nào trong tất cả các thông báo của mình. Đây là một cột mốc nghiên cứu AI thuần túy.
Đầu tiên, các token và dự án liên quan đến AI tập trung vào tính toán toán học và xác minh bằng chứng có thể nhận được sự quan tâm trở lại. Câu chuyện cho rằng AI có thể thực hiện công việc trí tuệ thực sự, có thể xác minh được, chứ không chỉ tạo ra văn bản nghe có vẻ hợp lý, đã củng cố lập luận cho các dự án xây dựng tại giao điểm giữa AI và xác minh blockchain.
Thứ hai, mật mã sau lượng tử đang chuyển từ mối quan tâm lý thuyết thành ưu tiên thực tiễn. Các dự án đang phát triển các tiêu chuẩn mật mã chống lượng tử và chống AI có thể ngày càng trở nên quan trọng.