AI löste klassiskt matematikproblem

Ett matematiskt problem som formulerades 1946 av den ungerske matematikern Paul Erdős har fått en lösning genom en AI-modell. Problemet har under lång tid sysselsatt matematiker och handlar om hur många lika långa linjer som kan dras mellan punkter på ett stort pappersark.

Under decennier har flera forskare arbetat med frågan. Paul Erdős utgick från att det största antalet linjer kunde uppnås genom att placera punkterna i ett rutnät, men en modell från Open AI har visat att den teorin inte stämde.

Svante Linusson, professor i matematik vid Kungliga Tekniska högskolan, är fortfarande överraskad över resultatet.

Svante Linusson uppger att AI-modellen använde metoder från ett annat område inom matematiken för att nå fram till lösningen.

AI-systemet tog även fram en vetenskaplig artikel om arbetet. Svante Linusson nämner att texten hade kunnat publiceras i några av de mest ansedda vetenskapliga tidskrifterna om den hade skrivits av en människa, och att personen bakom arbetet då hade varit aktuell för tjänster vid många universitet.