Sigurður Freyr Hafstein varaðar við hraðri þróun gervigreindar í stærðfræði

Þann 6. október birti OpenAI 722 handrit sem innihalda 372 stærðfræðilausnir. Fyrirtækið segir að gervigreind þess hafi leyst Navier-Stokes jöfnurnar, sem eru eitt af sjö þúsaldarvandamálum stærðfræðinnar og hafa verið óleyst í um 200 ár. Með birtingu lausnanna segir OpenAI að miklar framfarir hafi orðið í rannsóknum á Riemann-tilgátunni, sem oft er kölluð heilagi gral stærðfræðinnar.

Sigurður Freyr Hafstein, prófessor í stærðfræði við Háskóla Íslands, segir að miklar umræður hafi skapast innan fræðigreinarinnar um þróun gervigreindar og áhrif hennar á stærðfræði í framtíðinni. Hann varaðar við því að birta svo mikið af niðurstöðum í einu, þar sem það tekur ár eða áratugi að fara í gegnum allar niðurstöðurnar og athuga hvort sannanirnar séu réttar. Sigurður bendir á að stærðfræðingar leggja venjulega orðspor sitt að veði fyrir hverri setningu sem þeir birta, en að "henda hundruðum fram í einu" er allt öðruvísi.

Meðal stærðfræðinga hér á landi hefur sprottið upp umræða um þessi tíðindi og til standi að stofna vikulega umræðufundi. Sigurður telur tíðindin bæði spennandi og ógnvekjandi. Sumir stærðfræðingar óttast að gervigreindin sé of öflug og gæti jafnvel skaðað stærðfræðina fyrir stærðfræðingum, en Sigurður er ekki alveg svo svartsýnn og segir að mikil breyting muni á öllum dögum verða.

Stærsti kostur gervigreindarinnar er að hún hefur lesið allt fræðarit og hefur allar upplýsingar á reiðum höndum, segir Sigurður. Hann bendir á að sannanir gervigreindarinnar tengi oft saman fræðasvið sem áður voru ekki talin tengd. Hins vegar segir hann að enn sé margt á huldu varðandi afrek gervigreindarinnar og að bíða verði eftir frekari niðurstöðum áður en hægt sé að draga ályktanir um það hvort hún sé að umbylta fræðigreininni.