Zapata Quantum Inc. has announced a collaborative research partnership with the University of Maryland to advance a new approach in quantum software development. The collaboration will focus on creating a formally verified implementation of Shor's quantum factoring algorithm, a breakthrough relevant to cryptography and other high-value fields. By using end-to-end formal verification, the partnership aims to ensure correctness and reliability in quantum application development, setting a foundation for future innovations in areas such as quantum chemistry, materials science, optimization, and finance.

Disclaimer: This news brief was created by Public Technologies (PUBT) using generative artificial intelligence. While PUBT strives to provide accurate and timely information, this AI-generated content is for informational purposes only and should not be interpreted as financial, investment, or legal advice. Zapata Quantum Inc. published the original content used to generate this news brief via GlobeNewswire (Ref. ID: GNW9623355-en) on January 12, 2026, and is solely responsible for the information contained therein.