Honestly what is "AI generated math"?

Everything is WFFs all the way down