#planar-unit-distance-problem

#planar-unit-distance-problem

An AI reasoning model disproved a long-held lower bound for the planar unit distance problem by constructing dot arrangements exceeding Erdos’s conjectured limit.