If the goal of math is to communicate results it has utterly failed long before AI and they are in a weak position to defend this view. Every researcher is only

If the goal of math is to communicate results it has utterly failed long before AI and they are in a weak position to defend this view. Every researcher is only taught a handful of DSLs and their papers are written in PSL(problem specific language). That may be necessary for a human to actually make forward progress in math, but it's certainly not conducive to reading (and certainly not when symbols are favored over English) I think the mathematics community should realign their goals with humanities, not just declare themselves a "mini humanity", this means expanding human taste, intuition and communicating systems and their associated structural truths in a human friendly way. Bye-bye standardized education you won't be missed.