An OpenAI model solved a famous math problem that stumped humans for 80 years
by Kai Williams from Ars Technica - All content on (#760KT)
In mid-May, OpenAI announced that an internal AI model had disproved the Erds unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years.
OpenAI gave several mathematicians early access to the result andpublished their reactions.Tim Gowers-who won the Fields Medal, the most prestigious prize in mathematics-wrote that there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics."
University of Toronto professorDaniel Littwrote that this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator."