Comment by andriy_koval

Its by choice. Mathematicians still can use AI to "achieve the primary goal of conceptual understanding and insight"