What OpenAI’s latest controversy tells us about the future of math

AI companies are making impressive mathematical strides, with OpenAI recently solving a complex problem in days using an internal model and 10,000 concurrent agents, costing millions of dollars. This contrasts with human-AI collaboration, which, while promising, did not achieve a full solution. The significant cost and brute-force approach highlight a sobering aspect of AI's progress in mathematics, where human mathematicians are increasingly outpaced.