Fields Medalist Timothy Gowers reports that GPT 5.6 Pro solved two long-standing mathematical problems on its first attempt. This follows OpenAI's refutation of the Unit Distance Conjecture. Gowers warns that over-reliance on these tools threatens the expertise required to verify results. Practitioners must now balance rapid automated discovery with rigorous human understanding.