Công ty Physical Superintelligence Inc (PSI) tại Cambridge, Mỹ, thông báo đã chứng minh thành công giả thuyết Aaronson-Ambainis.
Giả thuyết Aaronson-Ambainis do Scott Aaronson và Andris Ambainis đề xuất năm 2008 nhằm xác định giới hạn lợi thế tính toán lượng tử.
Hệ thống AI tự động đề xuất mệnh đề, viết bản thảo và kiểm tra qua công cụ Lean 4 trong vòng ba ngày.
AI giúp cải thiện số mũ trong cận toán học từ 22 xuống còn 7, chứng minh máy tính thông thường có thể mô phỏng máy tính lượng tử.
Nhóm chuyên gia từ Đại học Stanford gồm Guy Blanc, Jordan Docter, Carmen Strassle và Li-Yang Tan đã đánh giá cao kết quả nghiên cứu này.
Một mô hình chưa công bố của Anthropic giúp giới khoa học chứng minh giả thuyết Aaronson-Ambainis, vấn đề đã tồn tại lâu năm trong điện toán lượng tử.
"Máy tính lượng tử vẫn còn nhiều điều bí ẩn, nhưng giờ đây đã có thêm một điều bí ẩn được hé lộ", Physical Superintelligence Inc (PSI), công ty ở Cambridge, Massachusetts (Mỹ) chuyên kiểm chứng giả thuyết khoa học và nghiên cứu siêu trí tuệ vật lý (Physical Superintelligence), thông báo trên blog cuối tuần qua.
