OpenAI heldur því fram að gervigreind hafi leyst yfir hundrað stærðfræðidæmi án þess að sýna fram á sönnun

OpenAI tilkynnti þann 21. september að ónefnt innra líkan, sem hóf þjálfun 28. ágúst, hafi leyst fleiri en 100 langvarandi opin vandamál á flestum sviðum stærðfræðinnar, þar á meðal Navier-Stokes Millennium-verðlaunavandamálið. Fyrirtækið birti engar sannanir, engan lista yfir vandamálin og enga utanaðkomandi staðfestingu, sem þýðir að öll fullyrðingin hvílir einungis á orðum fyrirtækisins.chosun+1

Samhliða tilkynningunni opinberaði OpenAI stofnun ráðgjafahóps um stærðfræði og gervigreind, sem starfar hjá Institute for Advanced Study í Princeton, með það fyrir augum að fara yfir nýjar stærðfræðilegar niðurstöður frá gervigreindarkerfum áður en þær eru taldar fullreyndar.the-decoder+1

Merkileg fullyrðing án gagna

Navier-Stokes tilvist- og sléttleikavandamálið er eitt af sjö Millennium-verðlaunavandamálum sem Clay Mathematics Institute setti fram árið 2000, en hvert þeirra ber með sér milljón dollara verðlaun. Jöfnurnar lýsa hreyfingu vökva og eru notaðar daglega í eðlisfræði og verkfræði, en stærðfræðilegur grunnur þeirra er enn illa skilinn.npr

OpenAI hélt því fyrst fram þann 8. september að gervigreind þeirra hefði leyst Navier-Stokes vandamálið á 88 klukkustundum með því að nota um 10.000 gervigreindarumboðsmenn. Tilkynningin þann 21. september stækkaði umfang verkefnisins verulega með því að bæta við yfir 100 öðrum leystum vandamálum og, samkvæmt The Decoder, fullyrðingu um lausn á öðru Millennium-verðlaunavandamáli, Hodge-tilgátunni.the-decoder+2

Stærðfræðingar sem hafa skoðað fyrra 166 blaðsíðna Navier-Stokes handritið segja að Lean-formgerð þess sé rétt, sem bendir til þess að sönnunin sé tæknilega gild, en blaðið sjálft er nánast ólæsilegt. "Greinin er ekki skrifuð fyrir menn," sagði Javier Gómez-Serrano, stærðfræðingur við Brown-háskóla. James Maynard við Oxford-háskóla bætti við að "það hefur verið mjög erfitt að draga nokkurn mannlegan skilning út úr þessari nýju gervigreindarsönnun".npr

Deilur um flýti við birtingu

Atvikið hefur vakið harða gagnrýni innan stærðfræðisamfélagsins. Tuttugu og fimm handhafar Fields-verðlaunanna, þar á meðal Terence Tao og June Huh, birtu opið bréf þann 11. september undir yfirskriftinni "A Severe Misalignment of AI in Mathematics", þar sem varað er við því að það að nota lausn vandamála sem mælikvarða á gervigreindarkerfi grafi undan þeim huglæga skilningi sem er kjarninn í fræðigreininni.the-decoder+1

Tristan Buckmaster, stærðfræðingur við New York-háskóla sem hafði verið nálægt lausn á Navier-Stokes með samstarfsmanni sínum Levent Alpöge hjá Anthropic, sakaði OpenAI um að hafa lært af nálgun þeirra og flýtt sér að birta fyrst. Samkvæmt Buckmaster bauðst OpenAI til að setja hann á greinina sína ef hann yfirgæfi Alpöge. "Það eru svo margar óbeinar vísbendingar um að þeir hafi haft miklu meiri vitneskju um það sem við vorum að gera en þeir létu uppi," sagði Buckmaster við NPR. OpenAI hefur neitað því að hafa notað vinnu þeirra.npr

Ráðgjafahópur með takmarkanir

Nýi ráðgjafahópurinn inniheldur níu stærðfræðinga, þar á meðal Fields-verðlaunahafana Timothy Gowers og Martin Hairer, og starfar sjálfstætt án greiðslu frá OpenAI. Meðlimir geta boðið fram óumbeðin ráð og birt tillögur sínar.mixed-news+1

Hópurinn hefur þó innbyggða takmörkun: hann hefur ekkert vald yfir því hversu hratt OpenAI sækist eftir nýjum niðurstöðum. "Mikilvægt er að hópurinn mun ekki bera ábyrgð á að ráðleggja okkur um hvernig við hraðum okkar innri framförum í stærðfræði," skrifaði OpenAI.the-decoder+1

Clay Mathematics Institute, sem hefur aðeins veitt ein Millennium-verðlaun í sögu sinni, benti á í yfirlýsingu þann 11. september að matsferli þeirra sé "meðvitað óflýtt" og krefjist birtingar í viðurkenndu tímariti ásamt að minnsta kosti tveggja ára almennri viðurkenningu áður en verðlaun koma til greina. Engar af þeim niðurstöðum sem OpenAI fullyrðir að hafi verið leystar hafa verið birtar, sem þýðir að sú klukka er ekki farin í gang.mixed-news