GPT-5.5 Pro autonomously disproves sum-product conjecture

A new paper describes how GPT-5.5 Pro autonomously disproved the Erdős–Szemerédi sum-product conjecture over ℝ. This follows OpenAI's earlier AI-driven disproof of the Erdős unit distance conjecture, highlighting rapid progress in machine-assisted mathematics.