Foto: Freepik
Open AI uppger att företagets AI-modeller har gjort tre stora upptäckter inom matematik, datavetenskap och fysik, rapporterar The Verge. Resultaten publicerades på GitHub mindre än en månad efter att bolaget släppt 377 matematiska resultat.
Vilka genombrott gäller det?
Open AI hävdar att dess modeller har motbevisat exponentialtidshypotesen (ETH) inom datavetenskap. Enligt bolaget beskriver en artikel en deterministisk algoritm som exakt räknar tilldelningar som uppfyller CNF-formler med fast bredd, i subexponentiell tid och med polynomiskt minne. Fallet 3-SAT ska enligt bolaget vederlägga ETH.
Inom matematiken gäller påståendet lokal utjämning (local smoothing) för den euklidiska vågekvationen. Beviset ska gälla i alla rumsdimensioner från två och uppåt. Det ska också ge Kakeya-förmodandena och Steins sfäriska restriktionsuppskattningar inom stora delar av det förmodade området.
Inom fysiken menar Open AI att bolaget har ett bevis för vissa växelverkande kvantfältteorier med gaugefält och fermioner i fyra dimensioner. Dit hör kvantkromodynamik (QCD) och en förenad komplettering av partikelfysikens standardmodell, skriver Gizmodo.
Externa forskare ska granska resultaten
Den här gången har Open AI valt ett nytt upplägg. Externa experter, som bolaget kallar "shepherds", vägleder resultaten inom datavetenskap och fysik. För matematikens del rådde experterna bolaget att släppa AI:ns utdata så att forskare kan arbeta fram egna förklaringar. Bolaget släpper modellens utdata direkt, på samma sätt som vid släppet den 6 oktober.
En oberoende arbetsgrupp under ledning av Russell Impagliazzo, Ramamohan Paturi och Ryan Williams ska granska och förklara ETH-beviset. På gruppens begäran har materialet gjorts offentligt direkt.
Open AI beskriver de publicerade texterna som "rå forskningsdata" som matematik- och vetenskapssamhället ska omvandla till vetenskaplig förståelse. Bolaget uppger också att det inte söker akademiskt erkännande för upptäckterna från de interna modellerna.
Rådgivare avråder från metoden
Bolaget medger att upplägget kan ha egna problem. Rådgivarpanelen AGMAI, som Open AI själv har satt samman, rekommenderade dagen innan att AI-bolag inte ska låta utvalda personer få resultaten först. Panelen pekade bland annat på ojämlik tillgång, lånat anseende och snedvriden selektion.
Panelen förordar i stället att AI-laboratorier publicerar resultat i vetenskapliga arkiv, med Lean-formaliserade bevis, information om hur problemen valdes och finansiering till dem som arbetar med att förstå resultaten.
Tidigare påståenden har ifrågasatts
Open AI säger att de matematiska resultaten har formaliserats eller verifierats i Lean, ett bevisverktyg. Enligt Gizmodo har bolagets tillit till Lean redan varit ett problem. Läsare som granskade den Lean-verifierade lösningen på Navier–Stokes-problemet, ett av millennieproblemen, oroade sig för att Lean hade verifierat ett svagare påstående än det ursprungliga.
Gizmodo skriver också att rådgivargruppen redan tidigare hade kritiserat att ett privat företag använder opublicerade interna AI-modeller för att nå genombrott.
