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.
Terry Tao remarks on AI enabling mass-produced mathematics at scale, turning proof-writing into a searchable problem that generates thousands of mini-lemmas and filters them with cheap checkers.