[lurker137]

> 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.

[hnfong]

Why? Math is "just" a domain specific language with funny symbols.