Erdos's Question on the Independence Ratio of Unit-Distance Graphs
Erdos asked whether a finite unit-distance graph in the plane can have independence ratio below $1/4$. One exists, built on the geometric fractional chromatic number framework of Matolcsi, Ruzsa, Varga and Zsamboki plus a carefully chosen two-vertex augmentation.