OpenAI har meddelat att en av deras allmänna AI-modeller har löst ett berömt problem inom diskret geometri – nästan 80 år efter att det formulerades av den ungerske matematikern Paul Erdős. Resultatet har redan granskats av oberoende experter inom matematikområdet, enligt företaget.
Problemet kallas enhetsavståndsproblemet på planet och handlar om hur många punktpar som maximalt kan placeras så att avståndet mellan dem är exakt en enhet. Sedan mitten av 1900-talet har man antagit att de mest effektiva konfigurationerna liknar ett klassiskt kvadratiskt rutnät, men ett slutgiltigt bevis har aldrig presenterats.
Enligt OpenAI angrep modellen problemet på ett oväntat sätt, med hjälp av algebraisk talteori i stället för de traditionella geometriska metoderna. Det ledde till en ny familj av punktkonfigurationer som ger fler giltiga kombinationer än vad tidigare uppskattningar antydde.
En annan viktig detalj är att modellen inte är specifikt utvecklad för matematiska problem. Företaget betonar att det rör sig om ett allmänt resonemangssystem, inte ett specialiserat matematiskt verktyg.
Flera oberoende matematiker har granskat beviset och bekräftar att grundidén är korrekt. Forskare menar att detta kan vara ett viktigt exempel på hur AI inte bara kan snabba på analysen av befintliga lösningar, utan också öppna nya vägar för vetenskaplig forskning. Problemet i sig anses dock inte vara helt löst – frågor om de exakta gränserna för resultatet är fortfarande öppna.
Intressant nog har liknande påståenden tidigare väckt kontrovers. Det har förekommit fall där AI har återupptäckt kända lösningar i stället för att hitta nya. Den här gången betonar OpenAI att resultatet har verifierats externt och att forskningsmaterialet har publicerats.