Tag
Terry Tao, a renowned mathematician, discusses his evolving views on artificial intelligence in mathematics and his advocacy for large-scale collaborations and computer verification of proofs.