{"id":"arxiv/2607.20525","url":"https://arxiv.org/abs/2607.20525","tags":["cs.AI","math.CO","math.NT"],"score":0,"title":"Autonomous disproofs of the sum-product conjecture over $\\mathbb R$ with GPT-5.5 Pro","domain":"cs.AI","source":"arxiv","authors":["Yichen Huang"],"reviews":0,"subject":"cs.AI","summary":"OpenAI's recent disproof of the Erdős unit distance conjecture marked a milestone for AI in mathematics. It also inspired another breakthrough: a human disproof of the Erdős--Szemerédi sum-product conjecture over $\\mathbb R$. In this paper, we present a simple agent built on GPT-5.5 Pro. Using a problem-agnostic, three-stage prompting pipeline -- proof-plan proposal, proof construction, and review -- the agent autonomously generated correct proofs that the sum-product conjecture is false over $\\mathbb R$ in 7 of 8 independent trials; in the remaining trial, it identified an unresolved gap in…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}