公司与合作方 - 公司Zapata Quantum宣布与马里兰大学（UMD）开展合作研究，UMD是全球量子计算与量子信息科学领域的领导者 [1] - 公司首席执行官表示，此次合作将公司置于该领域的前沿，推进量子生态系统将日益依赖的严格、验证驱动的方法 [2] - 马里兰大学的助理教授指出，此次合作展示了形式化验证如何实际应用于该领域核心的非平凡量子算法 [3] 合作内容与技术方法 - 合作旨在展示一种基于形式化验证的、构建量子应用的根本性新方法 [1] - 合作将使用端到端的形式化（基于数学证明的）验证来解决将复杂数学公式转化为量子电路这一难题，并在此过程中保持正确性 [2] - 项目负责人表示，这项工作建立了构建量子应用的“验证优先”模型，从正确性证明出发，让软件遵循该证明，这对于可行的商业应用至关重要 [3] - 公司计划发布合作成果，即一个经过形式化验证的Shor量子因式分解算法实现及相关资源估算，以供更广泛的研究和工程界独立验证和重用 [3] 行业背景与公司定位 - 设计和验证可靠应用的能力已成为量子计算的核心挑战 [4] - 谷歌研究人员在2025年12月的一篇论文中指出，量子行业在发掘和证实真正有前景的量子应用方面似乎面临典型的集体行动问题，导致该领域系统性投资不足 [4] - 公司是唯一一家公开交易的、纯软件、硬件无关的量子软件公司，在应对这一挑战方面具有独特优势 [4] - 公司专注于为现实世界商业用例进行更高层次的应用程序开发，其平台和经验围绕于此 [4] - 形式化验证将使公司能够提供可证明的正确性和可靠性，这是量子计算充分发挥潜力所必需的能力 [4] 算法应用与商业前景 - Shor算法因其复杂性及其对密码学等高价值问题的相关性，成为合作的天然起点 [3] - 公司视此项工作为基础模板，可扩展至其他高价值商业领域，如量子化学、材料科学、优化和金融 [3] - 公司拥有超过60项已授予和正在申请的专利组合，支持密码学、制药、金融、材料发现、国防等领域的应用 [5] - 公司是唯一参与DARPA量子基准测试计划所有技术领域的组织，并与财富500强企业和政府机构合作，将量子进展转化为现实影响 [5]