2025

Software 2.0 Means Verifiable AI

Quantum computing (QC) and AI have one thing in common: They make mistakes. There are two keys to handling mistakes in QC: We’ve made tremendous progress in error correction in…