Solving math proofs with AI is like doing art with AI. Pointless. In fact, it is detrimental to the discipline as a whole, because doing so means people will stop sharing work and insights with each other, which has never been the case before (at least it’s not the norm).

As discussed on MathandAI.org and elsewhere, top mathematicians “disseminate ideas in talks, private discussions and careful writeups, connecting them to the previous ideas of others. These processes invariably take time and are based on human interaction.”

AI is undermining this process, as people naturally become less willing to discuss ideas that can easily be stolen.