almost none of us are going to move any discipline forward, let alone discover new math, but as part of the long tail of people who could benefit from recognizing classes of problems with solutions in the domain of graph colouring, AI is sufficient for most purposes.
sorry that nobody appreciates your effort though.