Get the latest Science News and Discoveries

AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone

None

Get the Android app