arxiv
PublishedJuly 24, 2026 at 4:00 AM
—neutral
Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro
Publisher summary· verbatim
arXiv:2607.20525v1 Announce Type: new Abstract: OpenAI's recent disproof of the Erd\H{o}s unit distance conjecture marked a milestone for AI in mathematics. It also inspired another breakthrough: a human disproof of the Erd\H{o}s--Szemer\'edi sum-product conjecture over $\mathbb R$. In this paper, w
Stay posted· Newsletter
A 5-min weekly brief — top movers, price watch, story of the week.
Discussion
No replies yet. Be first.
Related coverage
More from ARXIV
arxivOPTScientist: Multi-Agent Discovery of Typed Optimizer Programs for Transformer Pretraining6harxivStochastic Sampling is Epistemically Shallow: The Dimensionality Gap Between Temperature Variation and Model Diversity in LLMs6harxivDecodeShare: Tracing the Shared Subspace of LLM Decode-Time Decisions6harxivPlanE: Meta Planning of Data, Tuning, and Inference for Extractive-based LLMs6hThe Bubble Brief
WEEKLYRead AI insights every Tuesday — top movers, new releases, story of the week.
Originally published on arxiv ↗