2026年初，一则看似偏学术的合作公告，实际上掀开了量子计算工程化道路上的一个重要话题：当量子硬件逐步迈向容错时代，软件层面的“正确性验证”是否跟得上？马里兰大学与量子软件公司Zapata Quantum宣布开展形式验证（formal verification）研究合作，首个目标 ...