{"id":"arxiv/2611.02454","url":"https://arxiv.org/abs/2611.02454","tags":["math.PR","math.AP"],"score":0,"title":"The geometric case of the Erdős Similarity Conjecture. A human exposition of the OpenAI proof","domain":"math.PR","source":"arxiv","authors":["Alex Iosevich","Alexia Yavicoli"],"reviews":0,"subject":"math.PR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}