Model1h ago
AI Solves Longstanding Mathematical Conjectures
GPT 5.6 Pro solved two complex problems on its first attempt, according to Fields Medalist Timothy Gowers. This follows OpenAI's refutation of the Unit Distance Conjecture. While some view these models as productivity boosters, Gowers warns that relying on AI results may erode the human expertise required to verify mathematical proofs.