Tag
This paper presents an AI agent built on GPT-5.5 Pro that autonomously generated correct proofs disproving the Erdős–Szemerédi sum-product conjecture over ℝ in 7 out of 8 trials, using a three-stage prompting pipeline.
Gemini 3.2 Flash can solve IMO 2025 P6, but only GPT-5.5-Pro can do so without any scaffolding or harness engineering.
Fields Medalist Timothy Gowers reports using GPT5.5 Pro to solve open mathematical problems and predicts an imminent crisis in mathematical research due to rapid AI progress.