OpenAI-ն ակնարկում է «Հազարամյակի մրցանակի» երկրորդ մաթեմատիկական բեկման մասին

Նավիե-Ստոքսի գոյության և հարթության խնդիրը լուծելու մասին հայտարարությունից երկու շաբաթ անց OpenAI-ն ակնարկել է, որ մոտ է մաթեմատիկայի յոթ «Հազարամյակի մրցանակի» խնդիրներից ևս մեկի լուծմանը, ընդ որում՝ ենթադրությունները կենտրոնացած են Հոջի վարկածի շուրջ: Այս քայլը տեղի է ունենում այն ժամանակ, երբ ընկերությունը բախվում է մաթեմատիկական հանրության կազմակերպված հակազդեցությանը, ներառյալ Ֆիլդսյան մրցանակի 25 դափնեկիրների ստորագրած նամակը, որը զգուշացնում է AI ընկերությունների և այն գիտակարգի միջև «լուրջ անհամապատասխանության» մասին, որը նրանք փոխակերպում են:

Նավիե-Ստոքսի հետևանքները

Սեպտեմբերի 8-ին OpenAI-ը հայտարարեց, որ մոտ 10,000 համակարգված AI գործակալներ, որոնք աշխատում են չհրապարակված ներքին մոդելի հիման վրա, ստեղծել են 166 էջանոց ապացույց և Lean ֆորմալիզացիա, որը ցույց է տալիս, որ Նավիե-Ստոքսի հավասարումները կարող են «պայթել»՝ առաջացնելով անվերջ հեղուկի արագություններ հարթ սկզբնական պայմաններից: Սեպտեմբերի 1-ից սկսված 88-ժամյա հաշվարկի արդյունքում արված այս հայտարարությունը անմիջապես մեղադրանքներ առաջացրեց NYU-ի մաթեմատիկոս Տրիստան Բակմաստերի կողմից, ով պնդում էր, որ OpenAI-ը շտապել է լուծել խնդիրը՝ իմանալով, որ ինքը և Anthropic-ի հետազոտող Լևենտ Ալպյոգեն առաջընթաց են գրանցում նմանատիպ մոտեցմամբ: OpenAI-ը հերքեց պնդումները՝ ասելով, որ «կատեգորիկ» անհնար է, որ Բակմաստերի աշխատանքը ազդած լինի իր ներքին մոդելի վրա:nytimes+3

Հակասությունը արագորեն սրվեց: Սեպտեմբերի 11-ին Թերենս Տաոն և Ֆիլդսյան մրցանակի 24 այլ դափնեկիրներ հրապարակեցին «AI-ի լուրջ անհամապատասխանությունը մաթեմատիկայում» վերնագրով հռչակագիր՝ պնդելով, որ AI ընկերությունները հայտնի խնդիրները դիտարկում են որպես կոպիտ ուժով լուծվող չափանիշներ, այլ ոչ թե որպես իրական ըմբռնման միջոցներ: «Հաճախ այս լուծումները հայտարարվում են շտապողականությամբ՝ չթողնելով ժամանակ պատշաճ շարադրման, նոր մեթոդների ու գաղափարների մեկուսացման և ուրիշների համապատասխան նախորդ աշխատանքներին հղում կատարելու համար», ասվում է նամակում: Այդ ժամանակից ի վեր գրեթե 6000 լրացուցիչ մաթեմատիկոսներ միացել են դրան:science+2

Առանձին դեպքում, ավելի քան 1000 մաթեմատիկոսներ ստորագրել են բաց նամակ՝ ընդդիմանալով Caltech-ում նախատեսված «մաթեմատոնին», որը հետազոտողներին կմիավորեր OpenAI-ի և Anthropic-ի AI հաշվարկային կրեդիտների հետ՝ դա անվանելով վաղ կարիերայի գիտնականների կորպորատիվ շահագործում: OpenAI-ը հետագայում հրաժարվեց միջոցառումից:science

Հազարամյակի երկրորդ խնդիրը

Նույնիսկ այն ժամանակ, երբ մաթեմատիկոսները աշխատում են Նավիե-Ստոքսի խիտ ապացույցի վրա, OpenAI-ն ակնարկել է, որ մոտ է «Հազարամյակի մրցանակի» երկրորդ խնդրի լուծմանը, ըստ The Information-ի և Science-ի հաղորդումների: Ընկերությունը չի հաստատել, թե որ խնդիրն է թիրախավորում, սակայն ենթադրությունները կենտրոնացել են Հոջի վարկածի վրա՝ հանրահաշվական երկրաչափության մի խնդիր, որն այնքան վերացական է, որ նույնիսկ դրա ձևակերպումը պահանջում է ասպիրանտական մակարդակի փորձառություն: Խոսակցությունները նաև մատնանշում են Բիրչի և Սվիներտոն-Դայերի վարկածը որպես OpenAI-ի կամ Anthropic-ի հնարավոր թիրախ:theinformation+4

Ժամանակացույցը սուր քննադատության է արժանացել: Բրաունի համալսարանից Խավիեր Գոմես-Սերանոն, ով սեպտեմբերի 11-ին Հարվարդում դասախոսություն է կարդացել Նավիե-Ստոքսի ապացույցի վերաբերյալ, 166 էջանոց փաստաթուղթը նկարագրել է որպես «անհասկանալի» և ասել, որ մաթեմատիկական հանրությունը ապրում է «գոյաբանական ճգնաժամ»: Caltech-ից Սերգեյ Գուկովը պահը համեմատել է «երկրաշարժի» հետ:science

Արդյոք OpenAI-ի հաջորդ պնդումը, եթե այն իրականանա, կխորացնի՞ մաթեմատիկոսների հետ ճեղքվածքը, թե՞ կնշանավորի համագործակցության շրջադարձային կետ, մնում է բաց հարց: Ինչպես գրել են Ֆիլդսյան մրցանակի դափնեկիրները. մաթեմատիկայի առջև ծառացած մարտահրավերը այժմ «մատնանշում է խնդիրներ, որոնց կարող է բախվել ողջ մարդկությունը. ինչպե՞ս համոզվել, որ քանի դեռ AI-ն փոխում է աշխատանքի կատարման ձևը, մենք չենք կորցնում տեսադաշտից այն, թե ինչի համար էր այդ աշխատանքը նախատեսված սկզբից»:terrytao.wordpress