量子科技中心_量科网

近日，量子计算应用和算法开发的先驱Zapata Quantum公司宣布与美国马里兰大学（UMD）展开合作研究，以探索一种全新的量子应用构建方法。据了解，随着量子算法规模和复杂度的不断增加，将复杂的数学公式转化为量子电路已成为量子应用开发中的一大挑战，且这一过程容易出错、繁琐耗时。Zapata与UMD的合作将通过采用基于数学证明的端到端形式化验证方法，解决这一问题，确保在开发过程中的算法正确性。