Հաշվարկային մրցավազքը հասել է մաթեմատիկա
Մաթեմատիկոսներ Տրիստան Բակմաստերը և Լևենտ Ալպյոգեն բեկումնային արդյունք են գրանցել Էյլերի հավասարումների ուսումնասիրության մեջ՝ ապացուցելով վերջավոր ժամանակում քայքայումը եռաչափ Էյլերի հավասարումների համար։ Հետազոտողներն իրենց աշխատանքում ակտիվորեն օգտագործել են արհեստական բանականության գործիքներ, ինչպիսիք են Claude-ը և Codex-ը, իսկ ապացույցները ձևակերպել են Lean համակարգում։ Թեև աշխատանքը կապված չէր ինստիտուցիոնալ նախագծերի հետ, այն մեծ արձագանք է գտել տեխնոլոգիական հանրությունում։ Սոցցանցերում տարածված լուրերը հազարամյակի խնդիրների լուծման մասին դրդել են OpenAI-ին արագացնել մաթեմատիկական բարդ խնդիրների լուծմանն ուղղված նոր մոդելների մշակումը։ Այս դեպքն ընդգծում է ԱԲ-ի աճող դերը հիմնարար գիտության մեջ և տեխնոլոգիական հսկաների միջև մրցակցությունը մաթեմատիկական հաշվարկների ոլորտում, որտեղ ԱԲ-ի օգնությամբ ապացույցների ձևակերպումը դառնում է հետազոտությունների որակի և արագության նոր չափանիշ։
This is a summary. Read the full article at the original source:
HabrԿապակցված
Մի անտեսեք Apple-ի աուդիո հետախուզությունը. այն շատ բան է բացահայտում մեր ապագայի մասին
Apple-ը ավելի ու ավելի է ներառում առաջադեմ աուդիո հետախուզությունը իր կրելի սարքերի էկոհամակարգում՝ ազդարարելով արդյունաբերության լայն տեղաշարժը դեպի…
Anthropic-ի անվտանգության զեկույցը մատնանշում է Claude-ի չարաշահումը կենսաբանական զենքի և հսկողության համար
Anthropic ընկերությունը հրապարակել է անվտանգության համապարփակ զեկույց, որում մանրամասն ներկայացված է, թե ինչպես են չարամիտ օգտատերերը փորձել օգտագործե…
OpenAI-ն ներկայացրել է «ավտոմատացված հետազոտող պրակտիկանտ»՝ որպես լիարժեք AI ինքնավարության ճանապարհային քարտեզի մաս
OpenAI-ն հասել է կարևոր հանգրվանի՝ մինչև 2028 թվականի մարտը լիարժեք ինքնավար AI հետազոտող ստեղծելու իր ծրագրում։ Ընկերությունը ներկայացրել է «ավտոմատա…