Saw a video yesterday:
A math PhD and her advisor spent 6 months proving a theorem. Before publishing, they asked ChatGPT.
AI found a more elegant proof quickly, using an approach they'd never considered.
They have an existential crisis now.
But mathematicians shouldn't despair. We went through this in coding. Now we can't live without AI.
Deep domain expertise + knowing how to leverage AI is a strong moat in this era.