OpenAI-ն և Anthropic-ը հայտարարում են հաշվողական տեսության հերքման մասին

OpenAI-ը հոկտեմբերի 26-ին՝ երկուշաբթի օրը, հայտարարեց, որ իր ներքին AI մոդելները հասել են երեք կարևոր արդյունքի: Առաջինը տեղային հարթեցման վարկածի ապացուցումն է բոլոր չափումներում: Երկրորդը՝ Էքսպոնենցիալ ժամանակի վարկածի (ETH) հերքումը: Երրորդը՝ փոխազդող քվանտային դաշտի տեսությունների, ներառյալ քվանտային քրոմոդինամիկայի (QCD), գոյության խիստ ապացույցը: OpenAI-ը ձեռագրերը բնութագրել է որպես «հում հետազոտական տվյալներ»: Ընկերությունը դիմել է արտաքին փորձագետներին՝ որպես «հովիվներ» հանդես գալու համար, և յուրաքանչյուր ոլորտի համար ընտրվել է հրապարակման տարբեր մոտեցում: Scientific American-ը հաղորդում է, որ փորձագետները «դեռ ապշած են», սակայն հրապարակումն արդեն իսկ հակասական է: Հայտարարությունից ժամեր անց Anthropic-ը հրապարակեց ETH-ի սեփական հերքումըopenai.com+1:

Երեք պնդում, երեք հրապարակման պլան

Մաթեմատիկայում տեղային հարթեցման վարկածը 1991 թվականին առաջարկել է Քրիստոֆեր Սոգեն: OpenAI-ը պնդում է, որ դրա ապացուցումը բոլոր չափումներում նաև լուծում է Kakeya-ի և Stein-ի սահմանափակման վարկածները: Ընկերությունը հրապարակել է մոդելի նկարագրությունը և Lean ձևական ապացույցը GitHub-ում: Ռոչեսթերի համալսարանի մաթեմատիկոս Ալեքս Իոսևիչը Al Jazeera-ին ասել է, որ լուրը «սկզբում ցնցող էր» և այն անվանել է «պատմական զարգացում»aljazeera.com+1:

ETH-ի վերաբերյալ OpenAI-ը նշում է, որ իր համակարգը հերքումը գտել է հոկտեմբերի 16-ին, իսկ արդյունքը ձևակերպվել է Lean-ով հոկտեմբերի 17-ին: Վարկածի հեղինակներ Ռասել Իմպալյացոն և Ռամամոհան Պատուրին (UC San Diego) MIT-ի Ռայան Ուիլյամսի հետ միասին ղեկավարում են վերանայումը: OpenAI-ը նաև պարտավորվել է ֆինանսավորել արդյունքին նվիրված համաժողով: Ապացույցը տալիս է 3-SAT-ի ալգորիթմ, որն աշխատում է էքսպոնենցիալ ժամանակից մի փոքր ավելի արագ, սակայն, ինչպես նշում է Scientific American-ը, այն պարտադիր չէ, որ լուծի P ընդդեմ NP խնդիրըopenai.com+1:

Ֆիզիկայի արդյունքը վերաբերում է Yang-Mills-ի հազարամյակի մրցանակային խնդրի գոյության մասին հատվածին, բայց ոչ զանգվածի բացին: Նոբելյան մրցանակակիր Դեյվիդ Գրոսի գլխավորած խումբը որոշել է զերծ մնալ AI-ի կողմից ստեղծված նյութերի հրապարակումից, մինչև իրենք ինքնուրույն չգրեն աշխատանքըopenai.com:

Հակասություններ և մրցակցային ապացույց

Ըստ Scientific American-ի՝ հրապարակումը հակասում է Մաթեմատիկայի և արհեստական բանականության խորհրդատվական խմբի (AGMAI) առաջարկություններին, որը ստեղծվել է հենց OpenAI-ի կողմից: Մոդելը մնում է սեփականատիրական, իսկ դրա հուշումները և մտածողության ընթացքը չեն հրապարակվել: AGMAI-ը կոչ է արել հրապարակել Yang-Mills-ի վերաբերյալ աշխատանքը՝ նշելով, որ «հրապարակումը հետաձգելու գիտական պատճառ չկա»: Նույն զեկույցում նշվում է, որ Anthropic-ի աշխատակիցը և Northwestern-ի մաթեմատիկոսը հանրային կերպով աշխատում էին նույն Yang-Mills-ի խնդրի վրա՝ AI-ի օգնությամբscientificamerican.com:

Երկուշաբթի ուշ երեկոյան Anthropic-ը հրապարակեց «2^o(n) ժամանակի ալգորիթմ 3-SAT-ի համար» վերնագրով աշխատանքը, որը վերագրվում է Claude-ին: Anthropic-ի հետազոտող Լևենտ Ալպյոգեն OfficeChai-ին հայտնել է, որ ներքին մոդելը հիմնական ալգորիթմը գտել է հոկտեմբերի 16-ին «առանց մարդու միջամտության»: Ոչ մի լաբորատորիայի պնդում դեռևս չի անցել գործընկերային վերանայում: Առայժմ վարկածի հեղինակների որոշելիքն է, թե արդյոք պնդվող հերքումը հիմնավոր էofficechai.com: