Մաթեմատիկան չափից շատ է գնահատում ապացույցը. հյուրային գրառում Տերենս Տաոյի բլոգում

Տերենս Տաոյի բլոգում սեպտեմբերի 18-ին հրապարակված հյուրային գրառման մեջ մաթեմատիկոս և վիդեո-էսսեիստ Գրանտ Սանդերսոնը պնդում է, որ մաթեմատիկան չափից շատ է գնահատում ապացույցը և չափից քիչ՝ այն աշխատանքը, որը գաղափարները դարձնում է հասկանալի։ Նրա առաջարկն է, որ «մոտիվացված բացատրությունները» — աշխատանք, որը պատասխանում է «ինչպե՞ս կարելի էր հասնել դրան» հարցին — ստանան ակադեմիական ճանաչում՝ համեմատելի բաց խնդրի նոր ապացույցի հետ։

Վկայակոչում, որը կորցնում է ուժը

Սանդերսոնը սկսում է մի տրամադրությունից, որ, ըստ նրա, տարածված է մաթեմատիկոսների շրջանում. թեորեմների ապացուցումը միշտ եղել է իսկական նպատակի՝ մարդկային ընկալման առաջխաղացման վկայակոչում։ Երբ ապացույցները կարելի է արտադրել առանց այդ ընկալման, վկայակոչումը կորցնում է ուժը, և հարց է դառնում, թե ինչ պետք է զբաղեցնի նրա տեղը։ Ժանրերը նա ուղղակիորեն համեմատում է. ապացույցում սահմանումները սկզբում են, և յուրաքանչյուր պնդում բխում է նախորդից, իսկ մոտիվացված բացատրության մեջ սահմանումները գալիս են մեջտեղում՝ միայն այն բանից հետո, երբ խնդիրը հստակ ձևակերպվել է։ Նման պատումները նա կապում է Մայքլ Նիլսենի «հայտնագործության գեղարվեստականություն» տերմինի հետ և ընդունում, որ բացատրության վավերությունը երկուական չէ այնպես, ինչպես ապացույցինը։ Մոտիվացված բացատրությունների համար Lean երբեք չի լինի, գրում է նա։

Օրինակներ՝ վեճից առաջ

Նրա օրինակները միտումնավոր հին են՝ Թիմոթի Գաուերսի խմբագրած Princeton Companion to Mathematics-ի IV մասը և Թիմոթի Չաուի «բաց բացատրության խնդիր» հասկացությունը՝ թեմա, որը դեռ պետք է բացատրել այնպես, որ ամեն քայլ մոտիվացված ու պարզ լինի։

Էրդեշի 1196 խնդիրը

Ամենաթարմ օրինակը վեճին ամենամոտն է։ Ապրիլին Լիամ Փրայսը ներկայացրեց Էրդեշի 1196 խնդրի՝ ասիմպտոտիկ պարզունակ բազմությունների ենթադրության լուծումը, որը ստացել էր GPT-5.4 Pro-ի հետ փոխազդեցությունից։ Ապացույցը կար, ընկալումը՝ ոչ. Նատ Սոթանափանը և Ջարեդ Լիխտմանը մեկնաբանեցին AI-ի մոտեցումը և փաստարկը դարձրին ընթեռնելի։ Մայիսին Բորիս Ալեքսեևի, Ջարեդ Դուկեր Լիխտմանի, Լիամ Փրայսի, Քուանյու Թանի և Տերենս Տաոյի խումբը հոդված հրապարակեց, որը ընդլայնեց հիմնական գաղափարը և պարզեց ինչպես սկզբնական, այնպես էլ մի քանի հարակից խնդիրներ։

Ինչ պետք է փոխվի

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

Եզրափակում է ոլորտի կերպարով. ուսանողներից շատերը վախենում են մաթեմատիկա մտնել ապացույց արտադրող մեքենաների պատճառով, սակայն փոփոխության մեջ գտնվող ոլորտը մտնելու ամենահետաքրքիր վայրն է, եթե փոփոխությունը գիտակցված է, ոչ թե պարտադրված։ Ոլորտի առաջնորդների տեսանելի քայլերը կհանգստացնեն նորեկներին, որ մաթեմատիկան կախված չէ նրանից, թե ով է արտադրում ապացույցները։