Ինչպես են աշխատում AI մաթեմատիկական լուծիչները և ինչու լավագույնները երկու շարժիչ են օգտագործում

Եթե չաթբոտը երկար ինտեգրալ լուծելիս մեջտեղում սխալվում է թվաբանության վրա, դա պատահական թերություն չէ։ Ինքնավստահ սխալ պատասխան տվող գործիքն ավելի վատ է, քան բացահայտ ձախողվողը, ուստի ճշգրիտ լուծիչները խնդիրը լուծում են հենց նախագծով։

Առաջին փուլ. խնդրի մուտքագրումը

Տեսախցիկի վրա հիմնված լուծիչները սկսում են մաթեմատիկական նշանների համար հարմարեցված OCR-ով։ Տպագիր դասագրքային խնդիրները բարձր ճշգրտությամբ են անցնում, իսկ ձեռագիրը այլ պատմություն է. ճանաչման մակարդակը տատանվում է մոտավորապես 80-95 տոկոսի սահմաններում՝ կախված գործիքից ու գրողից, իսկ կոտորակները, աստիճանները և ներդրված արտահայտությունները ամենից հաճախ են տուժում։

Այս փուլի վտանգավոր հատկությունն այն է, որ սխալներն այստեղ լուռ են. սխալ կարդացված աստիճանը սխալի հաղորդագրություն չի առաջացնում, այն տալիս է բոլորովին այլ խնդրի վավեր լուծում։ Դրա համար լավ հավելվածները լուծելուց առաջ ցույց են տալիս ճանաչված արտահայտությունը։ Մուտքագրված բառային խնդիրները անցնում են բնական լեզվի շերտով։

Երկրորդ փուլ. հաշվարկը CAS-ով

Բուն մաթեմատիկան ամենալավը կատարում է համակարգչային հանրահաշվի համակարգը։ CAS-ը սիմվոլիկ արտահայտությունները վերափոխում է կանոններով. վերլուծում է արտադրիչների, պարզեցնում, ածանցում, ինտեգրում և ճշգրիտ լուծում հավասարումները։ Wolfram Alpha-ն աշխատում է Mathematica-ի վրա, իսկ շատ գործիքներ օգտագործում են բաց կոդով շարժիչներ, օրինակ SymPy։ Կարևորն այն է, որ CAS-ը չի գուշակում. այն կա՛մ կիրառում է վավեր կանոն, կա՛մ ձախողվում է։

Երրորդ փուլ. բացատրությունը LLM-ով

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

Սակայն եթե LLM-ին մենակ վստահես հաշվարկը, հենց նա է դառնում թույլ օղակը։ Մոդելը տեքստ է կանխատեսում, դրա համար երկար բազմաքայլ հաշվարկներում երբեմն կորցնում է նշանը կամ սխալ բանաձև կիրառում։ Մտածողության վրա կենտրոնացած մոդելները փակել են այդ բացը, բայց հաշվարկային ծանր խնդիրներում դեռ զիջում են CAS-ին։

Հիբրիդ նախագիծը և ճշգրտության շրջումը

Այդ պատճառով ամենաուժեղ լուծիչները աշխատանքը բաժանում են. CAS-ը տալիս է ճիշտ պատասխանը, իսկ LLM-ը բացատրում է, թե ինչպես հասան դրան։ Մասնագիտացված հավելվածները, ինչպիսիք են Photomath-ը, Mathway-ն ու Symbolab-ը, դասագրքային խնդիրները ճիշտ են լուծում դեպքերի 90-98 տոկոսում և հաղթում չաթբոտներին մաքուր հավասարումների վրա, իսկ բառային խնդիրներում դասակարգումը շրջվում է։

Գործնական խորհուրդը մաթեմատիկա անող ապրանք կառուցողներին սա է. հաշվարկն ու բացատրությունը պահիր առանձին բաղադրիչներում և երբեք թույլ չտաս, որ լեզվական մոդելը կատարի թվաբանություն, որը CAS-ը ճշգրիտ կանի։ Անվճար տարբերակները (Microsoft Math Solver, GeoGebra և չաթբոտները) լավ ծածկում են ստանդարտ ծրագիրը։