Well, Kurt Gödel is the Bad Cop doesn't quite cover it.
The Whole Damn Force Is Corrupt in this scenario are promotions and tenure track positions prioritizing publication history that can now be generated at scale. Thanks, token subsidies and wildly disproportionate ecological impact.
(And what happens to the field when-not-if in a few years someone finds a serious low-level flaw in the solvers? Not hard to imagine what a right-wing press corps does with a reproducibility problem in math...)