Մաթեմատիկոսը «սարսափած է». ԱԲ-ն մեկ շաբաթում հեղաշրջում է մաթեմատիկան

Ընդամենը մեկ շաբաթվա ընթացքում արհեստական բանականության ոլորտի աշխարհի առաջատար երկու ընկերություններ հայտարարեցին արդյունքների մասին, որոնք ցնցեցին մաթեմատիկական հանրույթը. OpenAI-ը պնդում է, որ լուծել է 90 տարվա պատմություն ունեցող, միլիոն դոլար արժողությամբ մաթեմատիկական խնդիրը, իսկ Anthropic-ը հայտնել է, որ իր Claude ԱԲ-ն ձևակերպել է պատմության ամենահայտնի ապացույցներից մեկը: Այս արագընթաց հայտարարությունները մաթեմատիկոսներին թողել են հիացմունքի և սարսափի երկընտրանքի մեջ:

Հազարամյակի մրցանակի խնդիրներից մեկը տապալվեց

Երեքշաբթի՝ սեպտեմբերի 8-ին, OpenAI-ը հայտարարեց, որ շուրջ 10,000 ԱԲ գործակալներ, որոնք աշխատում են դեռևս չթողարկված և իր GPT-6 Astra-ից ավելի հզոր մոդելի վրա, 88 ժամում լուծել են Նավիե-Ստոքսի հավասարումների լուծումների գոյության և հարթության խնդիրը: Այս խնդիրը, որը 2000 թվականին Քլեյի մաթեմատիկայի ինստիտուտի կողմից սահմանված Հազարամյակի մրցանակի մնացած վեց խնդիրներից մեկն է, հարցնում է, թե արդյոք հեղուկի շարժումը նկարագրող հավասարումները կարող են հանգեցնել հանկարծակի անվերջությունների կամ «պայթյունի»: OpenAI-ի գործակալները եզրակացրել են, որ դա հնարավոր է:cnbc+2

Լուծումը, որը դեռ սպասում է անկախ ստուգման, հիմնված է իսպանացի մաթեմատիկոսներ Դիեգո Կորդոբայի և Լուիս Մարտինես-Զորոայի աշխատանքի վրա, ովքեր մեկ տարվա հետազոտությունների ընթացքում մշակել էին հիմքում ընկած մեթոդը: Սակայն հայտարարությունն անմիջապես ստվերվեց վեճով: OpenAI-ի հրապարակումից ժամեր առաջ Նյու Յորքի համալսարանի (NYU) մաթեմատիկոս Տրիստան Բաքմաստերը հայտարարություն տարածեց՝ պնդելով, որ ինքը և Anthropic-ի հետազոտող Լևենտ Ալփյոգեն աշխատել են նույն խնդրի վրա՝ օգտագործելով Կորդոբայի և Մարտինես-Զորոայի մոտեցումը, և որ OpenAI-ը շտապել է հրապարակել իր արդյունքները՝ իմանալով իրենց առաջընթացի մասին: Բաքմաստերը պնդում է, որ OpenAI-ը փորձել է ազդել աշխատանքի հեղինակային իրավունքի բաշխման վրա:techcrunch+4

Ֆերմայի մեծ թեորեմի ձևակերպումը

Օրեր առաջ Anthropic-ը հայտնեց, որ Claude-ը Lean ապացույցների օգնական համակարգում ստեղծել է Ֆերմայի մեծ թեորեմի առաջին ամբողջական, համակարգչով ստուգված ձևակերպումը: 11 օրվա ընթացքում հիմնականում ինքնուրույն աշխատելով՝ համակարգը գեներացրել է մոտ 13 միլիոն տող կոդ և ճանապարհին ապացուցել 29,500 միջանկյալ թեորեմներ: Լոնդոնի Իմպերիալ քոլեջի պրոֆեսոր Քևին Բազարդը, ով ղեկավարում էր նույն ապացույցի ձևակերպման զուգահեռ բազմամյա աշխատանքը, սա անվանեց «ինքնաձևակերպման արտասովոր ձեռքբերում»:aitechdaily+2

Արդյունքը նոր ապացույց չէ. Էնդրյու Ուայլսն ապացուցել է թեորեմը դեռ 1995 թվականին: Այն ավելի շուտ արդեն գոյություն ունեցող ապացույցի մեքենայական ստուգմամբ կոդավորումն է, մի խնդիր, որի լուծումը, ըստ մաթեմատիկոսների կանխատեսումների, տարիներ կպահանջեր:letsdatascience+1

«Ես իսկապես սարսափած եմ»

Այս բեկումնային հայտնագործությունները հետազոտողներին ստիպել են լրջորեն մտորել: Շաբաթ օրը հրապարակված Wired News Corp ↘ 2.07% պարբերականին տված հարցազրույցում Քորնելի համալսարանի մաթեմատիկոս Սթիվեն Ստրոգատցն ասել է, որ ինքը «իսկապես սարսափած է» փոփոխությունների տեմպերից: «Գիտությունը ոգևորիչ է, բայց այն ուղեկցվում է բազմաթիվ մարդկային տարաձայնություններով», նշել է նա: Ստրոգատցը, ով մարդկային ընկալման սահմաններից դուրս գտնվող մաթեմատիկայի մասին պատմող «Մեծ մաթեմատիկա» (Big Math) սպասվող գրքի համահեղինակն է, կորպորատիվ լաբորատորիաների միջև մրցավազքը մասամբ բացատրել է շահութաբեր IPO-ների հեռանկարով: Նա նշել է, որ քանի դեռ ԱԲ-ն արագացնում է մաթեմատիկական հայտնագործությունները, անորոշ են մնում հետևանքները այն հետազոտողների համար, ովքեր իրենց ողջ կարիերան նվիրել են այս խնդրի լուծմանը:wired