ChatGPT in general, struggles with finding the best move because in order to find the best move it must solve a dynamic programming task for which it woefully unoptimized for. I think mathematical theorems are largely the same story.