Los Angeles — Terry Tao now co-authors proofs with machine-checked steps. Proof formalization splits any theorem into machine-verifiable chunks, letting large teams and AI co-author without trusting e
Quanta Magazine