Mathematicians Debate Identity and Purpose as AI Handles Routine Proofs

Terence Tao and others argue AI could enable collaborative large-scale mathematics, but the field is debating what human contribution means when AI can complete applied PhD-level work in hours. The piece surfaces real tension between AI as tool versus AI as replacement in formal reasoning domains.