Erdős's Planar Unit Distance Conjecture
Conjectured upper bound on how many pairs among $n$ points in the plane can be exactly one unit apart.
Exact FrontierDelta
Scope and record
Occurred: May 1, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: expert-verified. Publication: announcement. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: Erdős's Planar Unit Distance Conjecture · Problem 90 · Unit Distance Conj.
Confidence: Not scored
Registry verification: expert verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Will Sawin
human · human collaborator
OpenAI frontier model (specific version not disclosed)
model · ai model contributor · OpenAI
Noga Alon
human · human collaborator
Thomas Bloom
human · human collaborator
Timothy Gowers
human · human collaborator
Daniel Litt
human · human collaborator
Jacob Tsimerman
human · human collaborator
Melanie Matchett Wood
human · human collaborator
Lineage and corrections
This event attributed to Melanie Matchett Wood
This event attributed to Will Sawin
This event attributed to Noga Alon
This event attributed to Thomas Bloom
This event attributed to Timothy Gowers
This event attributed to Daniel Litt
This event attributed to Jacob Tsimerman
This event attributed to OpenAI frontier model (specific version not disclosed)