Erdős–Szemerédi sum-product conjecture over the reals

GPT-5.5 Pro reproofs of the real sum-product disproof

Model / AI: GPT-5.5 Pro

Huang reports that a three-stage agent produced disproofs in seven of eight trials and detected an unresolved gap in the remaining trial. The paper explicitly places the work after a human disproof. Code, intermediate outputs and generated proofs are available.

Source read 2026-09-08. Located through seewoo5/awesome-ai-for-math. Read the abstract and checked the linked repository’s availability. Proof correctness and contamination claims were not independently audited.

• Paper — Paper
• Code — Agent code and proof outputs