Hệ thống Lemma AI đã tự động hình thức hóa 1,019 chứng minh tính toán lượng tử từ sách giáo khoa Nielsen-Chuang bằng Lean, đạt được quy mô chưa từng có trong lập luận khoa học có thể xác minh bằng máy.

#XácMinhHìnhThức #TínhToánLượngTử #TinTức