Technology
A quantum computer just proved two geometry theorems. Why that is bigger than it sounds, and what it is not
Researchers at Zhejiang and Tsinghua ran Wu's 1978 theorem-proving method on a 121-qubit processor and got two correct proofs, the first…