❌

Reading view

An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the ErdΕ‘s 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 andΒ published 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 professorΒ Daniel LittΒ wrote 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.”

Read full article

Comments

Β© Getty Images

  •  
❌