The release includes implementations of two quantum-secure algorithms and demonstrates how formal verification caught bugs that traditional testing would have missed.
Parts of the IBM Quantum System Two are displayed at IBM Thomas J. Watson Research Center on June 6, 2025 in Yorktown Heights, New York. (Photo by ANGELA WEISS / AFP)