3 ms·My bet they run gpt over dataset of 10k unsolved conjectures, it happened this one was solvable.by andriy_koval 3mo agoMy bet they run gpt over dataset of 10k unsolved conjectures, it happened this one was solvable.