People talk about research mathematics being a science or an art, but it's also a sport. AI will kill the sport aspect of it. The art will survive. The science will thrive.
I think the bigger issue is that mathematicians historically invented the abstractions to make maths easier to understand for humans. With LLMs, will we get abstractions that only computers can understand?
