Autonomous disproofs of the sum-product conjecture over $\mathbb{R}$ with GPT-5.5 Pro

Yichen Huang

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--Szeme…