Bev Littlewood, emeritus professor of software engineering at City St George's, University of London, has written a letter to the Guardian responding to an editorial about AI solving a Navier-Stokes problem. The editorial noted that some mathematicians feel discomfiture at the achievement. Littlewood's response: they built the thing that's replacing them. The letter cuts to the structural irony at the heart of the AI-versus-mathematics discourse. Mathematics was the prime mover of the AI revolution — the linear algebra, the calculus, the optimization theory, the statistical frameworks. Every neural network is a stack of mathematical operations. The discipline that feels threatened authored the threat. Littlewood invokes a quote attributed to Augustine: "The good Christian should beware the mathematician and all those who make empty promises. The danger already exists that the mathematicians have made a covenant with the devil to darken the spirit and to confine man in the bonds of hell." He acknowledges the attribution is disputed but argues the resonance is too apt to ignore. The underlying tension is real. AI systems — particularly large-scale solvers and theorem provers — are beginning to produce results in domains like fluid dynamics (Navier-Stokes equations) that were previously the exclusive territory of human mathematical intuition. The question is not whether AI can do mathematics but what mathematics means when the doing is automated. This is a letter, not a policy paper, and its contribution is rhetorical rather than analytical. But the rhetorical point lands: the discipline most responsible for AI's capabilities is now the discipline most anxious about being displaced by them. The covenant-with-the-devil framing, however tongue-in-cheek, captures a genuine recursive problem in the political economy of knowledge. The Guardian's original editorial argued that humans remain vital to mathematics and that tech firms refuse to see it. Littlewood's letter doesn't quite disagree — but it does point out that mathematicians can't claim innocence. They handed over the tools. The question now is whether the field adapts to collaborate with its creation or retreats into protectionism. No policy is at stake here, no budget, no regulation. But the letter crystallizes a structural dynamic that matters enormously for education, research funding, and the future labor market for quantitative disciplines. When the toolmakers become redundant to the tools, the adjustment is never painless.
