I have this theory that GPT could infer solutions to unsolved math problems if all the constituting elements are already available in the training data and humans just haven't combined them yet in the proper way. Have tried to prompt ChatGPT