Roughly summarized, they’re afraid that these popular models won’t exclusively push their preferred ideology (critical social justice)
Race critical social justice is not an ideology and more than set theory (yes, the math one) is. It's a way to view the world that provides you with certain insights. You don't need to believe in any particular solution to those problems in order to identify and examine them.
Not to mention that the specific example I responded to (set theory) was developed long before computer assisted proofs were a thing.