the falsehoods on wikipedia are usually purposeful deceptions so I tend not to bother with it as a go-to. net-net AI has about the same level of accuracy and lacks the actual mendacity.
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.
