Claiming that LLMs will replace mathematicians is like saying Excel will replace CEOs