The AI takeover of mathematics has begun

Fields Medal winner James Maynard and other mathematicians are evaluating how their field must adapt to the increasing capabilities of artificial intelligence. While mathematics has historically progressed through slow, human-led research, the integration of AI tools is beginning to shift how proofs are discovered and verified. This transition marks a significant change in traditional methodology, prompting experts to consider the long-term role of human intuition in a discipline that is becoming increasingly automated.