Is it also a disaster that many math education programs don't hinge on automated proof assistants? "we just don't know" is a non-answer. If Tao's point is in

Is it also a disaster that many math education programs don't hinge on automated proof assistants? "we just don't know" is a non-answer. If Tao's point is in predicting rapid change from a game theoretic perspective, perhaps it would behoove university executives to court industry for research dollars, instead of an ouroboros of invented problems and federal tax dollars. Even state tax dollars are more likely to have a clear purpose.