Kunstige professorer: OpenAI hævder at have løst hundredvis af matematiske gåder

Kunstig intelligens er for alvor stemplet ind i matematikken. I starten af september kunne virksomheden OpenAI bekendtgøre, at et internt og særdeles kraftfuldt AI-system har løst et af matematikkens helt store gåder, det såkaldte Navier-Stokes-problem, der beskriver, hvordan væsker og gasser bevæger sig. Nu følger samme OpenAI op med offentliggørelsen af over 700 videnskabelige artikler, der angiveligt løser ikke mindre end 372 kendte matematiske problemer inden for blandt andet geometri og algebra. Det skriver Nature. De mange artikler er såkaldte preprints, altså videnskabelige manuskripter, der ikke er bedømt af fagfæller og ikke er udgivet i et videnskabeligt tidsskrift. De blev offentliggjort 6. september på online-platformen GitHub. Samtlige manuskripter er skabt af én intern AI-model, som OpenAI i en pressemeddelelse betegner som "banebrydende". Her lyder det også, at OpenAI vil "flytte grænserne for menneskelig viden og muliggøre yderligere fremskridt inden for matematik". De problemknusende algoritmer er dog ikke problemfrie. Tre af de netop offentliggjorte manuskripter er nu trukket tilbage, fordi de indeholder fejl. OpenAI's løsning af Navier-Stokes-problemet har desuden startet en større diskussion om risikoen for, at store AI-virksomheder udnytter menneskers private arbejde. I kølvandet på det store Navier-Stokes-gennembrud såede to matematikere – Tristan Buckmaster fra New York University og Levent Alpöge fra OpenAI's store konkurrent Anthropic – tvivl om, hvorvidt deres fremskridt på området er blevet snuppet af OpenAI. Inden de blev overhalet indenom, havde de to matematikere i mere end et år arbejdet på at løse det famøse matematiske problem, blandt andet ved at bruge OpenAI-systemet Codex. OpenAI afviser, at virksomhedens forskere og agenter har haft adgang til Buckmaster og Alpöges arbejde.