Lean

DeepMind-ի արհեստական բանականությունը լուծել է Էրդյոշի ինը խնդիրներ Science-ի հոդվածում

Google DeepMind-ը, որը Alphabet-ի մաս է կազմում, հրապարակել է AlphaProof Nexus-ի գրախոսվող հաշվետվությունը. սա արհեստական բանականության համակարգ է, որը լուծել է մաթեմատիկոս Պոլ Էրդյոշի կողմից առաջադրված ինը բաց խնդիրներ և ապացուցել Ամբողջ թվերի հաջորդականությունների առցանց հանրագիտարանի (OEIS) 44 վարկածներ: Հոդվածը…

OpenAI-ն հետ է կանչել երեք մաթեմատիկական աշխատություն՝ նշանի սխալի պատճառով

OpenAI-ն հետ է կանչել հոկտեմբերի 6-ին հրապարակված 722 մաթեմատիկական ձեռագրերից երեքը՝ դրանք հրապարակելուց մեկ օր էլ չանցած: Ընկերությունը հայտնաբերել է նշանի սխալ, որը խաթարել է մեկ աշխատության փաստարկը և այն կառուցվածքը, որից կախված էին երկու այլ աշխատություններ: Այն նաև վերանայել…

Հետազոտողները OpenAI-ի Նավիե-Ստոքսի ապացույցում անհամապատասխանություն են հայտնաբերել

Մաթեմատիկոսները ստուգում են OpenAI-ի կողմից հոկտեմբերի 6-ին հրապարակված արհեստական բանականության միջոցով ստեղծված ապացույցների մեծ փաթեթը, և նրանց հայտնաբերած որոշ փաստեր կասկածներ են հարուցում: Քեմբրիջի հետազոտողների թիմը հայտնում է, որ ընկերության նախկին Նավիե-Ստոքսի ապացույցի մարդու համար ընթեռնելի և համակարգչով ստուգելի տարբերակները…

OpenAI-ն հրապարակել է չթողարկված AI մոդելի կողմից ստեղծված 722 մաթեմատիկական աշխատանք

Երեքշաբթի՝ հոկտեմբերի 6-ին, OpenAI-ը հրապարակային GitHub պահոցում տեղադրել է 722 մաթեմատիկական ձեռագիր, որոնք դասակարգվել են 372 «արդյունքների ընտանիքների»։ Ընկերությունը հայտնում է, որ դրանք ստեղծվել են չթողարկված ներքին առաջատար մոդելի կողմից։ Scientific American-ը հաղորդում է, որ պահոցը հասանելի է դարձել EDT…

Anthropic-ի Claude-ը համակարգչային եղանակով ապացուցել է Ֆերմայի վերջին թեորեմը

Anthropic ընկերությունը հինգշաբթի հայտարարեց, որ իր Claude արհեստական բանականության մոդելը ավարտին է հասցրել Ֆերմայի վերջին թեորեմի առաջին համակարգչային ապացույցը, որը մաթեմատիկայի ամենահայտնի արդյունքներից է։ 11 օրվա ընթացքում հիմնականում ինքնուրույն աշխատելով՝ Claude-ը գրել է ապացույցը Lean ծրագրավորման լեզվով՝ ստեղծելով 13 միլիոն…