Lemma AI系統自主形式化了來自Nielsen-Chuang教科書的1,019個量子計算證明，使用Lean實現了機器可驗證科學推理前所未有的規模。

#形式化驗證 #量子計算 #新聞

認識 AxQM：1,019 個經過正式驗證的量子計算證明，來自 Nielsen & Chuang 教科書。迄今最大的物理焦點證明基準，推進量子信息論中的人工智能輔助定理證明。

#量子計算 #形式化驗證 #研究