The geometric case of the Erdős Similarity Conjecture. A human exposition of the OpenAI proof
For a fixed $q\in(0,1)$, can a set of positive Lebesgue measure avoid every translated and dilated copy of $\{q^n:n\ge1\}$? OpenAI's release of October 6, 2026 shows that it can, with a compact subset of $[0,1]$ whose measure is arbitrarily close to one. We give a detailed exposition of the proof, using only finite probability and basic measure theory. The proof removes a small open set intersecting every copy, obtained from a random construction: fair random choices, attached to the cells of nested grids, route each point down a finite tree, and at the leaf reached a further random choice…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.02454
curl -X POST /api/v1/records/arxiv/2611.02454/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.02454/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'