Fields Medalist Timothy Gowers reports that GPT 5.6 Pro solved two complex mathematical problems on its first attempt. This follows OpenAI's refutation of the Unit Distance Conjecture. Gowers warns that relying on these results may erode the expertise required to understand them. Practitioners must now balance raw output with rigorous verification.