OpenAI gefur í skyn að önnur Millennium-stærðfræðigáta sé leyst

Minna en tveimur vikum eftir að hafa haldið því fram að hafa leyst tilvist og sléttleika Navier-Stokes-jöfnunnar, hefur OpenAI gefið í skyn að fyrirtækið gæti verið nálægt því að leysa annað af sjö Millennium-verðlaunaverkefnum stærðfræðinnar, þar sem vangaveltur beinast að Hodge-tilgátunni. Þetta gerist á sama tíma og fyrirtækið mætir skipulagðri andstöðu frá stærðfræðisamfélaginu, þar á meðal bréfi sem 25 Fields-verðlaunahafar undirrituðu þar sem varað er við alvarlegu ósamræmi milli gervigreindarfyrirtækja og fræðigreinarinnar sem þau eru að breyta.

Eftirmálar Navier-Stokes

Þann 8. september tilkynnti OpenAI að um 10.000 samstilltir gervigreindarumboðar, knúnir af óútgefnu innra líkani, hefðu framleitt 166 blaðsíðna sönnun og Lean-formgerð sem sýnir að Navier-Stokes-jöfnurnar geta sprungið út, sem leiðir til óendanlegs vökvahraða úr sléttum upphafsskilyrðum, á 88 klukkustunda útreikningi sem hófst 1. september. Tilkynningin vakti strax ásakanir frá Tristan Buckmaster, stærðfræðingi við NYU, sem hélt því fram að OpenAI hefði flýtt sér að takast á við vandamálið eftir að hafa komist að því að hann og Levent Alpöge, rannsakandi hjá Anthropic, væru að ná árangri með svipaðri nálgun. OpenAI neitaði ásökunum og sagði að það væri algjörlega ómögulegt að vinna Buckmasters hefði haft áhrif á innra líkan þess.nytimes+3

Deilan stigmagnaðist hratt. Þann 11. september birtu Terence Tao og 24 aðrir Fields-verðlaunahafar yfirlýsingu sem bar titilinn A Severe Misalignment of AI in Mathematics, þar sem þeir héldu því fram að gervigreindarfyrirtæki meðhöndluðu fræg vandamál sem viðmið til að leysa með afli frekar en sem leiðir til raunverulegs skilnings. Í bréfinu sagði að oft væri þessum lausnum lýst yfir í flýti, án þess að gefa tíma fyrir viðeigandi úrvinnslu, einangrun nýrra aðferða og hugmynda, eða tilvísanir í viðeigandi fyrri verk annarra. Nærri 6.000 stærðfræðingar til viðbótar hafa síðan stutt bréfið.science+2

Í öðru lagi undirrituðu yfir 1.000 stærðfræðingar opið bréf þar sem þeir mótmæltu fyrirhuguðu stærðfræðiþoli hjá Caltech sem hefði parað rannsakendur við gervigreindarútreikningseiningar frá OpenAI og Anthropic, og kölluðu það fyrirtækjanýtingu á fræðimönnum á byrjunarstigi. OpenAI dró sig í kjölfarið út úr viðburðinum.science

Annað Millennium-vandamál

Jafnvel á meðan stærðfræðingar vinna í gegnum þétta Navier-Stokes-sönnunina, hefur OpenAI gefið til kynna að það gæti verið nálægt lausn á öðru Millennium-verðlaunaverkefni, samkvæmt fréttum frá The Information og Science. Fyrirtækið hefur ekki staðfest hvaða vandamál það er að einbeita sér að, en vangaveltur hafa beinst að Hodge-tilgátunni, vandamáli í algebrufræðilegri rúmfræði sem er svo abstrakt að jafnvel framsetning þess krefst sérfræðiþekkingar á háskólastigi. Orðrómur hefur einnig bent á Birch og Swinnerton-Dyer-tilgátuna sem mögulegt skotmark fyrir OpenAI eða Anthropic.theinformation+4

Tímasetningin hefur vakið harða gagnrýni. Javier Gómez-Serrano við Brown-háskóla, sem hélt fyrirlestur um Navier-Stokes-sönnunina í Harvard þann 11. september, lýsti 166 blaðsíðna skjalinu sem óskiljanlegu og sagði stærðfræðisamfélagið upplifa tilvistarkreppu. Sergei Gukov hjá Caltech líkti augnablikinu við jarðskjálfta.science

Hvort næsta fullyrðing OpenAI, ef hún verður að veruleika, muni dýpka gjána við stærðfræðinga eða marka tímamót í átt að samvinnu er enn óljóst. Eins og Fields-verðlaunahafarnir skrifuðu: áskorunin sem stærðfræðin stendur frammi fyrir núna bendir á vandamál sem allt mannkyn gæti þurft að takast á við: hvernig tryggja megi að þegar gervigreind breytir því hvernig vinna er unnin, missum við ekki sjónar á því hvað þeirri vinnu var ætlað að ná fram í upphafi.terrytao.wordpress