OpenAI offentliggør resultater på over 300 matematiske problemer

Tirsdag 7. oktober offentliggjorde OpenAI en stor samling matematiske resultater. De stammer fra en intern AI-model, som firmaet ikke har udgivet. Ifølge de amerikanske medier Engadget og Fortune drejer det sig om 722 manuskripter, som er samlet i 372 »resultatfamilier« inden for 16 områder af matematikken. Manuskripterne ligger på GitHub, hvor alle kan læse dem.

Hvad er der sket?

OpenAI siger, at modellen har gjort fremskridt på eller løst en lang række åbne problemer. Det er opgaver, som ingen matematiker på forhånd vidste, om man overhovedet kunne løse. Samlingen rummer ifølge medierne påstande om løsninger på nogle kendte formodninger og en lang række modeksempler på ting, som matematikere har troet på i årtier. Et modeksempel er et enkelt tilfælde, der viser, at en påstand ikke altid holder.

OpenAI siger også, at man har gjort fremskridt på tre andre af de såkaldte Millennium-problemer, men ikke har løst dem fuldt ud. Det er en række berømte matematiske problemer, hvor hver løsning udløser en præmie på en million dollar.

Modellen brugte i gennemsnit omkring tre timers regnetid på hver løsning. OpenAI har også offentliggjort modellens ræsonnementer, et overslag over regnekraften og oplysninger om, hvor mange problemer der blev forsøgt.

Forbehold

Resultaterne er ikke blevet bedømt af andre forskere, den såkaldte peer review. OpenAI skriver selv, at nogle af de beviser, der ikke er formaliseret, kan have fejl. At formalisere et bevis vil sige at skrive det i en form, som et computerprogram kan kontrollere trin for trin. Det er gjort for mange af problemerne, så andre kan efterprøve dem uafhængigt.

Matematikere er derfor nu i gang med at forsøge at forstå, hvad samlingen faktisk indeholder. Fortune beskriver udgivelsen som både en fejring og en kontrovers, med kritik af, hvordan resultaterne er præsenteret.

Hvad betyder det?

For almindelige brugere ændrer det ikke noget lige nu, for modellen er ikke tilgængelig. Men det viser, hvor hurtigt AI er rykket fra skolens opgaver til egentlig forskning. Allerede i august fortalte OpenAI, at den interne model Astra havde løst ti åbne problemer. Nu er antallet vokset til hundredvis. Om alle resultaterne holder, afgøres først, når fagfolk har gennemgået dem.