OpenAI hevder at modellen deres løste et kjent geometriproblem som har unngått verdens største matematikere i 80 år – et gjennombrudd hyllet som bevis på robotens kreativitet og «intuisjon».
Selskapet publiserte funnene sine på onsdag, og demonstrerte at en av modellene tok knekken på problemet med planenhetsavstand, som først ble stilt av den legendariske ungarske matematikeren Paul Erdős i 1946.
Puslespillet stiller et villedende enkelt spørsmål som koker ned til: Hvor mange par prikker på et stykke papir kan være like langt fra hverandre?
Den rådende teorien antydet at et «kvadratisk rutenett» var nøkkelen til å lage det maksimale antallet par som er oppført i oppgaven, og Erdős foreslo selv at antallet par kunne øke bare litt raskere enn antall prikker ettersom flere poeng ble lagt til.
OpenAIs arbeid motbeviste imidlertid ideen og foreslo sin egen layout.
Matematikeren Arul Shankar fra University of Toronto, en av ekspertene som gjennomgikk OpenAIs arbeid, gikk så langt som å antyde at modellen brukte sin egen «intuisjon» for å komme frem til den overraskende løsningen.
«Etter min mening demonstrerer denne artikkelen at nåværende AI-modeller går utover bare hjelpere til menneskelige matematikere – de er i stand til å ha originale, geniale ideer, og deretter gjennomføre dem til virkelighet,» sa han i en uttalelse.
Professor i Toronto, Jacob Tsimerman, sa at han ble imponert over resultatene, og la merke til at han en gang hadde forsøkt å motbevise avstandsproblemet selv til ingen nytte.
«Det er definitivt en skremmende konstruksjon å se gjennom, selv om du vet hva som skjer, og enda vanskeligere å spille for deg selv,» bemerket han.
OpenAI har gjentatte ganger omtalt modellens bruk for å hjelpe til med å løse matematiske problemer og bevise eller motbevise tiår gamle formodninger som tidligere ble ansett for kompliserte å nærme seg.
Gjennombruddet kom bare dager etter at det ble avslørt at OpenAIs ChatGPT ble brukt til å hjelpe til med å løse et annet tiår gammelt problem, slik at matematikeren som først tenkte på løsningen, kunne se sin «sensasjonelle» idé bevist riktig.
I 1995 kom den anerkjente franske matematikeren Michel Talagrand (74) med en feiende uttalelse, og hevdet at i et tilsynelatende endeløst og spredt plan strødd med punkter over utallige dimensjoner, vil enkle, ordnede former dukke opp.
Men det Talagrand trodde ville være en herkulisk oppgave å bevise eller motbevise hans såkalte «konveksitetsformodning» tok en brå slutt forrige uke etter at matematikere ved California Institute of Technology brukte OpenAIs ChatGPT for å spille ut teorien hans.
«Dette er det mest ekstraordinære resultatet i hele mitt liv,» sa Talagrand til Scientific America om å se svaret. «Det riktige ordet er ‘sensasjonelt’.»
I kjernen av Talagrands formodning var ideen om at selv når man står overfor en milliard dimensjoner, kunne man tegne en enkel form som klarer å omkranse et utallig antall punkter spredt utover dem.
Den franske matematikeren selv var den første som helte kaldt vann på sin egen teori, og beskrev den som et «skudd i mørket» og sa at hvis det var sant, ville det utgjøre intet mindre enn et «totalt mirakel.»
Talagrand hadde til og med gitt en belønning på 2000 dollar i årevis for alle som kunne ta utfordringen, men en samler kom aldri.
Det vil si, inntil Antoine Song og hans elev, Dongming (Merrick) Hu, brukte ChatGPT for å oversette Talagrands problem og demonstrere at han hadde rett.
Duoen jobbet til slutt med Stefan Tudose, en Princeton-matematiker, på det endelige beviset, og valgte å ekskludere ChatGPT på grunn av usikkerhet i språkmodellenes «tankeprosess».
