Fields Medalist Timothy Gowers used ChatGPT 5.5 Pro to improve an exponential bound to a polynomial one in under an hour. An MIT researcher described the model's core idea as completely original. This result suggests a new baseline for mathematical research where human value lies in proving what LLMs cannot.