„OpenAI“ atšaukė tris AI matematikos straipsnius dėl klaidos

„OpenAI“ atšaukė tris iš 722 matematikos rankraščių, kuriuos paskelbė spalio 6 d., praėjus mažiau nei parai po jų publikavimo. Įmonė aptiko ženklo klaidą, kuri sugriovė vieno straipsnio argumentą ir konstrukciją, kuria rėmėsi kiti du straipsniai. Taip pat buvo peržiūrėti dar 14 rankraščių. Šie atšaukimai paskatino diskusijas tarp matematikų apie tai, kaip tikrinti masiškai išleistus dirbtinio intelekto sukurtus tyrimus.retractionwatch+1

722 rankraščiai buvo patalpinti viešoje „GitHub“ saugykloje. „OpenAI“ teigė, kad juos sukūrė neišleistas vidinis pažangus modelis, ir suskirstė juos į 372 rezultatų šeimas algebros, geometrijos, informatikos ir kitose srityse.unite+1

Kas buvo atšaukta

Remiantis saugyklos spalio 7 d. versijų istorija, klaida buvo straipsnyje „Algebraicity of Weil classes on split abelian eightfolds“. Ten „ženklo klaida paneigia stabilizavimo ir pėdsako panaikinimo argumentą bei konstrukciją, kurią naudojo du priklausomi straipsniai“. Tie du straipsniai, „Algebraicity of Kuga–Satake Correspondences for K3 Surfaces“ ir „The rational Hodge conjecture for products of K3 surfaces“, taip pat buvo atšaukti.aiweekly+1

Atšauktos versijos vis dar yra internete su pranešimais, paaiškinančiais spragas. 14 peržiūrėtų rankraščių buvo pataisyti įrodymai, pakoreguoti teiginiai, aiškesnės hipotezės ir priklausomybės, bei viena pasenusi citata. Taip pat atnaujintos nuorodos 13-oje papildomų straipsnių. Kataloge dabar yra 719 rankraščių.implicator+1

„OpenAI“ atstovas „Retraction Watch“ sakė, kad įmonė klaidas aptiko audito metu. „Mes sveikiname matematikos bendruomenės dėmesį ir atsiliepimus“, – sakė atstovas, pridurdamas, kad „OpenAI“ „atšauks straipsnius, jei nebus įmanoma rasti pataisymų“. Kitas atstovas „The Atlantic“ teigė, kad „tikimės, jog klaidos bus gana retos“. Danas Robertsas, „OpenAI“ tyrimų vadovas, apie atšaukimus paskelbė socialiniame tinkle „X“.retractionwatch+1

Tikrinimo problemos

Apie 42% rezultatų pateikiami su formaliais įrodymais „Lean“ kalba – programavimo kalba, kuri kompiuteriu tikrina įrodymus. Likusieji egzistuoja tik kaip rašytiniai straipsniai. „OpenAI“ teigė, kad jų konsultacinė grupė, Matematikos ir dirbtinio intelekto patariamoji grupė, rekomendavo išleisti rezultatus nelaukiant visiško formalizavimo. Atstovas teigė, kad maždaug pusė buvo išleista nepatvirtinta.asiae+1

Kornelio universiteto matematikas Alexas Townsendas teigė besitikintis daugiau klaidų. „Atsižvelgiant į skepticizmą dirbtinio intelekto atžvilgiu matematikos bendruomenėje, manau, kad „OpenAI“ pirmiausia turėjo paskelbti „Lean“ patikrintus rankraščius“, – sakė jis „Retraction Watch“. Keli matematikai „The Atlantic“ teigė, kad kai kurie straipsniai, atrodo, neįrodo to, ką teigia.retractionwatch+1

Baekas Hyeongryeolas, Pietų Korėjos KAIST Dirbtinio intelekto matematikos magistrantūros dekanas, sakė, kad kai kurie rezultatai galėtų būti „verti Fildso medalio“, jei būtų patvirtinti. Jis taip pat pridūrė, kad jo skaityti rankraščiai „buvo sunkiai suprantami“.asiae

„Svarbu, ar įrodymas teisingas, bet procesas, per kurį jis tampa mūsų žinių dalimi, yra lygiai taip pat svarbus“, – sakė Baekas.asiae