The Wolfram S Combinator Challenge

Երբ մեկ կանոնը վերաշարադրում է ամեն ինչ. դասեր Wolfram S Combinator մարտահրավերից

2023-ի վերջին Սթիվեն Վոլֆրամը հաշվողական մաթեմատիկայի հանրությանը խաբուսիկորեն պարզ հարց տվեց. կարո՞ղ է ապացուցվել, որ մեկ կոմբինատորը` S կոմբինատորը, կարող է լիովին ինքնուրույն հասնել համընդհանուր հաշվարկի: Հետևեց մի ամիս տևած բաց մարտահրավեր, որը կրիպտոգրաֆներին, տրամաբաններին և ծրագրային ապահովման ինժեներներին քաշեց տեսական համակարգչային գիտության ամենաէլեգանտ ճագարների անցքերից մեկի մեջ: S-ի կոմբինատորը, որը սահմանված է S x y z = x z (y z) կանոնով, գրեթե ծիծաղելիորեն նվազագույն տեսք ունի: Այնուամենայնիվ, այդ մեկ վերաշարադրման կանոնի մեջ ներառված է երբևէ մտածված ցանկացած հաշվարկ մոդելավորելու ներուժը: Սա պարզապես մաթեմատիկայի մասին պատմություն չէ, այլ պատմություն է այն մասին, թե ինչ է տեղի ունենում, երբ բարդությունը հանում եք մինչև դրա անկրճատելի միջուկը և հայտնաբերում, որ պարզությունը, ռեկուրսիվորեն կիրառվող, դառնում է անսահման ուժ:

S Combinator. Պարզությունը որպես գերտերություն

Համակցված տրամաբանությունը հայտնագործվել է Մոզես Շոնֆինկելի կողմից 1920 թվականին և ընդլայնվել Հասքել Քարիի կողմից 1930-ականներին՝ որպես լամբդա հաշվարկի այլընտրանք՝ առանց փոփոխականների հաշվարկը նկարագրելու միջոց: S կոմբինատորը Թյուրինգի ամբողջականության համար անհրաժեշտ երկու հիմնարար մասերից մեկն է (K կոմբինատորի հետ մեկտեղ): Այնտեղ, որտեղ K-ն պարզապես ընտրում և մերժում է, S-ն անում է շատ ավելի հետաքրքիր բան. այն արգումենտը բաշխում է միաժամանակ երկու ֆունկցիաների վրա՝ հնարավորություն տալով ռեկուրսիվ ինքնակիրառման տեսակ, որը հնարավոր է դարձնում համընդհանուր հաշվարկը:

Վոլֆրամի մարտահրավերը հատուկ հարցրեց, թե արդյոք S-ն առանձին-առանց նույնիսկ K-ի որպես ուղեկից- կարող է առաջացնել բավական բարդություն, որպեսզի Թյուրինգն ամբողջական լինի որոշ կոդավորման ներքո: Պատասխանը, որը հաստատվել է համայնքի մասնակիցների կողմից սպառիչ որոնման և պաշտոնական ապացույցների միջոցով, նրբերանգ էր. միայն S-ը չի կարող հասնել Թյուրինգի ամբողջականությանն առանց լրացուցիչ պարզունակության, բայց որոնման գործընթացն ինքնին բացահայտեց արտասովոր խորություն, ինչը կարող են հասնել գրեթե նվազագույն համակարգերի: Զուտ S հավելվածից կառուցված տերմիններն ընդլայնվել են այնպիսի վարքագծերի մեջ, որոնք ոչ մի մարդ չի կարող կանխատեսել միայն սկզբնական կանոնից:

Սա այն կենտրոնական պատկերացումն է, որը մարտահրավերը դարձնում է փիլիսոփայորեն խորը, այլ ոչ թե զուտ տեխնիկապես հետաքրքիր: Համակարգի սահմանման և վարքագծի միջև բացը կարող է աստղաբաշխականորեն մեծ լինել: Վոլֆրամն այս երևույթն անվանել է «հաշվարկային անկրճատելիություն»՝ այն գաղափարը, որ շատ համակարգերի համար չկա դյուրանցում իմանալու, թե ինչ են անելու, բացի դրանք քայլ առ քայլ գործելուց:

Համակցված մտածողություն և ինչու է այն կարևոր ակադեմիական շրջանակներից դուրս

S կոմբինատորի մարտահրավերը միայն մաթեմատիկոսների համար վարժություն չէ: Այն բյուրեղացնում է մտածելակերպը, որն ունի խորը հետևանքներ համակարգի նախագծման, կազմակերպչական ճարտարապետության և բիզնես գործառնությունների վրա: Կոմբինատորի փիլիսոփայությունը հարցնում է. ո՞րն է ատոմային գործողությունների նվազագույն շարքը, որից կարող են կազմվել բոլոր ցանկալի վարքագիծը: Սա այն հարցն է, որ տալիս են մեծ ինժեներները ծրագրավորման լեզուներ կառուցելիս, մեծ ճարտարապետները՝ միկրոծառայություններ նախագծելիս, և մեծ բիզնես օպերատորները պետք է հարցնեն՝ իրենց գործառնական փաթեթը կառուցելիս:

Կազմակերպությունների մեծ մասն անում է հակառակը: Նրանք գործիքներ են կուտակում այնպես, ինչպես ձեղնահարկերը կուտակում են կահույքը. յուրաքանչյուրը առանձին խնդիր է լուծում, մինչև ամբողջը դառնա ավելի ծանր, քան իր մասերի գումարը: Վաճառքի թիմը ընդունում է CRM: Ֆինանսները գրավում են հաշիվ-ապրանքագրերի հարթակ: HR-ը գնում է աշխատավարձի գործիք: Նավատորմի կառավարումը ստանում է իր սեփական վահանակը: Յուրաքանչյուր գործիք տեղական օպտիմալ է: Նրանք միասին ստեղծում են այն գործողությունները, որոնք հետազոտողները կոչում են «ինտեգրացիոն պարտք»՝ չբաղադրվող համակարգերը միմյանց հետ խոսելու թաքնված ծախսերը:

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

Ինչ է մեզ սովորեցնում համընդհանուր հաշվարկը բիզնես մոդուլների մասին

Համակարգչային գիտության մեջ Թյուրինգի ամբողջականությունը նշանակում է, որ համակարգը կարող է նմանակել ցանկացած այլ հաշվողական համակարգ, որը բավարար ժամանակ և հիշողություն ունի: Բիզնեսի առումով, համանման հայեցակարգը գործառնական ամբողջականությունն է. պլատֆորմի կարողություն՝ կարգավորելու ցանկացած աշխատանքային հոսք, որը կարող է անհրաժեշտ լինել բիզնեսին, ոչ թե պտուտակի գործառույթների անընդհատ աճող ցանկի միջոցով, այլ իրապես կազմվող մոդուլների միջոցով, որոնք կիսում են տվյալները, ինքնությունը և տրամաբանությունը հիմնադրամի մակարդակում:

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

Այս տարբերությունը գործնականում մեծ նշանակություն ունի: Հարթակը, որտեղ մոդուլներն իսկապես կազմվում են, նշանակում է, որ ձեր CRM տվյալները բնականաբար հոսում են ձեր հաշիվ-ապրանքագրերի համակարգ, որը սնուցում է ձեր վերլուծական վահանակը, որը տեղեկացնում է ձեր HR պլանավորման մասին: Տվյալները արտահանման, վերափոխման և վերաներմուծման կարիք չունեն: Հաճախորդի ինքնությունը նույն առարկան է, անկախ նրանից, թե դուք այն դիտում եք վաճառքի մոդուլից, ամրագրման համակարգից կամ աշխատավարձի մատյանից: Սա կոմպոզիցիոն ձևավորում է, և դա այն է, ինչն առանձնացնում է իրական բիզնեսի օպերացիոն համակարգը ծրագրաշարի փաթեթից:

Mewayz-ը կառուցված է հենց այս սկզբունքով: 207 մոդուլներ, որոնք ներառում են CRM, հաշիվ-ապրանքագրեր, աշխատավարձ, HR, նավատորմի կառավարում, վերլուծություն, link-in-bio գործիքներ և ամրագրման համակարգեր՝ հարթակը սպասարկում է ավելի քան 138,000 օգտատերերի ամբողջ աշխարհում՝ ոչ թե առաջարկելով ամենաշատ հնարավորությունները, այլ ապահովելով, որ այդ գործառույթները գործում են ընդհանուր պարզունակներից. մեկը Mewayz-ում բացահայտորեն նախագծված է:

Ապացույցի մարտահրավեր. ինչու է բարդությունը պետք է վաստակել

Wolfram S Combinator Challenge-ի ամենաուսանելի ասպեկտներից մեկն այն էր, թե որքան դժվար էր ստուգել նույնիսկ պարզ թվացող պնդումները: Համայնքի մասնակիցներն օգտագործում էին ավտոմատացված թեորեմների ապացուցողներ, տերմինների սպառիչ թվարկում և նորովի վերագրման ռազմավարություններ: Բազմաթիվ մոտեցումներ, որոնք խոստումնալից էին թվում, նրբանկատորեն սխալ էին: Սա բնորոշ է բարձր կոմպոզիցիոն համակարգերին. նրանց վարքագիծը մասշտաբով իսկապես դժվար է կանխատեսել միայն իրենց կանոններից:

Բիզնեսների համար սա վերաբերում է ծանոթ ցավալի կետին՝ ինտեգրման փորձարկում: Երբ դուք ունեք տասը համակարգեր, որոնք յուրաքանչյուրը ճիշտ է աշխատում առանձին, դուք չեք կարող ենթադրել, որ դրանց փոխազդեցությունները ճիշտ կլինեն: Յուրաքանչյուր նոր ինտեգրման կետ բազմապատկում է անսպասելի վարքի ներուժը: Սա է պատճառը, որ տիպիկ ձեռնարկությունների ծրագրային փաթեթում ինտեգրումների թիվը քառակուսիորեն աճում է գործիքների քանակի հետ միասին, և ինչու ինտեգրման ծախսերը հետևողականորեն գերազանցում են լիցենզավորման ծախսերը խոշոր կազմակերպություններում:

Լուծումը, որին մատնանշում է կոմբինատորի մարտահրավերը, ոչ թե ավելի շատ փորձարկում է ինտեգրման շերտում, այլ ավելի քիչ ինտեգրացիոն մակերեսի սկզբից: Երբ մոդուլները կիսում են ընդհանուր ենթաշերտը, նրանց փոխազդեցությունները կարգավորվում են նույն կանոններով, որոնք կարգավորում են նրանց անհատական ​​վարքը: Չկան թարգմանչական շերտեր, որոնք սխալվելու համար, API-ի պայմանագրեր չկան, որոնք պետք է խախտվեն, սխեմաների անհամապատասխանություններ չկան, որոնք կարգաբերելու համար գիշերը ժամը 2-ին տախտակի ներկայացումից առաջ:

Գործնական հետևանքներ. կառուցել ձեր բիզնեսը կոմպոզիցիոն պրիմիտիվների վրա

Ինչպե՞ս է բիզնեսը գործնականում կիրառում կոմբինատոր մտածողությունը: Ահա այն հիմնական սկզբունքները, որոնք բխում են S combinator մարտահրավերից, երբ վերածվում են գործառնական ռազմավարության.

• Նախ բացահայտեք ձեր պարզունակները: Նախքան գործիքներ ընտրելը, քարտեզագրեք ձեր հիմնական տվյալների օբյեկտները՝ հաճախորդները, գործարքները, աշխատակիցները, ակտիվները, ժամանակը, և համոզվեք, որ ձեր կողմից ընդունված ցանկացած հարթակ վերաբերվում է դրանք որպես առաջին կարգի, ընդհանուր միավորների, այլ ոչ թե մոդուլի տեղային գրառումների:
• Գերադասեք խորությունը, քան լայնությունը վաղ գործիքավորման ժամանակ: Հարթակը, որը լավ է անում տասը բան ընդհանուր հիմնադրամից, ավելի արժեքավոր է, քան քսան մասնագիտացված գործիքներ, որոնցից յուրաքանչյուրը բացառիկ բան է անում, բայց չի կարող տեսնել միմյանց տվյալները:
• Փորձարկեք բաղադրելիությունը, ոչ միայն առանձնահատկությունները: Բիզնես ծրագրակազմը գնահատելիս հարցն այն չէ, թե «Ա մոդուլն ունի՞ X հատկանիշ»: բայց «երբ ես օգտագործում եմ A և B մոդուլները միասին, արդյոք համակարգը իրեն ավելի լավ է պահում, քան միայնակ»:
• Ավտոմատացումը վերաբերվում է որպես կոմպոզիցիայի: Կազմվող հարթակի ամենահզոր ավտոմատացումները սկրիպտներ կամ ինտեգրացիաներ չեն. դրանք աշխատանքային հոսքեր են, որոնք շղթայական մոդուլի վարքագիծն են՝ թույլ տալով, որ ամրագրման իրադարձությունը գործարկի CRM-ի թարմացում, որը գործարկում է հաշիվ-ապրանքագիր, որը գործարկում է աշխատավարձի մուտքագրում՝ առանց ձեռքի միջամտության կամ հատուկ կոդի:
• Բյուջե առաջացման համար: Կազմող համակարգերը կանեն այն, ինչ դուք չեք պլանավորել, և դա հատկություն է, ոչ թե վրիպակ: Ձեր գործողություններում տեղ թողեք աշխատանքային հոսքերը հայտնաբերելու համար, որոնք թույլ է տալիս հարթակը, բայց ոչ ոք հստակորեն չի նախագծել:

Հաշվարկային անկրճատելիություն գործառնություններում. Ընդգրկելով այն, ինչ չեք կարող կանխատեսել

Հաշվարկային անկրճատելիության Վոլֆրամի հայեցակարգն ունի անմիջական գործառնական հետևանք. որոշ բիզնես արդյունքներ հնարավոր չէ կանխատեսել առաջին սկզբունքներից, դրանք պետք է գործարկվեն: Սա պլանավորման ձախողում չէ. դա բարդ հարմարվողական համակարգերի հատկություն է։ Շուկաներն այսպես են վարվում. Հաճախորդների հետ հարաբերություններն այսպես են վարվում. Կազմակերպչական դինամիկան, իհարկե, այդպես է վարվում:

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

Սա է պատճառը, որ իսկական կոմպոզիցիայով մոդուլային հարթակները ոչ միայն գործառնական առումով հարմար են, այլ ռազմավարական առումով ճկուն են: Բիզնեսը, որն աշխատում է 138,000 օգտատերերի կուտակած պլատֆորմի հետախուզության վրա, ինչպես անում է Mewayz-ը, շարունակաբար հայտնաբերում է նոր ստեղծագործություններ: Այդ հավաքական հետախուզությունը միաձուլվում է այնպես, որ ոչ մի հաճախորդի ներքին պլանավորումը չէր կարող կանխատեսել:

Սահման. որտեղ համընկնում են կոմբինատորներն ու AI-ն

S կոմբինատոր մարտահրավերն ավարտվեց որպես նվազագույն համակարգերի սահմանների դաս, բայց նաև որպես ցույց, թե որքան հեռու կարող են առաջանալ այդ սահմանները: Ե՛վ տեսական համակարգչային գիտության, և՛ գործնական բիզնես գործառնությունների հաջորդ սահմանը կոմբինատոր համակարգերի խաչմերուկն է մեքենայական ուսուցման հետ. հարթակներ, որոնք ոչ միայն գործառույթներ են կազմում, այլև սովորում են, թե որ կոմպոզիցիաներն են առավել արդյունավետ և առաջարկում նորերը իրենց օգտատերերին:

Պատկերացրեք բիզնես OS, որը նկատում է, թե որ մոդուլների համակցություններն են փոխկապակցված եկամուտների աճի, հաճախորդների պահպանման կամ գործառնական արդյունավետության հետ և ակտիվորեն ներկայացնում է այդ օրինաչափությունները այն օպերատորներին, ովքեր դեռ չեն հայտնաբերել դրանք: Սա գիտական ​​ֆանտաստիկա չէ, դա տվյալների խորը ինտեգրումով և բավարար մասշտաբով հարթակի բնական էվոլյուցիան է: Երբ ձեր CRM-ի, հաշիվ-ապրանքագրերի, վերլուծության, HR-ի և նավատորմի կառավարման մոդուլները գործում են ընդհանուր տվյալների պրիմիտիվներից, AI շերտը ձեր բիզնեսի մասին ունի միասնական տեսակետ, որին ինտեգրված գործիքների ոչ մի կարկատան չի կարող համապատասխանել:

S կոմբինատորը մեզ սովորեցնում է, որ ամենախոր բարդությունը չի պահանջում կանոնների անսահման գրադարան: Դա պահանջում է ճիշտ պրիմիտիվներ, որոնք կիրառվում են կարգապահությամբ և երևակայությամբ: 2025-ի գործառնական պահանջներով նավարկող ձեռնարկությունների համար՝ բաշխված թիմերի, գլոբալ հաճախորդների, հիբրիդային եկամտի մոդելների և իրական ժամանակի վերլուծական ակնկալիքների կառավարում, պլատֆորմը, որը հաղթում է ամենաերկար գործառույթների ցանկը ունեցողը չէ: Դա այն մեկն է, որը կառուցված է, ինչպես ինքը S-ն, այն էլեգանտ պատկերացման վրա, որ ամեն հետաքրքիր բան առաջանում է կոմպոզիցիայից:

Վոլֆրամի առաջադրած մարտահրավերը ենթադրաբար մաթեմատիկայի հետ էր կապված: Բայց դրա ամենախորը դասը պատկանում է բոլորին, ովքեր կառուցում են համակարգեր, որոնք նախատեսված են տևական. սկսեք իրերի ամենափոքր շարքից, որոնք իսկապես կազմված են, և վստահեք, որ բարդությունն ինքն իրեն կզբաղվի:

Հաճախակի տրվող հարցեր

Ի՞նչ է S կոմբինատորը և ինչո՞ւ է այն կարևոր տեսական հաշվարկների համար:

S կոմբինատորը, որը սահմանվում է S x y z = x z (y z) կանոնով, K կոմբինատորի կողքին կոմբինատոր տրամաբանության հիմնարար կառուցվածքային բլոկներից մեկն է: Դրա նշանակությունը կայանում է նրա մինիմալիզմի մեջ. այն կարող է արտահայտել ցանկացած հաշվելի ֆունկցիա, երբ համակցված է K-ի հետ՝ դարձնելով այն լամբդա հաշվարկի, ֆունկցիոնալ ծրագրավորման և ունիվերսալ հաշվարկման ավելի լայն տեսության հիմնաքար:

Ի՞նչ էր պահանջում Wolfram S Combinator Challenge-ը մասնակիցներից ապացուցել:

Սթիվեն Վոլֆրամը կոչ արեց համայնքին պաշտոնապես ապացուցել, որ միայն S կոմբինատորը, առանց իր ավանդական գործընկեր K-ի, ամբողջական է Թյուրինգով: Ստանդարտ SK հիմքը վաղուց արդեն ապացուցված է համընդհանուր, բայց S-ի որպես միակ պարզունակ մեկուսացումը պահանջում էր ապացուցման բոլորովին նոր ռազմավարություններ: Մասնակիցները պարզեցին, թե արդյոք S-ի ինքնուրույն կիրառումը կարող է նմանակել կամայական հաշվարկները, ներգրավելով տրամաբանության մասնագետներին, տիպերի տեսաբաններին և ավտոմատացված թեորեմների ապացուցման սիրահարներին ամբողջ աշխարհում:

Ինչպե՞ս են համակցված տրամաբանությունից ստացված պատկերացումները կապվում իրական աշխարհի ծրագրային հարթակների հետ:

Այսպիսի ապացույցները խորացնում են հաշվարկների բացարձակ նվազագույն պահանջների մեր ըմբռնումը. պատկերացումներ, որոնք ընդգրկում են կոմպիլյատորների դիզայնը, տիպերի տեսությունը և ֆունկցիոնալ լեզվի օպտիմալացումը: Նույնիսկ այնպիսի արտադրանք, ինչպիսին Mewayz-ն է՝ 207 մոդուլից բաղկացած բիզնես ՕՀ, որը հասանելի է app.mewayz.com-ում $19/ամսական արժեքով, ի վերջո աշխատում է աբստրակցիայի շերտերի վրա, որոնք հիմնված են նույն համընդհանուր հաշվարկման սկզբունքների վրա, որոնց նպատակն էր ձևակերպել S կոմբինատորի մարտահրավերը:

Որտե՞ղ կարող եմ գնալ` հետևելու տեսական համակարգչային գիտության ընթացիկ մարտահրավերներին:

Լավագույն ելակետերը ներառում են Վոլֆրամի բնօրինակ մարտահրավերների փաստաթղթերը, լամբդա հաշվարկի ակադեմիական տեքստերը և այնպիսի համայնքներ, ինչպիսիք են Մաթեմատիկայի հիմնադրամների փոստային ցուցակը: Ձեր հետազոտությունը կազմակերպելու կամ տեխնիկական կրթության բիզնեսը կառավարելու համար Mewayz-ն առաջարկում է 207 մոդուլից բաղկացած բիզնես ՕՀ՝ $19/ամսական արժեքով. այցելեք app.mewayz.com՝ ուսումնասիրելու գործիքներ, որոնք ստեղծվել են ամեն ինչ՝ բովանդակության հրապարակումից մինչև հաճախորդի կառավարում: