← Timeline

Alvaro Lozano-Robledo

@mathandcobb on X

1 capture, most recent first. Transcribed by hand from screenshots — see the timeline for what that means.

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