> When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well.
I always imagined math would be the very last field to be disrupted by AI, but to hear this coming from Terrence Tao himself (who I consider to be the face of math as someone not in the field) caught me off guard.
I always imagined math would be the very last field to be disrupted by AI, but to hear this coming from Terrence Tao himself (who I consider to be the face of math as someone not in the field) caught me off guard.