OpenAI-ը հրապարակեց 722 AI-գեներացված մաթեմատիկական ձեռագիր, Mistral-ը՝ 1T պարամետրերով Le Chonk

OpenAI-ը հրապարակեց 722 AI-գեներացված մաթեմատիկական ձեռագիր

OpenAI-ը հրապարակեց նոր մաթեմատիկական արդյունքների լայն սպեկտր, որոնք ստեղծել է ներսի առաջադիմական մոդելը։ Թողարկումը ներառում է 722 ձեռագիր, խմբավորված 372 ընտանիքի մեջ, որոնք ընդգրկում են 377 մաթեմատիկական խնդիր։ Ընկերությունը հայտնում է, որ մոդելը ամբողջությամբ լուծել է մաթեմատիկայի Top 500 բաց խնդիրներից 90-ը, իսկ մասնակի առաջընթաց դրել է մի քանի հազարամյակի խնդիրների վրա, այդ թվում՝ Ռիմանի վերհիպոթեզի, Հոջիի վերհիպոթեզի և Բիրչի և Սվիներտոն-Դայերի վերհիպոթեզի վրա։

Առանձնահատկերի թվում է կվազի-Ռիմանի վերհիպոթեզը, որը ցույց է տալիս, որ զետա ֆունկցիայի զրոները չունեն 7/8-ից երկար իրական մասով։ Մոդելը նաև որոշել է մատրիցայի բազմապատկման ցուցիչը՝ ոչ ավելի քան 2,25, ինչը բարելավում է նախորդ ռեկորդը՝ մոտավորապես 2,37։ Այլ ապացուցումների մեջ ընդգրկված է Քակեիայի վերհիպոթեզի լուծումը R^3-ում և առաջընթացը Հադվիգեր-Նելսոնի խնդրի վրա, որտեղ ստորին սահմանը 6-ից մինչև 7 է անցել։ OpenAI-ը հայտարարել է, որ գրեթե բոլոր արդյունքները ստացվել են մեկ պրոմպտից, որը տրվել է մեկ AI գործակալին, իսկ ներսի Pro մոդելը յուրաքանչյուր խնդրի վրա միջին հաշվով երեք ժամ է ծախսում։

Ընկերությունը խորհրդակցում է անկախ մաթեմատիկայի և արհեստական բանականության խորհրդատուների խմբի հետ, որը գործում է Institute for Advanced Study-ում։ Սոցիալական ցանցերում մի քանի մաթեմատիկոս զարմանք է արտահայտել արդյունքների հանդես, սակայն դրանցից ոչ մեկը դեռ չի հաստատվել արտաքին հետազոտողների կողմից։

Mistral-ը նախապես թողարկեց 1T պարամետրերով Le Chonk մոդելը

Mistral-ը հանրային նախադիտման ընթացքում թողարկեց Mistral Large 4-ը, այլանունով Le Chonk, մեկ տրիլիոն պարամետրով մոդել, որն ունի 49 միլիարդ ակտիվ պարամետր։ Ընկերությունը հայտնում է, որ ագրեգացված չափանիշների վրա սա ԱՄՆ-ի կամ Եվրոպայի լավագույն բաց կշեռքերով մոդելն է՝ վերջին սերնդի արտադրությամբ կիբերանվտանգության, արտադրության և ֆինանսների աշխատանքային բեռներում։

Mistral-ի խոսքով, մոդելը զրոյից ուսուցվել է 3 800 NVIDIA Grace Blackwell GPU-ի վրա իր եվրոպական տվյալների կենտրոններում, այդ թվում՝ Bruyères-le-Châtel-ի կլաստերում։ Ուսուցման տվյալների մեծ մասը բազմալեզու էր։ Տեստում, որտեղ մոդելներից պահանջվում էր բաց կոդով ծրագրային ապահովման մեջ իրական խոցելիություն վերարտադրել, այնուհետև դրա ուղղումը կատարել, ML4-ը գրանցել է 82%, ինչը ընկերության խոսքով՝ բոլոր մոդելների միջև ամենաբարձրն էր։ Մոդելը DeepSWE v1.1-ում ստացել է 62%։

Բաց կշեռքերի թողարկումը նախատեսված է 27 հոկտեմբերին։ Mistral-ի գործադիր տնօրեն Արթուր Մենշը ասել է, որ մոդելը ուսուցվել է ընկերության սեփական հաշվողական ռեսուրսների վրա և այնտեղում է ծառայում, իսկ ուժեղացման ուսուցման ընթացքում գերակշռության նշան չկա։

Աղբյուրները՝ Techmeme