Aldo Kiem

Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?

We demonstrate how neural networks can drive mathematical discovery through a case study of the Hadwiger-Nelson problem, a long-standing open problem at the intersection of discrete geometry and extremal combinatorics that is concerned with coloring the plane while avoiding monochromatic unit-distan…