Tao basically reiterating "AI is making us dumber" a bit more eloquently and applied to math.
Its by choice. Mathematicians still can use AI to "achieve the primary goal of conceptual understanding and insight"
alt Hacker News
Its by choice. Mathematicians still can use AI to "achieve the primary goal of conceptual understanding and insight"