Model14h ago
GPT 5.6 Pro Solves Complex Math Problems
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. While some view the model as a productivity tool, Gowers warns that relying on AI for proofs risks eroding the foundational expertise of human mathematicians.