AI independently solved the planar unit distance problem—the first time a major open mathematical conjecture has fallen to autonomous machine reasoning.