OpenAI: AI-model modbeviste 80 år gammelt matematikproblem

OpenAI har delt fremskridt for AI inden for matematik. Det største resultat er, at en intern AI-model ifølge selskabet har modbevist en cirka 80 år gammel gåde inden for geometri, nemlig Erdős' enhedsafstandsformodning.

Overskriften i den nyhed, vi fik oplyst, var kortfattet. Derfor har vi holdt os til det, der kan dokumenteres i kilderne.

Hvad er der sket?

En formodning er en påstand, som matematikere tror på, men endnu ikke har kunnet bevise. Den ungarske matematiker Paul Erdős stillede spørgsmålet om, hvor mange par af punkter i et plan der højst kan have præcis afstanden 1 til hinanden.

OpenAI's model fandt samlinger af punkter, der har flere sådanne par, end formodningen tillod. Dermed er formodningen modbevist. Ifølge en gennemgang kom modellen frem til det ved at koble geometri med dybe resultater fra talteori.

Bekræftet, men ikke en revolution

Flere førende matematikere, blandt dem Fields-medaljemodtageren Tim Gowers, har bekræftet, at der er tale om reel fremgang. Efterfølgende har menneskelige matematikere forbedret og udbygget beviset.

Samtidig er der forbehold. Nyhedssiden Resultsense skriver, at beviset støttede sig bredt til tidligere arbejde og samlede kendte idéer fra flere områder i stedet for at opfinde helt nye metoder. Den kalder det en milepæl, men ikke et stort spring.

Hvad betyder det for dig?

Du får ikke selv noget nyt værktøj ud af nyheden. Men den viser, at AI nu kan bidrage til forskning og ikke kun løse opgaver, som mennesker allerede kender svaret på.

Mønstret er samtidig, at mennesker stadig skal kontrollere og forbedre resultaterne. AI fungerer her som en hjælper med enormt overblik over tidligere viden og stor tålmodighed, mens menneskers vurdering stadig er afgørende.

OpenAI har tidligere fremhævet, at selskabets eksperimentelle model nåede guldmedaljeniveau ved den internationale matematikolympiade, hvor den løste fem ud af seks opgaver.