Hai hệ thống AI tiên phong, làm việc độc lập, đã làm được điều mà không nhà toán học nào thực hiện nổi trong ba thập kỷ: bác bỏ Giả thuyết Thời gian Mũ (ETH).
OpenAI thông báo mô hình nghiên cứu của họ đã tìm ra phản chứng bằng ngôn ngữ tự nhiên cho ETH vào ngày 16 tháng 10 và chính thức hóa nó ngay hôm sau trong Lean, trình kiểm chứng máy. Bản thảo 67 trang ghi tác giả là "OpenAI".
Vài giờ trước đó, Anthropic đã đăng bài báo 49 trang của riêng mình, "A 2^o(n) Time Algorithm for 3-SAT", ghi công cho "Claude, Anthropic". Một mô hình nghiên cứu Claude nội bộ đã tìm ra thuật toán cốt lõi cùng ngày, 16 tháng 10.
ETH, do Russell Impagliazzo và Ramamohan Paturi đề xuất khoảng năm 1999, phát biểu rằng không có thuật toán nào giải bài toán thỏa mãn Boolean nhanh hơn thời gian mũ. Nó là nền tảng cho hàng trăm kết quả độ khó có điều kiện trong lý thuyết đồ thị, cơ sở dữ liệu, sinh học tính toán và hình học tính toán.
Cả hai nhóm hiện tuyên bố có một thuật toán tất định đếm các phép gán thỏa mãn trong thời gian dưới mũ, với cùng số hạng chính trong số mũ. Nếu tuyên bố đứng vững, một bức tường chịu lực của lý thuyết độ phức tạp sụp đổ.
Cỗ máy kiểm chứng mạnh một cách khác thường. Chứng minh được chính thức hóa trong Lean, vốn kiểm tra từng bước một cách cơ học. Stefan Szeider tại TU Wien, người đã xem xét tài liệu công bố, kỳ vọng nó sẽ chịu được sự giám sát. Ấn tượng nhất: OpenAI đã mời nhóm đánh giá độc lập có cả Impagliazzo và Paturi - chính các tác giả của giả thuyết đang kiểm toán sự bác bỏ nó. Thư ngỏ của họ nói rằng điều này có thể thay đổi một phần quan trọng của khoa học máy tính.
Các giới hạn cũng quan trọng như kết quả. P versus NP không bị động đến. Thuật toán mới vẫn siêu đa thức, nên sẽ không có bộ giải SAT nhanh hơn nào ra đời từ đây. Điều thay đổi là bản đồ của những gì khả thi về lý thuyết, và ai - hay cái gì - đang vẽ lại nó.
Với các nhà lãnh đạo doanh nghiệp, tín hiệu không nằm ở toán học. Tín hiệu là AI đã vượt từ soạn văn bản và mã sang tạo ra nghiên cứu nguyên bản được máy kiểm chứng. Giả định rằng máy móc không thể làm khoa học mới vừa hứng một đòn nặng, và biên giới năng lực đang dịch chuyển nhanh hơn hầu hết các chu kỳ hoạch định.
Những công ty coi AI là đối tác nghiên cứu, không phải trợ lý đánh máy, sẽ quyết định nhịp độ của thập kỷ tới.
Suy nghĩ toán học. Kỹ thuật thông minh. Lãnh đạo chiến lược. Xây dựng có trách nhiệm. Mở rộng toàn cầu. Tạo giá trị kinh doanh thực sự qua trí tuệ nhân tạo.
