Anthropic-ը Claude-ի օգնությամբ 11 օրում ձևակերպել է Ֆերմայի վերջին թեորեմը

Anthropic ընկերությունը հաջողությամբ օգտագործել է իր Claude AI մոդելը՝ Ֆերմայի վերջին թեորեմի համակարգչային ստուգելի ձևակերպումը ստանալու համար։ Նախագիծը, որի համար մաթեմատիկոսները կանխատեսում էին տարիների աշխատանք, ավարտվել է ընդամենը 11 օրում՝ հիմնականում ինքնուրույն աշխատանքի շնորհիվ։ Արդյունքում ստացված ապացույցը պարունակում է 13 միլիոն տող Lean կոդ՝ զգալիորեն գերազանցելով գոյություն ունեցող Mathlib գրադարանի ծավալը։ Claude-ի գործակալները հասել են այս արդյունքին՝ ապացուցելով ավելի քան 30,000 թեորեմ՝ նվազագույն մարդկային միջամտությամբ։ Այս ձեռքբերումը հնարավոր է դարձել Prove2Me ծրագրային գործիքի շնորհիվ, որն օգնել է արհեստական բանականությանը կողմնորոշվել հետազոտական բարդ գործընթացներում։ Թեև 11-օրյա ժամկետը ընդգծում է ժամանակակից AI-ի արդյունավետությունը, այն նաև ցույց է տալիս բարդ մաթեմատիկական ապացույցների ձևակերպման աշխատատարությունը։ Այս հաջողությունը հաջորդում է Ռիմանի զետա ֆունկցիայի վերաբերյալ Anthropic-ի վերջին աշխատանքներին և արտացոլում է AI լաբորատորիաների միտումը՝ լուծելու դասական մաթեմատիկական խնդիրներ՝ իրենց մոդելների տրամաբանական կարողությունները ցուցադրելու համար։