Mathematicians Hate AI. They Can’t Quit It

Many mathematicians express skepticism regarding the use of AI in their field, yet they are increasingly adopting these tools to accelerate complex proofs and data analysis. While some researchers worry that machine learning models threaten the integrity of foundational mathematics, others find the efficiency gains indispensable for contemporary discovery. This trend highlights a growing tension between traditional academic skepticism and the practical utility of automated systems in formal research.