Քլեյի ինստիտուտը հրապարակել է Նավիե–Ստոքսի հայտարարությունը

2026 թվականի սեպտեմբերի 11-ին Քլեյի մաթեմատիկայի ինստիտուտը (CMI) հրապարակեց կարճ հայտարարություն, որով ընդունում է, որ Նավիե–Ստոքսի խնդիրը՝ եռաչափ տարածության մեջ լուծումների գոյության և հարթության հարցը, ըստ երևույթին լուծված է։ Ինստիտուտը ոչ լուծողին անվանեց, ոչ էլ ժամկետներ սահմանեց։

Ինչ ասաց ինստիտուտը

Հայտարարության մեջ նշվում է, որ CMI-ն կիսում է մաթեմատիկական համաշխարհային համայնքի հուզմունքը՝ դիտարկելով հայտարարությունը, և ընթերցողներին ուղղորդում է մրցանակների կանոններին, որտեղ նկարագրվում է ձեռք բերվածի գնահատման և վաստակի վերագրման ընթացքը։ Այդ գործընթացը, ինստիտուտի ձևակերպմամբ, դիտավորյալ չի շտապում, և թարմացումներ կհետևեն։ Զսպվածությունն ընթացակարգային է, ոչ թե զգուշավոր. Հազարամյակի մրցանակի կանոնները պահանջում են գրախոսվող ամսագրում հրապարակված լուծում, որը երկու տարվա ընթացքում դիմանա ընդհանուր մաթեմատիկական գրականության ստուգմանը, նախքան մրցանակի քննարկումը։ Այսպիսով հայտարարությունը գնահատումը բացում է, ոչ թե փակում։

Ինչու հենց այս խնդիրը

Հազարամյակի յոթ խնդիրները ներկայացվել են 2000 թվականին Փարիզում կայացած հանդիպմանը՝ յուրաքանչյուրին մեկ միլիոն դոլար մրցանակ կցելով, մաթեմատիկական մտքի ունիվերսալությունը նշելու համար։ CMI-ն դրանք նկարագրում է որպես մարդկային գիտելիքի սահմանը նշող հիմնարար մարտահրավերներ, ոչ թե պատահական գլուխկոտրուկներ. դրանցում առաջընթացը պահանջում է նոր կառուցվածքներ և մեթոդներ, որոնց ազդեցությունը հեռու է անցնում սկզբնական հարցից։ Հեղուկի շարժումը համապատասխանում է այդ նկարագրին։ Ինստիտուտը վերջին տարիներին նշում է սպասումի աճ. հարակից ոլորտի առաջընթացները՝ դրանցից մի քանիսը Քլեյի հետազոտական մրցանակով նշվեցին, լուծման հույս բարձրացրին, ինչպես և նոր տեխնոլոգիաների՝ մաթեմատիկական հետազոտությունը արագացնելու ունակությունը։

Ինչ հայտարարություն է ընկած հիմքում

Հայտարարությունը հրահրող արդյունքը հրապարակել է OpenAI-ն. 2026 թվականի սեպտեմբերի 8-ին ընկերությունը հայտնեց, որ ներքին համակարգը ստացել է ապացույց՝ Lean ապացույցների օգնականում ֆորմալիզացիայով հանդերձ, որ սկզբում հարթ հոսքը կարող է վերջավոր ժամանակում յուրահատկություն ձևավորել։ Ինստիտուտի պաշտոնական ձևակերպման մեջ, որը պահանջում է չորս պնդումներից մեկի ապացույց, դա հաստատում է այն երկու տարբերակները, որոնք պնդում են, որ հարթ լուծումները կարող են չպահպանվել։ Այլ խմբեր մի քանի օր առաջ հարակից առաջընթաց էին հայտնել առանց մածուցիկության դեպքի համար։

Ինչ է սպասվում

Հեղուկները նկարագրող հավասարումները ջուրը և օդը դիտարկում են որպես հարթ շարունակական միջավայր, ոչ որպես մոլեկուլների ամբոխ, և հենց դրանց վրա են հենվում եղանակի կանխատեսումը, օդանավի նախագծումը և արյան հոսքի ուսումնասիրությունը։ Երկար բաց մնացած հարցն այն էր, թե արդյոք այդ հարթ նկարագրությունը կարող է ոչնչացնել ինքն իրեն։ Եթե յուրահատկության արդյունքը դիմանա ստուգմանը, այն ֆիզիկոսներին կասի, որ այդ ռեժիմում կոտրվում են հավասարումները, ոչ թե հեղուկը՝ մոդելի սահման, ոչ թե աշխարհում տեղի ունեցող երևույթ։ Առայժմ CMI-ի հայտարարությունը նշում է այդ ստուգման սկիզբը, ոչ թե արդյունքը։