Remarks on the disproof of the unit distance conjecture · HackerPapers discussions

Remarks on the disproof of the unit distance conjecture — mentioned by math_dandy

Wed, 03 Jun 2026 22:41:17 GMT

We're very fortunate to have had some very eminent mathematicians backfill the OpenAI proof with history, context, and a literature review [1]. Ideas behind the proof seem to have been "in the air". Indeed, looked at certain point of view, the OpenAI construction can be viewed as a high-dimensional generalization of a known low-dimensional one. In this vein see the remarks of Gowers, Sawin and Tsimerman in [1]. Are LLMs capable of "true leap[s] in understanding"? I have absolutely no idea. But LLMs keep surprising me. [1] https://arxiv.org/html/2605.20695v1

Paper and discussion history. A mention is not an endorsement.

Remarks on the disproof of the unit distance conjecture — mentioned by castedo

Mon, 25 May 2026 21:59:13 GMT

> well then help us out here: can you be specific? In "Remarks on the disproof of the unit distance conjecture" (https://arxiv.org/abs/2605.20695) I think Melanie Matchett Wood's remark is the most informative: "It is easy to jump to hasty conclusions, but what we can learn about humans, AI, and mathematics from this development is somewhat subtle. I believe if the level and type of human expertise that is represented on this note had been assembled to find a counterexample to this conjecture a month ago, and those people put in similar amounts of time working on it than they did to reading…

Paper and discussion history. A mention is not an endorsement.