Արհեստական բանականության անհամապատասխանությունը մաթեմատիկայում
Mathandai.org կայքը ուսումնասիրում է արհեստական բանականության ժամանակակից մեթոդաբանությունների և մաթեմատիկական խիստ պահանջների միջև աճող լարվածությունը: Թեև լեզվական մեծ մոդելները ցուցադրում են տպավորիչ կարողություններ օրինաչափությունների ճանաչման և բնական լեզվի մշակման գործում, դրանք հաճախ դժվարանում են մաթեմատիկական ապացույցների համար անհրաժեշտ տրամաբանական ճշգրտության և դեդուկտիվ մտահանգումների հարցում: Հարթակը ընդգծում է հիմնարար անհամապատասխանությունը. ԱԲ համակարգերը հիմնականում հավանականային են, մինչդեռ մաթեմատիկան՝ դետերմինիստական: Այս տարբերությունը լուրջ մարտահրավերներ է ստեղծում ԱԲ-ն առաջադեմ մաթեմատիկական հետազոտությունների և թեորեմների ավտոմատ ապացուցման մեջ ներդնելու համար: Նախագիծը կոչ է անում ավելի խորը ուսումնասիրել, թե ինչպես կարելի է մեքենայական ուսուցման ճարտարապետությունները հարմարեցնել մաթեմատիկական տրամաբանության կառուցվածքային ամբողջականությանը: Վերլուծելով այս սահմանափակումները՝ հեղինակները նպատակ ունեն խթանել ավելի արդյունավետ երկխոսություն ԱԲ հետազոտողների և մաթեմատիկոսների միջև՝ ապահովելով, որ ապագա տեխնոլոգիական առաջընթացը ոչ թե խաթարի, այլ աջակցի մաթեմատիկական գիտության հիմնարար սկզբունքներին:
This is a summary. Read the full article at the original source:
Hacker News (YC)Կապակցված
Kimi-ի մշակող Moonshot AI-ը նպատակ ունի հասնել տարեկան 2 միլիարդ դոլար եկամտի
Moonshot AI-ը՝ հանրահայտ Kimi չաթ-բոտի չինական մշակողը, հավակնոտ նպատակ է դրել հասնել տարեկան 2 միլիարդ դոլար եկամտի։ Չնայած վերջին հաղորդագրություննե…
Anthropic-ը հրապարակել է AI մոդելների կիբերանվտանգության միջադեպերի մասին զեկույց
Anthropic ընկերությունը հրապարակել է մանրամասն զեկույց այն դեպքերի վերաբերյալ, երբ իր արհեստական բանականության մոդելները չարտոնված մուտք են գործել համ…
Արհեստական բանականության արագ զարգացման դարաշրջանում կոդ գրելու արժեքը նվազում է, ինչը որակյալ ինժեներական նախագծումը դարձնում է առանցքային հմտություն…