Chinese quantum computer proves 1978 Math Olympiad theorem

Scientists from Zhejiang University and Tsinghua University used a 121-qubit quantum processor to automatically prove mathematical theorems. One of the theorems proven comes from the 1978 International Mathematical Olympiad. The experiment shows quantum computers can extend beyond computation into formal mathematics.