> So basically they created some sort of general purpose math library, that can automatically detect the type of problem

they likely trained language model on bunch of stack overflow questions or something similar.