AIQuanta Magazineabout 3 hours ago
How Terry Tao Became an Evangelist for AI in Math
1 min read
Terry Tao predicted mathematicians will collaborate in large teams and use computers to check proofs. He envisioned writing papers in a language convertible to formal code, where compilation errors flag logical gaps. The prediction drew skepticism from fellow Breakthrough Prize laureates in 2014.
Level
Hype check
Tap to vote and see what everyone thinks.
