OpenAI-ն պնդում է, որ AI-ն լուծել է 100-ից ավելի մաթեմատիկական խնդիրներ, սակայն ապացույցներ չի ներկայացնում

OpenAI-ը սեպտեմբերի 21-ին հայտարարեց, որ անանուն ներքին մոդելը, որի ուսուցումը սկսվել է օգոստոսի 28-ին, լուծել է մաթեմատիկայի գրեթե բոլոր ոլորտներում ավելի քան 100 վաղեմի բաց խնդիրներ, ներառյալ Նավիե-Ստոքսի հազարամյակի մրցանակային խնդիրը: Ընկերությունը չի ներկայացրել ոչ մի ապացույց, խնդիրների ցանկ կամ արտաքին ստուգում, ինչը նշանակում է, որ ամբողջ պնդումը հիմնված է միայն նրանց խոսքի վրա:chosun+1

Հայտարարության հետ մեկտեղ OpenAI-ը բացահայտեց Մաթեմատիկայի և արհեստական բանականության խորհրդատվական խմբի ձևավորումը, որը հյուրընկալվում է Փրինսթոնի Հեռանկարային հետազոտությունների ինստիտուտում: Այն նպատակ ունի վերանայել AI համակարգերից ստացված մաթեմատիկական արդյունքները, նախքան դրանք հաստատված համարելը:the-decoder+1

Նշանակալի պնդում առանց փաստաթղթերի

Նավիե-Ստոքսի գոյության և հարթության խնդիրը 2000 թվականին Clay մաթեմատիկական ինստիտուտի կողմից սահմանված յոթ հազարամյակի մրցանակային խնդիրներից մեկն է, որոնցից յուրաքանչյուրն ունի 1 միլիոն դոլար մրցանակ: Հավասարումները նկարագրում են հեղուկի շարժումը և ամեն օր օգտագործվում են ֆիզիկայում և ճարտարագիտության մեջ, սակայն դրանց մաթեմատիկական հիմքերը մնում են վատ ուսումնասիրված:npr

OpenAI-ն առաջին անգամ սեպտեմբերի 8-ին պնդեց, որ իր AI-ն լուծել է Նավիե-Ստոքսի խնդիրը 88 ժամում՝ օգտագործելով մոտ 10,000 AI գործակալ: Սեպտեմբերի 21-ի հայտարարությունը կտրուկ ընդլայնեց շրջանակը՝ ավելացնելով ավելի քան 100 լուծված խնդիրներ և, ըստ The Decoder-ի, հազարամյակի երկրորդ մրցանակային խնդրի՝ Հոջի վարկածի լուծումը:the-decoder+2

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

Հրապարակման շտապողականության շուրջ վեճեր

Այս դրվագը սուր քննադատության է արժանացել մաթեմատիկական հանրության կողմից: Քսանհինգ Ֆիլդսյան մրցանակակիրներ, այդ թվում՝ Թերենս Տաոն և Ջուն Հուն, սեպտեմբերի 11-ին հրապարակեցին բաց նամակ՝ «AI-ի լուրջ անհամապատասխանությունը մաթեմատիկայում» վերնագրով՝ նախազգուշացնելով, որ խնդիրների լուծումը որպես AI համակարգերի չափանիշ օգտագործելը խաթարում է հայեցակարգային ըմբռնումը, որը կենտրոնական է այս գիտակարգի համար:the-decoder+1

Նյու Յորքի համալսարանի մաթեմատիկոս Տրիստան Բակմաստերը, ով Anthropic-ի իր գործընկեր Լևենտ Ալպյոգեի հետ մոտ էր Նավիե-Ստոքսի լուծմանը, մեղադրել է OpenAI-ին իրենց մոտեցման մասին իմանալու և առաջինը հրապարակելու համար: Ըստ Բակմաստերի՝ OpenAI-ն առաջարկել է նրան ընդգրկել իրենց աշխատանքում, եթե նա հրաժարվի Ալպյոգեից: «Կան բազմաթիվ անուղղակի ապացույցներ, որ նրանք շատ ավելին գիտեին մեր անելիքների մասին, քան ցույց էին տալիս», — ասել է Բակմաստերը NPR-ին: OpenAI-ը հերքել է նրանց աշխատանքն օգտագործելու փաստը:npr

Սահմանափակումներ ունեցող խորհրդատվական խումբ

Նոր խորհրդատվական խումբը ներառում է ինը մաթեմատիկոս, այդ թվում՝ Ֆիլդսյան մրցանակակիրներ Թիմոթի Գոուերսը և Մարտին Հեյրերը, և գործում է անկախ՝ առանց OpenAI-ից վարձատրության: Անդամները կարող են առաջարկել չպահանջված խորհուրդներ և հրապարակել իրենց առաջարկությունները:mixed-news+1

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

Clay մաթեմատիկական ինստիտուտը, որն իր պատմության մեջ շնորհել է միայն մեկ հազարամյակի մրցանակ, սեպտեմբերի 11-ի հայտարարության մեջ նշել է, որ իր գնահատման գործընթացը «կանխամտածված դանդաղ է» և պահանջում է հրապարակում որակավորված ամսագրում, որին հաջորդում է առնվազն երկու տարվա ընդհանուր ընդունում, նախքան որևէ մրցանակի մասին մտածելը: OpenAI-ի պնդած արդյունքներից ոչ մեկը չի հրապարակվել, ինչը նշանակում է, որ այդ ժամանակացույցը դեռ չի սկսվել:mixed-news