Comment by joe_the_user

If LLMs could both prove any relevant theorem, explain such a theorem cogently and lay the groundwork for further theory, I don't see how any way mathematicians could stand in the way of that.