Một hệ thống nghiên cứu tích hợp trí tuệ nhân tạo vừa giúp giới khoa học chứng minh giả thuyết Aaronson-Ambainis tồn tại suốt nhiều năm qua trong lĩnh vực điện toán lượng tử. Công trình này xác định rõ hơn những giới hạn về lợi thế tính toán của công nghệ lượng tử trên dữ liệu ngẫu nhiên.

Bối cảnh và chi tiết công nghệ

Công ty Physical Superintelligence Inc đã sử dụng một mô hình AI chưa công bố của Anthropic để tìm lời giải cho giả thuyết Aaronson-Ambainis.

Hệ thống tự đề xuất mệnh đề toán học, phát triển hướng chứng minh, viết bản thảo và kiểm tra độ chính xác bằng công cụ Lean 4 trong ba ngày.

Nhóm nghiên cứu đã tối ưu hóa kết quả, cải thiện số mũ trong cận toán học từ 22 xuống 11 rồi còn 7 trước khi được các chuyên gia Stanford đánh giá.

Đánh giá tác động và góc nhìn chuyên môn

Việc kết hợp mô hình AI chưa công bố với công cụ kiểm tra hình thức như Lean 4 thể hiện tiềm năng tự động hóa các chứng minh toán học phức tạp mà không cần con người viết công thức thủ công từ đầu.

Kết quả chứng minh giả thuyết giúp định hình rõ ràng hơn biên giới giữa các bài toán thực sự cần sức mạnh lượng tử cấp số nhân và những bài toán mà máy tính thông thường vẫn có thể mô phỏng hiệu quả.

Xu hướng tiếp theo và điều cần theo dõi

Danh tính chính xác và các thông số kỹ thuật chi tiết của mô hình AI thuộc về Anthropic chưa được công bố công khai.

Anthropic chưa đưa ra bình luận chính thức nào về thông báo từ phía công ty kiểm chứng.