OpenAl claims Al breakthrough, says its model solved 80-year-old math problem

OpenAI has said that its unreleased AI reasoning model solved a decades-old mathematical problem that had remained unsolved for nearly 80 years. The model produced an original mathematical proof disproving a famous geometry conjecture, OpenAI said in a blog post published on Wednesday, May 20. At the centre of the purported breakthrough is the ‘Planar unit distance problem’ first posed by [who is ...