Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...