IBM và Đại học Chicago Đạt Được 'Lợi Thế Lượng Tử' Có Kiểm Chứng: Bước Đột Phá Trong Điện Toán Lượng Tử

Nói một cách dễ hiểu, 'lợi thế lượng tử' là thời điểm một máy tính lượng tử giải được một bài toán mà bất kỳ máy tính cổ điển nào cũng không thể giải trong một khoảng thời gian khả thi. Tuy nhiên, vấn đề nằm ở niềm tin: với máy tính cổ điển, chúng ta có thể kiểm tra lại từng bước; với máy tính lượng tử, việc xác minh kết quả đầu ra của một cỗ máy vốn dĩ xác suất là cực kỳ khó khăn. IBM và Đại học Chicago đã giải quyết được vấn đề này bằng cách xây dựng một mạch điện toán vừa khó cho máy tính cổ điển mô phỏng, vừa có cấu trúc đủ để tự động xác minh độ chính xác của chính nó.

Chi Tiết Kỹ Thuật: 70 Qubit Logic Trên Bộ Xử Lý Heron

Thí nghiệm chính được thực hiện trên bộ xử lý IBM Quantum Heron và đạt được những con số ấn tượng :

• 70 qubit logic được mã hóa bằng phương pháp sửa lỗi mới, đây là một trong những màn trình diễn qubit logic chịu lỗi lớn nhất từng được báo cáo.
• Mạch điện tử đã thực hiện 2.415 phép tính hai-qubit logic và 468 cổng T logic, đây là những thước đo tiêu chuẩn để định lượng độ phức tạp tính toán.
• Toàn bộ phép tính hoàn tất trong khoảng 15 phút — một nhiệm vụ mà nhóm nghiên cứu cho biết sẽ tiêu tốn một khoảng thời gian không tưởng nếu sử dụng các phương pháp mô phỏng cổ điển hàng đầu.
• Tỷ lệ lỗi logic đã được giảm xuống thấp hơn khoảng 10 lần so với tỷ lệ lỗi vật lý của các qubit nền tảng.

Bài toán được chọn là một nhiệm vụ lấy mẫu (sampling task), được thiết kế để cổ điển khó giải nhưng vẫn có thể kiểm chứng được. Nhóm nghiên cứu đã công khai cả mạch điện toán và kết quả trên Quantum Advantage Tracker của IBM, đồng thời chính thức mời cộng đồng nghiên cứu độc lập thử thách và bác bỏ kết quả của họ.

Đột Phá Về Kiểm Chứng: 'Mã Không-Thời Gian' (Spacetime Code)

Cốt lõi của sự đột phá này là một kỹ thuật có tên 'mã không-thời gian', một giải pháp thay thế có cấu trúc cho phương pháp lấy mẫu mạch ngẫu nhiên (RCS) từng được sử dụng trong các thí nghiệm lợi thế lượng tử trước đó.

• Các nhà nghiên cứu đã xây dựng mạch điện chủ yếu từ cổng Clifford, một tập con các cổng lượng tử có thể mô phỏng hiệu quả bằng máy tính cổ điển và hỗ trợ phát hiện lỗi tự nhiên.
• Sau đó, họ 'ghép' cẩn thận các cổng T — các phép toán phi-Clifford, vốn là 'nhiên liệu' thiết yếu cho tính toán lượng tử phổ quát — vào những vị trí cụ thể trong mạch, vẫn giữ được khả năng phát hiện lỗi của kiến trúc Clifford.
• Thiết kế này cho phép hệ thống phát hiện lỗi ngay trong quá trình tính toán, thay vì phải dựa vào kiểm tra cổ điển sau khi đã hoàn thành.

Nhóm nghiên cứu đã tính toán được giới hạn dưới của độ trung thực (fidelity) là 0,284 với độ tin cậy thống kê 95% — lần đầu tiên một thí nghiệm về lợi thế lượng tử đưa ra được các giới hạn về tính đúng đắn được đảm bảo về mặt toán học.

Tuy nhiên, có một sự đánh đổi đáng kể để đạt được khả năng kiểm chứng này: tổng số lần chạy thí nghiệm đã tăng vọt lên gấp 860 lần so với bình thường, và chỉ khoảng 28% số lần chạy vượt qua được bộ lọc phát hiện lỗi. Chi phí này là một thách thức kỹ thuật lớn để có thể mở rộng quy mô cho các ứng dụng thực tế.

Bối Cảnh Rộng Hơn: Ba Bài Báo, Một Thông Báo

