PSI công bố chứng minh giả thuyết về máy tính lượng tử; doanh thu đến từ công cụ tối ưu trung tâm dữ liệu

Physical Superintelligence (PSI) đưa ra một chứng minh cho giả thuyết Aaronson–Ambainis, một bài toán khó trong lĩnh vực máy tính lượng tử, bằng hệ thống nghiên cứu trí tuệ nhân tạo (AI). Hiện doanh thu của công ty đến từ công cụ tối ưu trung tâm dữ liệu, chứ không phải nghiên cứu vật lý lý thuyết.

TechCrunch đưa tin sau cuộc phỏng vấn Matt Pines, CEO của PSI, và nhà nghiên cứu David Turturean rằng công ty kiếm doanh thu từ công cụ phân tích các điều kiện về nhiệt, điện, nước và tiếng ồn tại trung tâm dữ liệu. Pines nêu mục tiêu dài hạn là chuyển các khám phá vật lý lý thuyết thành công nghệ thực tế.

PSI cho biết khi công bố ra mắt vào tháng 9, công ty dự định dùng nền tảng cốt lõi Emmy để tối ưu trung tâm dữ liệu trên mặt đất và trên quỹ đạo. Công ty chưa công bố số liệu cho thấy chứng minh này đã giúp tạo doanh thu hoặc cải thiện kết quả cho khách hàng trung tâm dữ liệu.

Giả thuyết Aaronson–Ambainis nêu rằng trong số các đa thức bậc thấp bị chặn, được xác định trên một khối lập phương rời rạc, nếu phương sai đạt ít nhất một mức nhất định thì sẽ có một biến đầu vào ảnh hưởng đáng kể đến kết quả. Giả thuyết xem xét mức độ một biến đầu vào có thể tác động đến kết quả.

Giả thuyết này liên quan đến câu hỏi liệu máy tính lượng tử có thể giảm theo cấp số nhân số lần đọc đầu vào so với máy tính cổ điển trong một bài toán truy vấn có hoặc không với đầu vào ngẫu nhiên hay không. Kết quả lần này chỉ đề cập đến loại bài toán truy vấn cụ thể đó.

PSI cho biết hệ thống nghiên cứu của công ty đã tạo ra chứng minh bằng cách sử dụng một mô hình Anthropic không được công bố. Đến ngày thứ ba kể từ khi bắt đầu nghiên cứu, hệ thống tạo ra chứng minh hoàn chỉnh và phần mềm kiểm chứng chứng minh Lean đã chấp nhận kết quả.

Công ty cho biết sau đó đã cải thiện kết quả hai lần và phiên bản cuối cùng cũng vượt qua kiểm tra của Lean. Bài viết của David Turturean đã được đăng trên arXiv, còn mã chứng minh có thể xem tại kho mã nguồn.

PSI giới thiệu giả thuyết này là một bài toán khó tồn tại từ năm 2008. Bài báo gốc của Scott Aaronson và Andris Ambainis, những người nêu giả thuyết, được đăng trên arXiv vào năm 2009.

Ngày 8, Aaronson viết trên blog cá nhân rằng ông chưa tự mình hiểu đầy đủ chứng minh, nhưng “tin rằng chứng minh là đúng”. Ông cho biết việc kiểm chứng bằng Lean và ý kiến đánh giá của các chuyên gia là cơ sở cho niềm tin này.

Trước đó, TokenPost đã đưa tin về quá trình PSI công bố chứng minh giả thuyết và việc Aaronson bày tỏ tin tưởng vào chứng minh.

Aaronson cũng bác bỏ cách diễn giải rằng kết quả này phủ nhận toàn bộ ưu thế của máy tính lượng tử. Theo ông, kết quả không phủ nhận hiệu năng của thuật toán Shor hay khả năng mô phỏng vật lý và hóa học lượng tử.

PSI cho biết các nhà nghiên cứu tại Stanford đã đọc chứng minh và gửi ý kiến, đồng thời công ty đang chuẩn bị phần giải thích dành cho chuyên gia. Kiểm chứng hình thức và đánh giá của nhà nghiên cứu đảm nhiệm những vai trò khác nhau trong quá trình xem xét chứng minh.

Pedro Domingos đăng trên X một nhận định theo hướng cho rằng khả năng đạt ưu thế lượng tử đã chấm dứt. Aaronson phản bác, gọi đây là cách diễn giải cường điệu.

TechCrunch đưa tin PSI đã được tiếp cận trước mô hình Fable 5.2 của Anthropic. Thông cáo của PSI không nêu cụ thể mô hình, chỉ gọi đó là “mô hình Anthropic không được công bố”. Ngày 9, Anthropic công bố Claude Fable 5.2.

Việc bài báo và mã chứng minh được công khai, cũng như vượt qua kiểm tra của Lean, không đồng nghĩa với bình duyệt học thuật tại tạp chí. Chưa xác nhận được liệu quá trình bình duyệt tại tạp chí đã hoàn tất hay chưa.