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.

except for 2025

Resolves YES if a real professional mathematician claims this happened for them, unless consensus of other experts is that it didn't happen

https://unlocked.microsoft.com/ai-anthology/terence-tao/