OpenAI makes breakthrough on 80-year-old maths problem | OpenAI


OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old maths problem.

The company behind ChatGPT said it had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946: the planar unit distance problem.

The question posed by Erdős is simple to explain. If you take a sheet of paper and add some dots, how many pairs can be the same distance apart? Erdős proposed the number would rise only slightly faster than the number of dots themselves.

OpenAI’s model concluded otherwise by drawing on different branches of mathematics to uncover a family of arrangements that break the limit in Erdős’s conjecture.

“For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids,” OpenAI wrote on X. “An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.”

While the work has excited mathematicians, the broader problem remains unsolved because the AI did not come up with a new answer for how fast the pairs of dots rise, but merely showed that the limit Erdős proposed was too low.

OpenAI, which is preparing to float on the US stock market, said the calculations had been made by a general-purpose reasoning model – which breaks down problems into smaller steps – rather than a system trained specifically for mathematics.

The startup has been tripped up before by its attempts to solve Erdős’s problems, having hailed a supposed breakthrough last year that was in fact based on already existing literature absorbed by the model. This time, OpenAI’s work has been validated by mathematicians, including Thomas Bloom, a mathematician who maintains the Erdős problems website and criticised OpenAI’s prior Erdős claims.

Bloom co-authored a companion paper to OpenAI’s blog post flagging the Erdős achievement. Bloom wrote that the AI system had attained its results by “persevering down paths that a human may have dismissed as not worth their time to explore”.

However, he added that humans had been involved in the AI’s work.

“While the original proof produced by AI was completely valid, it was significantly improved by the human researchers at OpenAI and the many other mathematicians involved in the present paper. The human still plays a vital role in discussing, digesting and improving this proof, and exploring its consequences,” he wrote.

Mathematician Tim Gowers, also writing in the companion paper, described the result as “a milestone in AI mathematics”.

Andrew Rogoyski, of the Institute for People-Centred AI at the University of Surrey, said the announcement showed AIs were giving humans new ways to look at problems.

“It’s becoming clear that AI is impacting the world of creative thought and will become a fundamental tool of future scientific research,” he said.



Source link

  • Related Posts

    If You Use Google Chrome, Your Device May Have Secretly Downloaded a 4GB AI Model

    Google Chrome could be taking up some extra storage space on your device. Based on reports from earlier this month, the browser has been automatically downloading a 4GB AI model…

    One of Meta’s big legal reckonings just ended in a settlement

    After back-to-back losses in trials grappling with its impact on teens’ mental health, Meta just settled what was supposed to be its next legal battle with Kentucky’s Breathitt County School…

    Leave a Reply

    Your email address will not be published. Required fields are marked *

    You Missed

    Ex-Kitchener neurologist Jeffrey Sloka faces 2 new sex assault charges after acquittal on previous counts

    Ex-Kitchener neurologist Jeffrey Sloka faces 2 new sex assault charges after acquittal on previous counts

    Usyk vs Verhoeven: Eddie Hearn describes challenger as ‘not a normal man’

    Usyk vs Verhoeven: Eddie Hearn describes challenger as ‘not a normal man’

    Consumers are still spending, but cracks are starting to show

    Consumers are still spending, but cracks are starting to show

    From The Sports Desk: Thunder strike

    From The Sports Desk: Thunder strike

    Tennessee governor orders stay of execution after doctor can’t find vein | US news

    Tennessee governor orders stay of execution after doctor can’t find vein | US news

    If You Use Google Chrome, Your Device May Have Secretly Downloaded a 4GB AI Model

    If You Use Google Chrome, Your Device May Have Secretly Downloaded a 4GB AI Model