Մաթեմատիկոսները OpenAI-ի ստեղծած ապացույցը «գրեթե անհասկանալի» են որակում

OpenAI-ը երկուշաբթի՝ սեպտեմբերի 21-ին, հայտարարեց, որ համագործակցում է Մաթեմատիկայի և արհեստական բանականության հարցերով անկախ խորհրդատվական խմբի հետ, որը տեղակայված է Փրինսթոնի Հեռանկարային հետազոտությունների ինստիտուտում։ Այս քայլը հաջորդեց Նավիե-Ստոքսի հազարամյակի մրցանակային խնդրի վերաբերյալ AI-ի կողմից ստեղծված վիճահարույց և մեծ մասամբ անընթեռնելի ապացույցի շուրջ ծագած սկանդալին:openai+1

Ապացույց, որը ոչ ոք չի կարողանում կարդալ

Այս ամսվա սկզբին OpenAI-ը բացահայտեց, որ 88 ժամ աշխատած 10,000 AI գործակալներ ստեղծել են 166-էջանոց ապացույց, որը ցույց է տալիս, որ Նավիե-Ստոքսի հավասարումներով նկարագրվող հեղուկները կարող են եզակիություն զարգացնել վերջավոր ժամանակում. արդյունք, որը հաստատվելու դեպքում կլուծի Քլեյի մաթեմատիկական ինստիտուտի կողմից առաջադրված հազարամյակի վեց մնացած խնդիրներից մեկը։ Մաթեմատիկոսները հիմնականում ընդունում են ապացույցը որպես տեխնիկապես ճիշտ, մասամբ այն պատճառով, որ այն ուղեկցվել է Lean ծրագրավորման լեզվով ձևական ստուգմամբ։ Սակայն արդյունքի մարդկային ընկալումը մնում է անհասանելի:openai+2

«Մինչ այժմ շատ դժվար է եղել AI-ի այս նոր ապացույցից որևէ մարդկային ըմբռնում քաղել», — NPR-ին ասել է Օքսֆորդի համալսարանի մաթեմատիկոս Ջեյմս Մեյնարդը։ «Հոդվածը գրված չէ մարդկանց համար», — արձագանքել է Բրաունի համալսարանի մաթեմատիկոս Խավիեր Գոմես-Սերանոն՝ նշելով, որ ապացույցը կարող է օգնել ոլորտին «լուրջ վերախմբագրումից» հետո, բայց «այսօրվա դրությամբ հոդվածը մեզ քիչ բան է սովորեցնում»:nprillinois

Հայտարարությունը նաև հեղինակության վերաբերյալ վեճ է հարուցել։ NYU-ի մաթեմատիկոս Տրիստան Բակմաստերը OpenAI-ին մեղադրել է իր չհրապարակված հետազոտությունների հիման վրա աշխատելու և հղում չկատարելու մեջ՝ պնդելով, որ ընկերությունն առաջարկել է իրեն նշել որպես հեղինակ միայն այն դեպքում, եթե նա հրաժարվի իր համահեղինակ Լևենտ Ալպյոգեից, որն աշխատում է Anthropic-ում։ OpenAI-ը հերքել է Բակմաստերի աշխատանքն օգտագործելու փաստը, սակայն ընդունել է, որ «չի կարող բացառել, որ մեր արտադրանքի օգտագործումից ստացված ապանձնավորված տվյալները օգնել են բարելավել մեր մոդելները»:futurism+2

Էլիտար խորհրդատվական խումբ

Ինը անդամից բաղկացած նոր խումբը ներառում է Ֆիլդսյան մրցանակի բազմակի դափնեկիրներ և գիտնականներ Սթենֆորդի, Հարվարդի, Օքսֆորդի, Քեմբրիջի և այլ առաջատար հաստատություններից։ Անդամները OpenAI-ից վարձատրություն չեն ստանալու և կարող են հրապարակայնորեն մեկնաբանել ընկերության ազդեցությունը մաթեմատիկայի վրա, առաջարկներ ներկայացնել և վերահսկել իրենց կազմը:theverge+2

«Դրա արժեքը կախված է նրանից, թե անդամները որքանով կարող են իրենց դատողությունը կիրառել և մարտահրավեր նետել մեզ», — ասվում է OpenAI-ի բլոգում։ Այնուամենայնիվ, ընկերությունը հստակեցրել է, որ խումբը «պատասխանատու չի լինելու մաթեմատիկայի ոլորտում մեր ներքին առաջընթացի տեմպերի վերաբերյալ խորհուրդներ տալու համար»:techcrunch+1

Որոշ մաթեմատիկոսներ կասկածի տակ են դրել, թե արդյոք խորհուրդը կարող է իսկապես ներկայացնել ավելի լայն հանրությունը։ «Սա փղոսկրյա աշտարակ է հիշեցնում», — ասել է Հերիոտ-Ուոթ համալսարանի նորանշանակ պրոֆեսոր Ֆրանչեսկո Ֆուրնիե-Ֆաչիոն։ ETH Zurich-ի հետազոտող Սայմոն Մաչադոն խմբի ձևավորումը «առեղծվածով պատված» է անվանել և կասկածի տակ դրել անդամների ընտրության գործընթացը:theverge

Ի՞նչ է սպասվում հետո

Խմբի ամենաանմիջական մարտահրավերը կարող է լինել ամենամեծը։ Խորհրդատվական խմբի մասին հայտարարության հետ մեկտեղ OpenAI-ը բացահայտել է, որ նույն չհրապարակված մոդելը «լուծել է մաթեմատիկայի գրեթե բոլոր ոլորտներում առկա ավելի քան 100 վաղեմի բաց խնդիրներ»։ Խորհուրդը հայտարարել է, որ այդ արդյունքների հրապարակման համակարգումը իր առաջնահերթությունն է:indiatoday+2

Խորհրդի անդամ և Ֆիլդսյան մրցանակակիր Մարտին Հայրերը բլոգային գրառման մեջ նշել է, որ խումբը ձևավորվել է, քանի որ AI ընկերությունները «արտադրում են որոշ բարձրակարգ մաթեմատիկական արդյունքներ», որոնց «հրապարակումն ու տարածումը շատ հեռու են մաթեմատիկական ընդունելի պրակտիկայից»։ Սակայն նա զգուշացրել է, որ անդամները «շատ միամիտ կլինեն, եթե հավատան, որ AI լաբորատորիաները չեն փորձի մեր ասածը շրջադարձել այնպես, որ այն հարմար լինի իրենց PR մեքենային»:theverge