Erdős Problem a Daythe open tracker

Erdős Problem #130

OPENdatabase updated 2025-08-31

No proof or disproof is known, and it isn't known whether a finite computation could settle it.

What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).

Let \(A\subset\mathbb{R}^2\) be an infinite set which contains no three points on a line and no four points on a circle. Consider the graph with vertices the points in \(A\), where two vertices are joined by an edge if and only if they are an integer distance apart. How large can the chromatic number and clique number of this graph be? In particular, can the chromatic number be infinite? The chromatic number can be infinite: there is an infinite general-position set whose integer-distance graph admits no finite proper colouring. How large the *clique* number can be is not addressed here.
Statement as formalized in Formal Conjectures (Google DeepMind, Apache-2.0) · their label: research solved. The authoritative wording is on erdosproblems.com/130.
Prizenone
Topicsgraph theory, chromatic number
Statement in LeanFormal Conjectures
Solution in Leanno
Original pageerdosproblems.com/130
WORKING REPORT BY THIS SITE · JUL 26, 2026

Read our working report →

Live page status OPEN, but it lists 1 claimed proof and Lherdos as currently working on the problem; mandatory no-duplication/no-collision stop.

SKIPPED