> 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

> 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.