AI Sparks Existential Crisis in Mathematics as Models Tackle Advanced Problems

OpenAI recently published solutions to longstanding mathematical problems, triggering a significant debate within the academic math community. The Verge's London-based AI reporter Robert Hart spoke with leading mathematicians about the implications of rapidly improving AI capabilities in the field. Notably, while AI systems still struggle with basic arithmetic, they have made striking advances in high-level abstract mathematics over the past year. This shift has prompted questions about the future value of academic grants, university programs, and human mathematicians if frontier AI models can resolve outstanding problems. Critics also wonder whether the focus on mathematics is partly a marketing strategy by AI labs, with little genuine concern for the discipline's long-term health.