PSI-ն հայտարարում է, որ Anthropic-ի AI-ն ապացուցել է քվանտային վարկածը

Physical Superintelligence (PSI) ֆիզիկայի վրա կենտրոնացած AI ստարտափը ուրբաթ օրը՝ նոյեմբերի 6-ին, հայտարարեց, որ իր կողմից ստեղծված հետազոտական համակարգը ապացուցել է Աարոնսոն-Ամբայնիսի վարկածը՝ քվանտային բարդության մի խնդիր, որը բաց էր մնացել 2008 թվականից։ Ապացուցումը կատարվել է Anthropic-ի հանրությանը անհասանելի մոդելի օգնությամբ։ Ընկերության տվյալներով՝ համակարգը աշխատանքի երրորդ օրը ստացել է ամբողջական ապացույց, որը հաստատվել է Lean օգնական ծրագրի կողմից։ Արդյունքը դեռ չի անցել գիտական գրախոսություն։ Այս պահին սա ընկերության պնդումն է, սակայն աշխատությունը և մեքենայական ստուգում անցած ապացույցը հրապարակային են, ինչը թույլ է տալիս արտաքին փորձագետներին ստուգել այն։psi.inc

Ինչ է պնդում ապացույցը

Վարկածը հարց է բարձրացնում, թե արդյոք քվանտային համակարգիչները կարող են էքսպոնենցիալ ավելի արագ լինել սովորականներից պատահական մուտքային տվյալների դեպքում, որոնք գրեթե երբեք չեն պարունակում թաքնված օրինաչափություններ, որոնք օգտագործում են Շորի ֆակտորիզացիայի մեթոդի նման ալգորիթմները։ Աարոնսոնը և Ամբայնիսը ցույց տվեցին, որ եթե սահմանափակ ցածր աստիճանի պոլինոմների մասին նրանց պնդումը ճիշտ է, ապա քվանտային արագացումը պատահական տվյալների դեպքում կլինի առավելագույնը պոլինոմիալ։ PSI-ի հայտարարության մեջ ասվում է. "քվանտային համակարգիչը չի կարող էքսպոնենցիալ շատ որոնումներ խնայել, եթե տողը չունի հազվադեպ օրինաչափություն"։ Թեորեմը սահմանափակում է, թե քանի անգամ է ալգորիթմը կարդում իր մուտքային տվյալները, այլ ոչ թե ընդհանուր հաշվարկային ժամանակը, ինչը տեղ է թողնում գործնական քվանտային առավելությունների համար։thequantuminsider.com+1

Առաջին ապացույցը տվեց ավելի թույլ սահման։ Այն բանից հետո, երբ PSI-ն համակարգը ուղղեց նմանատիպ բաց խնդիրների, արդյունքը երկու անգամ բարելավվեց, և Lean-ը ընդունեց վերջնական տարբերակը։ Արգումենտը հետևում է Շաչար Լովետի և Ջիապենգ Ժանգի պլանին։ Այն փոխարինում է նրանց կողմից որպես վարկած թողնված անհավասարությունը նորով, որն ապացուցվել է դետերմինանտի միջոցով մուտքային պարամետրերի զուգակցմամբ։psi.inc

Մարդկային դերերը և ստուգումները

PSI-ի աշխատակից Դեյվիդ Տուրտուրեանը կառուցել և գործարկել է համակարգը, մոդելին հանձնարարել է կազմել աշխատությունը և պատասխանատու է դրա ճշտության համար։ Խորհրդատուներ Ջիմ Հալվերսոնը և Ֆիալա Շանահանը աուդիտի են ենթարկել ապացույցը և մեկնաբանել ֆորմալիզացիան։ Նախագծի GitHub պահոցի համաձայն՝ ապացույցը, աշխատությունը և ֆորմալիզացիան ստեղծվել են AI մոդելների կողմից։ Նշվում է նաև, որ Lean թեորեմները չեն պարունակում տեղադրվածներ կամ լրացուցիչ աքսիոմներ և վերստուգվել են երկու անկախ միջուկային իրականացումներով։ Ընթերցողները դեռ պետք է հաստատեն, որ ֆորմալ պնդումը համընկնում է օրիգինալ վարկածի հետ։github.com+1

Սթենֆորդի հետազոտողներ Գայ Բլանկը, Ջորդան Դոկտերը, Կարմեն Ստրասլեն և Լի-Յանգ Տանը օգոստոսին լուծել են մասնավոր դեպք։ Նրանք կարդում են ամբողջական ապացույցը և PSI-ի կողմից հրապարակված հայտարարության մեջ այն անվանել են "հսկայական արդյունք", որտեղ "ամեն ինչ միավորված է բավականին կախարդական ձևով"։psi.inc

Անպատասխան հարցեր

PSI-ն չի նշել, թե Anthropic-ի որ մոդելն է օգտագործել, իսկ Anthropic-ը մեկնաբանության խնդրանքին չի պատասխանել։ Այս հայտարարությունը հաջորդեց OpenAI-ի սեպտեմբերյան պնդմանը, որ նրանք լուծել են Նավիե-Ստոքսի հավասարումների հետ կապված խնդիր, ինչը սրում է բանավեճերը այն մասին, թե ինչ է նշանակում AI-ն մաթեմատիկոսների կարիերայի համար։businessinsider.com