OpenAI-ն հետ է կանչել երեք մաթեմատիկական աշխատություն՝ նշանի սխալի պատճառով

OpenAI-ն հետ է կանչել հոկտեմբերի 6-ին հրապարակված 722 մաթեմատիկական ձեռագրերից երեքը՝ դրանք հրապարակելուց մեկ օր էլ չանցած: Ընկերությունը հայտնաբերել է նշանի սխալ, որը խաթարել է մեկ աշխատության փաստարկը և այն կառուցվածքը, որից կախված էին երկու այլ աշխատություններ: Այն նաև վերանայել է ևս 14 ձեռագիր: Հետկանչումները սրել են մաթեմատիկոսների միջև բանավեճը այն մասին, թե ինչպես ստուգել զանգվածաբար թողարկված արհեստական բանականության կողմից գեներացված հետազոտություններըretractionwatch+1:

722 ձեռագրերը տեղադրվել են հանրային GitHub պահոցում: OpenAI-ն հայտնել է, որ դրանք ստեղծվել են չթողարկված ներքին մոդելի կողմից և խմբավորվել են հանրահաշվի, երկրաչափության, համակարգչային գիտության և այլ ոլորտներում արդյունքների 372 ընտանիքի մեջunite+1:

Ինչն է հետ կանչվել

Պահոցի հոկտեմբերի 7-ի վերանայման պատմության համաձայն՝ սխալը եղել է "Algebraicity of Weil classes on split abelian eightfolds" աշխատության մեջ: Այնտեղ "նշանի սխալը անվավեր է դարձնում կայունացման-հետքի չեղարկման փաստարկը և երկու կախյալ աշխատությունների կողմից օգտագործված կառուցվածքը": Այդ երկու աշխատությունները՝ "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces" և "The rational Hodge conjecture for products of K3 surfaces," նույնպես հետ են կանչվելaiweekly+1:

Հետ կանչված տարբերակները դեռ առցանց են՝ բացերը բացատրող ծանուցումներով: 14 վերանայված ձեռագրերը ստացել են ապացույցների ուղղումներ, շտկված հայտարարություններ, ավելի հստակ վարկածներ և կախվածություններ, ինչպես նաև մեկ հնացած մեջբերման ուղղում: 13 ուղեկցող աշխատություններում նույնպես թարմացվել են հղումները: Կատալոգում այժմ նշված է 719 ձեռագիրimplicator+1:

OpenAI-ի խոսնակը Retraction Watch-ին հայտնել է, որ ընկերությունը սխալները հայտնաբերել է աուդիտի ընթացքում: "Մենք ողջունում ենք մաթեմատիկական հանրության կողմից քննադատությունն ու հետադարձ կապը," — ասել է խոսնակը՝ հավելելով, որ OpenAI-ն "կհետկանչի աշխատությունները, եթե հնարավոր չլինի ուղղումներ գտնել": Մեկ այլ խոսնակ The Atlantic-ին ասել է, որ "մենք ակնկալում ենք, որ սխալները բավականին հազվադեպ կլինեն": OpenAI-ի հետազոտությունների ղեկավար Դեն Ռոբերտսը հետկանչումների մասին հայտարարել է X-ումretractionwatch+1:

Վերիֆիկացիայի հետ կապված մտահոգություններ

Արդյունքների մոտ 42%-ը գալիս է Lean-ում ձևական ապացույցներով, որը ծրագրավորման լեզու է և ստուգում է ապացույցները համակարգչի միջոցով: Մնացածը գոյություն ունի միայն գրավոր աշխատությունների տեսքով: OpenAI-ն հայտնել է, որ իրենց հետ աշխատող խորհրդատվական խումբը՝ Մաթեմատիկայի և արհեստական բանականության խորհրդատվական խումբը, խորհուրդ է տվել արդյունքները հրապարակել առանց լիարժեք ձևականացման սպասելու: Խոսնակը նշել է, որ մոտ կեսը հրապարակվել է առանց հաստատմանasiae+1:

Կոռնելի համալսարանի մաթեմատիկոս Ալեքս Թաունսենդն ասել է, որ ակնկալում է ավելի շատ սխալներ: "Մաթեմատիկական հանրության մեջ ԱԲ-ի նկատմամբ թերահավատությունը հաշվի առնելով՝ կարծում եմ, որ OpenAI-ն պետք է նախ հայտարարեր այն ձեռագրերը, որոնք Lean-ով ստուգված էին," — ասել է նա Retraction Watch-ին: Մի քանի մաթեմատիկոսներ The Atlantic-ին հայտնել են, որ որոշ աշխատություններ կարծես թե չեն ապացուցում այն, ինչ պնդում ենretractionwatch+1:

Հարավային Կորեայի KAIST-ի ԱԲ մաթեմատիկայի ասպիրանտուրայի դեկան Բաեկ Հյոնգրյոլն ասել է, որ որոշ արդյունքներ կարող են "Ֆիլդսյան մեդալի արժանի լինել", եթե հաստատվեն: Նա նաև նշել է, որ իր կարդացած ձեռագրերը "դժվար էր ընկալել"asiae:

"Կարևոր է, թե արդյոք ապացույցը ճիշտ է, բայց այն գործընթացը, որով այն դառնում է մեր գիտելիքի մաս, նույնքան կարևոր է," — ասել է Բաեկըasiae: