A calculator that factors huge numbers isn't a number theorist. Proving theorems without understanding, curiosity, or taste makes it a powerful tool, not a mathematician.
Yeah, AI just remixes known proofs without chasing that gut feeling for elegant simplicity.
