Welcome to the AI crisis in math

OpenAI recently published AI solutions to long-standing mathematical problems, sparking debate in the mathematics community about whether advanced AI systems are becoming genuinely capable at high-level abstract mathematics, even though they remain poor at basic arithmetic tasks like counting. This development has created an existential crisis among mathematicians, raising questions about the future role and purpose of human mathematicians if AI can solve outstanding problems that once motivated research and academic training.