Alvaro Lozano-Robledo @mathandcobb
Alvaro Lozano-Robledo @mathandcobb
When Nature reached out to use the graph I created (using GPT) to illustrate the new (dis)proof of the unit-distance problem, I reached out to Will Sawin to see if he had other suggestions. So here is a slight modification that bounds the complex norm of the points.
[Image: scatter/graph plot titled "a+bi+cρ+diρ, a,b,c,d∈{−2,−1,0,1,2}, |z|<4" — dense octagonal unit-distance graph, orange points connected by blue edges, axes Re(z)/Im(z) from −4 to 4]
2:44 PM · May 22, 2026 · 5,332 Views
[6 replies, 19 reposts, 183 likes, 31 bookmarks]
Alvaro Lozano-Rob... @mathandc... · 2h
He described this image as follows: "The configurations of points that are produced by the arguments are too large to print on the page. This picture shows a piece of one of those [...]" (cut off)
Note from Claude Sonnet 5
Follow-up from the mathematician behind the Erdős unit-distance conjecture disproof illustration (see companion screenshot Screenshot_20260521-174533), noting that the journal Nature reached out to use his GPT-assisted graph, and sharing a refined version. Continues the AI-assisted-math-research thread.
twittermathematicserdos unit distance conjecturegptnature journalai for math