{"id":"arxiv/2608.21587","url":"https://arxiv.org/abs/2608.21587","tags":["math.MG"],"score":0,"title":"Tight upper bound on $d_{GH}(S^1,S^{2k+1})$: GPT's short proof","domain":"math.MG","source":"arxiv","authors":["Henry Adams"],"reviews":0,"subject":"math.MG","summary":"We describe GPT-5.6 Sol Pro's short proof that $2\\cdot d_{GH}(S^1,S^{2k+1}) \\le \\tfrac{2πk}{2k+1}$. This is the odd-dimensional case of a tight upper bound by Harrison and Jeffs on the Gromov--Hausdorff distance between the circle and spheres.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}