նախընտրելի դարձնել
OpenAI-ը հայտարարել է արդյունքների մասին, որոնք կասկածի տակ են դնում տեսական ինֆորմատիկայի վաղեմի վարկածներից մեկը՝ էքսպոնենցիալ ժամանակի վարկածը (Exponential Time Hypothesis, ETH)։ Ըստ այդ վարկածի՝ որոշ խնդիրներ մուտքային տվյալների ծավալի աճին զուգընթաց այնքան են բարդանում, որ դրանք ընդունելի ժամանակում լուծելը էքսպոնենցիալ ալգորիթմներից էապես ավելի արագ ալգորիթմներով գործնականում անհնար է։
OpenAI-ի հայտարարությունից կարճ ժամանակ անց Anthropic-ը ներկայացրեց սեփական հետազոտությունը, որը նույնպես կասկածի տակ է դնում ETH-ը։ Եթե երկու ընկերությունների արդյունքները հաստատվեն, դա կարող է նոր թափ հաղորդել ավելի արդյունավետ ալգորիթմների որոնմանը այն խնդիրների համար, որոնք տասնամյակներ շարունակ համարվել են չափազանց բարդ։
Հայտարարությունները աշխույժ քննարկում առաջացրին ինֆորմատիկայի մասնագետների, մաթեմատիկոսների և արհեստական բանականության հետազոտողների շրջանում։ Միևնույն ժամանակ, OpenAI-ի արդյունքների ստուգումը դեռ շարունակվում է, իսկ անկախ գիտնականների մասնակցությունը դրանց ուսումնասիրությանը չի նշանակում, որ նրանք արդեն հաստատել են ընկերության եզրակացությունները։
Ռայան Ուիլյամս․ առիթ՝ ավելի լրջորեն մտածելու P = NP հավասարության մասին
Մասաչուսեթսի տեխնոլոգիական ինստիտուտի էլեկտրատեխնիկայի և ինֆորմատիկայի պրոֆեսոր Ռայան Ուիլյամսը ալգորիթմների մշակման երեք անկախ մասնագետներից մեկն է, որոնք ուսումնասիրում են OpenAI-ի պնդումները։ Նա ընդգծել է, որ առայժմ չի հաստատել ընկերության արդյունքները։
Ուիլյամսի խոսքով՝ եթե OpenAI-ի եզրակացությունները ճիշտ դուրս գան, դա ինֆորմատիկայի հետազոտողներին կստիպի գոնե փոքր-ինչ ավելի լրջորեն դիտարկել այն հնարավորությունը, որ P = NP։ Այս խնդիրը տեսական ինֆորմատիկայի գլխավոր բաց հարցերից է․ այն վերաբերում է նրան, թե արդյոք կարելի է արդյունավետորեն լուծումներ գտնել այն խնդիրների համար, որոնց արդեն գտնված լուծման ճշտությունը հնարավոր է ստուգել բազմանդամային ժամանակում։
Ուիլյամսը նաև նշել է, որ հայտնագործության հնարավոր գործնական հետևանքը կլինեն ավելի արագ ալգորիթմները։ Միաժամանակ նա նախկինում ասել էր, որ չի հավատում ETH-ի ճշմարտացիությանը։
Գերի Մարկուս․ սա կարող է խոշոր իրադարձություն լինել
Նյու Յորքի համալսարանի պատվավոր պրոֆեսոր և ԱԲ-ի հնարավորությունների չափազանց լավատեսական գնահատականների հայտնի քննադատ Գերի Մարկուսը զուսպ է արձագանքել OpenAI-ի հայտարարությանը։
X-ում իր հրապարակման մեջ նա արդյունքը պոտենցիալ նշանակալի է անվանել՝ եթե այն հաստատվի։ Այսպիսով, Մարկուսն ընդունել է հայտարարության հնարավոր կարևորությունը՝ առանց այն ապացուցված համարելու։
Ջոն Կուկ․ P = NP խնդիրը մնում է բաց
Մաթեմատիկոս և կիրառական մաթեմատիկայի խորհրդատու Ջոն Կուկն ընդգծել է, որ նույնիսկ OpenAI-ի տպավորիչ արդյունքները չեն նշանակում ինֆորմատիկայի գլխավոր խնդիրներից մեկի լուծում։
«Դեռևս անհայտ է՝ արդյոք P = NP», — գրել է նա իր բլոգում։
Կուկը բացատրել է, որ նույնիսկ եթե հաջողվի բացառել 3-SAT խնդրի համար էքսպոնենցիալ ժամանակի անհրաժեշտությունը, դա դեռ չի նշանակում, որ գոյություն ունի բազմանդամային բարդությամբ ալգորիթմ։ Որքան հայտնի է մասնագետներին, նման ալգորիթմ առայժմ չի գտնվել։
Այլ կերպ ասած՝ ETH-ի հերքումն ինքնին չի ապացուցում P = NP հավասարությունը․ դրանք տարբեր պնդումներ են, և դրանց միջև դեռ զգալի հեռավորություն կա։
Ջոշուա Ֆոնսեկա Ռիվերա․ հնարավոր է՝ մենք թերագնահատել ենք համակարգիչների հնարավորությունները
Anthropic-ում ԱԲ-ի անվտանգության հետազոտող Ջոշուա Ֆոնսեկա Ռիվերան այս հայտարարության մեջ հիշեցում է տեսել այն մասին, որ մարդիկ կարող են թերագնահատել հաշվողական համակարգերը։
«Դառը դասը»՝ այն գաղափարը, որ երկարաժամկետ հեռանկարում մեծածավալ հաշվարկներ օգտագործող մեթոդները հաճախ գերազանցում են մարդու կողմից ձեռքով ներդրված գիտելիքների վրա հիմնված մոտեցումներին, նրա կարծիքով, պետք է հետազոտողներին նախապատրաստած լիներ նման հայտնագործությունների։
«Տրամաբանորեն ես դա հասկանում եմ, բայց… վա՜յ, մենք իսկապես ոչինչ չգիտենք», — գրել է Ռիվերան X-ում։
Թիմոթի Գաուերս․ «Շատ զարմանալի և նշանակալի է, որ սա ճիշտ չէ»
Մաթեմատիկոս, Ֆիլդսի մեդալակիր և Կոլեժ դը Ֆրանսի պրոֆեսոր Թիմոթի Գաուերսը X-ում հակիրճ մեկնաբանել է տեղի ունեցողը։
«Շատ զարմանալի և նշանակալի է, որ սա ճիշտ չէ», — գրել է նա՝ նկատի ունենալով էքսպոնենցիալ ժամանակի վարկածը։
Դեն Շիպերը ափսոսանք է հայտնել, որ խորացված մաթեմատիկա չի ուսումնասիրել
Every տեխնոլոգիական ստարտափի ղեկավար Դեն Շիպերը լուրին արձագանքել է ինքնահեգնանքով։ Նա գրել է, որ ափսոսում է, որ խորացված մաթեմատիկայի ոլորտում դոկտորական աստիճան չի ստացել։
«Այնպես չէ, որ երբևէ լրջորեն մտադրվել եմ այն ստանալ, բայց միևնույն է», — հավելել է Շիպերը։
Ինչ կլինի հետագայում
Առայժմ OpenAI-ի և Anthropic-ի հայտարարությունները պետք է դիտարկել որպես մանրակրկիտ անկախ ստուգում պահանջող հետազոտական արդյունքներ, այլ ոչ թե վաղեմի վեճի վերջնական հանգուցալուծում։ OpenAI-ը նախաձեռնել է իր եզրակացությունների բաց ուսումնասիրություն արտաքին մասնագետների խմբի կողմից, սակայն մասնակիցներն իրենք ընդգծում են, որ իրենց մասնակցությունը չի նշանակում ներկայացված արդյունքների հավանություն։
Եթե ETH վարկածն իսկապես սխալ դուրս գա, դա կարող է փոխել պատկերացումներն այն մասին, թե որքան արդյունավետ կարելի է լուծել որոշ հաշվողական խնդիրներ։ Բայց դրանից չի հետևում, որ բոլոր բարդ խնդիրները հանկարծ պարզ կդառնան, կամ որ P = NP խնդիրն արդեն լուծված է։
Այժմ գլխավոր հարցն այն է, թե արդյոք կհաջողվի անկախ կերպով հաստատել արդյունքները և հասկանալ, թե ալգորիթմական ինչ նոր հնարավորություններ են դրանք բացում։
