Newsletter Subscribe
Enter your email address below and subscribe to our newsletter
[forminator_form id="25163"]

anthropic+1theaiinsider+1theaiinsider+1Anthropic ընկերության Claude արհեստական բանականության չհրապարակված հետազոտական տարբերակը հասել է Ռիմանի վարկածի հետ կապված առանցքային մաթեմատիկական սահմանի ամենամեծ բարելավմանը՝ Ռիմանի զետա ֆունկցիայի ոչ տրիվիալ զրոների մասնաբաժինը կրիտիկական գծի վրա 41.6 տոկոսից հասցնելով 67.2 տոկոսի։
Anthropic-ը արդյունքը հրապարակել է օգոստոսի 10-ին՝ նշելով, որ այն Ռիմանի վարկածը լուծելու փորձի անսպասելի կողմնակի արդյունք է։ Այս խնդիրը 1859 թվականից ի վեր մնում է չլուծված և Clay մաթեմատիկական ինստիտուտի կողմից գնահատվում է 1 միլիոն դոլար:anthropic
Փորձը սկսվել է այն ժամանակ, երբ Anthropic-ի աշխատակից Ջարեդ Սամները, ով մաթեմատիկոս չէ, Claude-ին առաջարկել է «լուրջ փորձ կատարել» Ռիմանի վարկածի ուղղությամբ՝ բոլոր մաթեմատիկական որոշումները թողնելով մոդելին։ Claude-ը ձախողվել է այդ առաջադրանքում, բայց պատահաբար հանգել է այլ արդյունքի:anthropic
Claude Code-ում երկու նստաշրջանների ընթացքում մոդելը գեներացրել է 31 միլիոն ելքային թոքեն։ Առաջին փորձը հանգեցրել է մոտ 650 անհաջող գաղափարի։ Այնուհետև Claude-ը մեկուկես օրվա ընթացքում համակարգել է մոտ 60 ենթագործակալ, կատարել 2400 shell հրաման և գրել հարյուրավոր Python սկրիպտներ։ Ենթագործակալները հազարավոր թվային ստուգումներ են անցկացրել հայտնի զետա զրոների նկատմամբ և վերանայել միմյանց աշխատանքը:theaiinsider+1
Սամների մասնակցությունը հիմնականում սահմանափակվել է քաջալերող հաղորդագրություններով, ինչպիսիք են «շարունակիր» և «հավատա քեզ», ինչը, ըստ Anthropic-ի, օգնել է Claude-ին հաղթահարել սկզբնական թերահավատությունը, որ ինքը կարող է առաջընթաց գրանցել նման լավ ուսումնասիրված խնդրի շուրջ:anthropic
Արդյունքը չի ապացուցում Ռիմանի վարկածը, որը կպահանջեր ցույց տալ, որ ոչ տրիվիալ զրոների 100 տոկոսը գտնվում է կրիտիկական գծի վրա։ Փոխարենը, Claude-ը համադրել է մաթեմատիկոսներ Բալույոտի, Գոլդսթոնի, Սուրիաջայայի և Թյորնեյջ-Բաթերբոյի վերջին աշխատանքները, որոնք ընդլայնել են Հյու Մոնտգոմերիի 1973 թվականի մեթոդները, Էնրիկո Բոմբիերիի 2000 թվականի հոդվածի հետ:theaiinsider+1
Նախկին 41.6 տոկոս սահմանը ներկայացնում էր մարդ հետազոտողների տասնամյակների աստիճանական առաջընթացը։ Claude-ը մեկ քայլով գրեթե կրկնապատկել է այդ ցուցանիշը։ Anthropic-ի տեխնիկական նկարագրության մեջ նշվում է, որ առանցքային պատկերացումը եղել է կրիտիկական գծի վրա և դրանից դուրս զրոները միասնական մաթեմատիկական շրջանակում դիտարկելը, այլ ոչ թե առանձին:anthropic+1
Anthropic-ի երկու մաթեմատիկոսներ՝ Լևենտ Ալփյոգեն և Ռալֆ Ֆուրմանը, ուսումնասիրել են աշխատանքը։ Արտաքին թվերի տեսաբաններ Բրայան Կոնրին և Դեն Գոլդսթոնը նույնպես հրատապ կարգով վերանայել են հոդվածը։ Claude-ը նաև Lean լեզվով ստեղծել է պաշտոնական ապացույց, որն անցել է ստանդարտ ստուգումը:neowin+1
Anthropic-ը հրապարակել է Claude-ի հոդվածը, գործընթացի մանրամասն տեքստերը և GitHub պահոցը, որը պարունակում է Lean ֆորմալիզացիան։ Ընկերությունը զգուշացրել է, որ Claude-ի մեթոդները, ըստ երևույթին, չեն հանգեցնի Ռիմանի ամբողջական վարկածի ապացուցմանը:anthropic+1
Արդյունքը համալրում է բաց մաթեմատիկական խնդիրներին ԱԲ-ի մասնակցության արագացող միտումը։ 2026 թվականի սկզբին Anthropic-ի հետազոտողը օգտագործել էր Claude-ի ավելի նոր մոդելը՝ Յակոբյանի վարկածը հերքելուն օգնելու համար, որը ևս երկար ժամանակ չլուծված խնդիր էր։ Anthropic-ը այս բացահայտումը ներկայացրել է ոչ թե որպես լուծված մրցանակային խնդիր, այլ որպես ապացույց, որ ԱԲ համակարգերը սկսում են ընդլայնել գոյություն ունեցող մաթեմատիկական հետազոտությունները, այլ ոչ թե պարզապես վերարտադրել հայտնի արդյունքները:officechai+1