Ինժեներները պնդում են, որ OpenAI-ի Նավիե-Ստոքսի ապացույցը շուտով չի փոխի հեղուկների դինամիկայի աշխատանքը

Սեպտեմբերի 8-ին OpenAI-ը հայտարարեց, որ չհրապարակված ներքին AI համակարգը ապացույց է ներկայացրել, որ եռաչափ Նավիե-Ստոքսի հավասարումները կարող են վերջավոր ժամանակում եզակիություն առաջացնել՝ հնարավոր է լուծելով 2000 թվականին Քլեյի մաթեմատիկական ինստիտուտի կողմից առաջադրված վեց մնացած «Հազարամյակի մրցանակի» խնդիրներից մեկը։ Ընկերությունը հրապարակել է 166 էջանոց աշխատություն և Lean ապացույցների օգնականում կատարված պաշտոնական ստուգում, թեև արդյունքը դեռ սպասում է անկախ փորձագիտական գնահատման:OpenAI+3

Ինչ է պնդում ապացույցը

Նավիե-Ստոքսի հավասարումները, որոնք նկարագրում են հեղուկների, օրինակ՝ օդի և ջրի շարժումը, գրեթե երկու դար օգտագործվում են ինքնաթիռների նախագծումից մինչև եղանակի կանխատեսում։ Վաղեմի մաթեմատիկական հարցն այն էր, թե արդյոք այդ հավասարումների հարթ լուծումները կարող են խախտվել՝ առաջացնելով ֆիզիկապես անհնարին անվերջ արագություններ:scientificamerican+1

OpenAI-ը նշում է, որ իր համակարգը կառուցել է մի սցենար, որտեղ հանգստի վիճակից սկսող հեղուկը, ենթարկվելով հարթ արտաքին ուժի, ձևավորում է պտուտակ, որը պարուրաձև շարժվում է դեպի ներս և վերջավոր ժամանակում զարգացնում անսահմանափակ արագություն՝ պահպանելով վերջավոր էներգիա։ «Մեր ապացույցը ցույց է տալիս, որ գոյություն ունեն հեղուկներ, որոնք սկսվում են կատարյալ նորմալ, և Նավիե-Ստոքսի հավասարումների ներքո իրականում վերջավոր ժամանակում հասնում են անվերջ արագության», — ասել է OpenAI-ի համակարգչային գիտնական Վեն Չանդրասեկարանը մամուլի ճեպազրույցում, ինչպես հաղորդում է Nature-ը։ Ընկերությունը հայտարարել է, որ չի պատրաստվում հավակնել 1 միլիոն դոլար մրցանակին:nature+3

Հաշվողական աշխատանքը ներառում էր մոտավորապես 10,000 համաժամանակյա AI գործակալներ, որոնք աշխատում էին GPT-6 Astra-ից ավելի հզոր մոդելի վրա։ Գործակալները արդյունքին հասել են սեպտեմբերի 1-ից սկսած մոտ 88 ժամ աշխատանքից հետո, գումարած ևս 17 ժամ Lean ֆորմալիզացիայի համար:thebrighterside+1

Առաջնահերթության վեճ

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

Իրական աշխարհի հետևանքները դեռ հեռու են

Ինժեներները նշում են, որ արդյունքը, եթե հաստատվի, կարճաժամկետ հեռանկարում քիչ բան կփոխի։ «Կարճ ասած՝ ոչինչ», — ասել է ReynKo ինժեներական ընկերության գործադիր տնօրեն Ջասթին Բերոզը՝ անդրադառնալով հեղուկների դինամիկայի գործնական աշխատանքի վրա դրա ազդեցությանը։ NYU-ի ասիստենտ պրոֆեսոր Ֆլորիան Շեֆերը նշել է, որ հավասարումներն արդեն իսկ հասկացվում են որպես մոտավորություն, իսկ կառուցված եզակիության սցենարը չափազանց արհեստական է իրական աշխարհի կիրառությունների վրա ազդելու համար:scientificamerican

Ֆիլդսյան մրցանակակիր Տերենս Տաոն ավելի լայն մտահոգություններ է հայտնել AI-ի կողմից առաջնորդվող մաթեմատիկական հայտնագործությունների տեմպերի վերաբերյալ։ «Դա մի քիչ նման է ֆիլմ դիտելուն և առաջին տասը րոպեից ուղիղ վերջին տասը րոպեին անցնելուն», — ասել է Տաոն The Brighter Side of News-ին։ «Տեխնիկապես, բոլոր սյուժետային գծերը լուծված են, բայց փորձառության արժեքի մեծ մասը կորել է»։ Քլեյի մաթեմատիկական ինստիտուտը շարունակում է Նավիե-Ստոքսը դասել իր չլուծված խնդիրների շարքին, և ապացույցի պաշտոնական ընդունումը մնում է բաց հարց:popularai+1