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

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

Mathematicians have illuminated what sets of points can look like if the distances between them are all whole numbers. The change of plans came on a road trip. On a beautiful day last April, the ...