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 logic as completely original. This result suggests LLMs can now perform PhD-level number theory research. Mathematicians must now find problems that exceed these autonomous capabilities.