Տերենս Թաո. ԱԲ-ն ոչ վերականգնվող կերպով արդյունահանում է մաթեմատիկայի բաց խնդիրները

Մաթեմատիկոս Տերենս Թաոն զգուշացնում է, որ մաթեմատիկայում լավ ու արգասաբեր բաց խնդիրների պաշարը «ոչ վերականգնվող կերպով արդյունահանվում է», և վտանգ կա, որ խոստումնալից հարցերը կսակավանան։ Փաստարկը նա ներկայացրել է Mathstodon-ում 2026 թ. սեպտեմբերի 8-ին հրապարակված չորս մասից բաղկացած շարքում։

Օվկիանոսն ու խմելու ջուրը

Թաոն ընդունում է, որ զգուշացումն առաջին հայացքից անտրամաբանական է թվում՝ հնարավոր խնդիրների բազմությունը անվերջ է։ Նրա համեմատությունը մի երկիր է, որը խմելու ջրի սուր պակաս է ապրում՝ շրջապատված լինելով հսկայական օվկիանոսով։ Ցանկացած քանակի բաց խնդիր կարելի է ստեղծել կամայականորեն՝ օրինակ, հաշվարկել π թվի 10^10^10-րդ թվանշանը, սակայն դրանց ճնշող մեծամասնությունը ուշադրության արժանի չէ. դրանք ոչ նոր պատկերացումներ են տալիս, ոչ կապեր այլ հարցերի հետ, կամ չափազանց հեշտ են, կամ՝ հայտնի մեթոդների համեմատ չափազանց անհնարին։

Որոշելը, թե արդյոք հարցն արժանի է ընդգծման, երկար, կշռադատված և սուբյեկտիվ գործընթաց է, որը սնվում է պատմական փորձով՝ թե նման խնդիրները նախկինում ինչ լավ մաթեմատիկա են ծնել։ Որոշիչ է ոլորտի «դժվարության լանդշաֆտի» իմացությունը՝ որ հարցերը հեշտ են հայտնի մեթոդներով, որոնք լուծվում են ջանքով, և որոնք անհնարին են։

Դժվարության լանդշաֆտի հարթեցումը

Յուրաքանչյուր առաջընթաց՝ տեխնիկայում, տեխնոլոգիայում կամ ենթակառուցվածքում, օրինակ՝ անցյալ գրականության գրադարանների հասանելիությունը, նվազեցնում է խնդիրների լուծման դժվարությունը։ Դա ընդհանուր առմամբ լավ է, սակայն հարթեցնում է լանդշաֆտն այն աստիճան, որ ոլորտի երկրաչափությունն այլևս չի երևում, և խոստումնալից հարցեր հնարավոր չէ առանձնացնել։

ԱԲ դարաշրջանը տարբերվում է մեկ հանգամանքով՝ նման որոշիչ սահմաններ չկան։ ԱԲ գործիքներն արդեն հարթեցրել են լանդշաֆտը բազմաթիվ ոլորտներում, սակայն չկա հստակ ճակատ, որը բաժանում է «ԱԲ-ի համար իրագործելի» խնդիրները «ԱԲ-ի համար դժվար» խնդիրներից, որոնք դեռ գոյություն ունեն, քանի որ դժվարությունը սահմանափակված չէ։ Թաոն դա մասամբ բացատրում է տեխնոլոգիայի արագ փոփոխությամբ, մասամբ էլ նրանով, որ ԱԲ ընկերությունները չեն հրապարակում բացասական արդյունքները կամ լուծումներին հասնելու ուղին։

Սակավ պաշարը

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

Չափորոշիչներ՝ արգելքի փոխարեն

Շարքի վերջին գրառման մեջ Թաոն պնդում է, որ հզոր «լուծումներ արդյունահանող» գործիքների անտարբեր կիրառումը հասնում է առկա խնդիրները լուծելու կարճաժամկետ նպատակին, բայց հաջորդ ալիքի էկոհամակարգի հաշվին։ Ավտոմատ գործիքների ամբողջական արգելումը, հավանաբար, տեխնիկապես անհնար է, ընդունում է նա, սակայն խնդիրների բազմաթիվ դասեր դեռ կարելի է նշանակել որպես ուշադիր վերլուծություն պահանջող՝ աշխատանք, որը ոչ միայն լուծում է խնդիրը, այլև բացահայտում է լուծման ընթացքից պատկերացումներ։ Նա դա համեմատում է սննդի նվիրատվության ժամանակակից արշավի հետ, որն այլևս չի ընդունում կամայական ներդրումներ, այլ պահպանում է հստակ ու սոցիալապես ընդունված չափորոշիչներ այն մասին, թե իրականում ինչ է պահանջվում։