My bet they run gpt over dataset of 10k unsolved conjectures, it happened this one was solvable.