Thông báo ngày 30/7 đã điều phối ba bản in trước (preprint) riêng biệt được đăng tải lên arXiv vào ngày 27-28 tháng 7, mỗi bản sử dụng một phương pháp khác nhau để xây dựng niềm tin vào các phép tính lượng tử vượt quá khả năng mô phỏng cổ điển.

• IBM + Đại học Chicago: Kết quả mạch logic chủ lực được mô tả ở trên.
• IBM + Qedma Quantum Computing: Sử dụng phần mềm giảm thiểu lỗi QESEM của Qedma để quan sát các động lực học tồn tại lâu dài trên tới 74 qubit, so sánh kết quả với các mô phỏng cổ điển từ RIKEN và BlueQubit cũng như các kiểm tra phần cứng trên Quantinuum.
• IBM + Algorithmiq: Thể hiện lợi thế lượng tử trong việc mô phỏng một vật liệu lượng tử không đồng nhất, một bài toán đã tồn tại trên Quantum Advantage Tracker suốt 8 tháng.

Các nhà nghiên cứu bên ngoài lưu ý rằng các bài báo đồng hành của Qedma và Algorithmiq không tuyên bố lợi thế lượng tử một cách rõ ràng, mà chỉ nói rằng họ đã chỉ ra việc mô phỏng cổ điển là rất khó khăn. Cả ba bài báo đều là bản in trước và chưa được bình duyệt (peer review).

Hoài Nghi và Những Dè Dặt

Như với bất kỳ tuyên bố lớn nào về điện toán lượng tử, sự hoài nghi là điều cần thiết. Nhà phê bình lượng tử lâu năm Gil Kalai đã lập luận rằng nhiễu (noise) vẫn có thể phá hỏng kết quả. Chi phí tăng 860 lần cho việc phát hiện lỗi là một hạn chế thực tế đáng kể, và việc mở rộng quy mô phương pháp này cho các vấn đề thương mại trong thế giới thực vẫn là một thách thức lớn. IBM đã đáp lại bằng cách công khai toàn bộ dữ liệu và phương pháp, đồng thời mời gọi sự thách thức độc lập.

CEO Arvind Krishna: Dự Báo Tài Chính và Kế Hoạch Đầu Tư

Cùng ngày với thông báo kỹ thuật, CEO của IBM, Arvind Krishna, đã xuất hiện trên chương trình 'Mad Money' của CNBC để bàn về ý nghĩa thương mại.

• Krishna cho biết điện toán lượng tử sẽ có 'tác động có thể đo lường được' lên doanh thu và lợi nhuận của IBM vào năm 2028 hoặc 2029.
• Ông tuyên bố IBM 'khá chắc chắn' rằng điện toán lượng tử có thể tạo ra một nghìn tỷ đô la giá trị vào cuối những năm 2030.

Những dự báo này được hỗ trợ bởi các khoản đầu tư đáng kể. Vào tháng 6 năm 2026, IBM tuyên bố có kế hoạch đầu tư hơn 10 tỷ USD vào điện toán lượng tử trong vòng 5 năm tới, bao gồm nghiên cứu và phát triển, sản xuất phần cứng, sửa lỗi, phần mềm và quan hệ đối tác. Công ty vẫn đang đi đúng hướng để cung cấp một máy tính lượng tử chịu lỗi quy mô lớn vào năm 2029.

Một nhà máy sản xuất chip lượng tử độc lập đang được lên kế hoạch sẽ được hỗ trợ một phần bởi cam kết 1 tỷ USD từ Bộ Thương mại Hoa Kỳ.

Ý Nghĩa

Nếu các kết quả này vượt qua được quá trình bình duyệt, đây sẽ là bằng chứng đáng tin cậy nhất cho đến nay cho thấy phần cứng lượng tử đã vượt qua một ngưỡng hữu ích có ý nghĩa. Sự kết hợp giữa một phép tính cổ điển khó và độ chính xác được đảm bảo về mặt thống kê đã giải quyết được vấn đề niềm tin trung tâm vốn đeo bám mọi tuyên bố về lợi thế lượng tử kể từ thí nghiệm Sycamore của Google vào năm 2019. Những hạn chế là có thật — chi phí là rất lớn, bài toán được chọn để có thể kiểm chứng, và các bài báo vẫn còn là bản in trước — nhưng hướng đi đã rõ ràng: điện toán lượng tử đang chuyển từ bằng chứng về khái niệm sang tính toán có thể tin cậy và kiểm chứng được.