Зерттеушілер Lean 4 жүйесіндегі StochBench бенчмаркін ұсынды
Қысқаша мазмұны
Ғалымдар стохастикалық процестер саласындағы теоремаларды дәлелдеуге арналған StochBench атты жаңа бенчмарк әзірледі.
Мәтін редакция мен AI көмегімен дайындалды, түпнұсқа сілтемесі көрсетілген
Зерттеушілер үлкен тілдік модельдердің математикалық теоремаларды дәлелдеу қабілетін бағалауға арналған жаңа StochBench бенчмаркін таныстырды. Lean 4 интерактивті дәлелдеу ортасына негізделген бұл жинақ стохастикалық процестер бойынша магистратура деңгейіндегі 450 тапсырманы қамтиды.
Жоба Mathlib кітапханасында сирек кездесетін бағыттарды, соның ішінде Марков тізбектерін, кездейсоқ серуендерді, мартингалдарды, броундық қозғалысты және стохастикалық талдауды қамтиды. Әрбір тапсырма Lean кодын және табиғи тілдегі түпнұсқа сипаттамасын біріктіреді.
Сынақ барысында Opus 4.8 негізіндегі АИ-агент бір есепке 15 минуттық шектеу аясында 34,9% нәтиже (450-ден 157 дәлел) көрсетті. Бұл көрсеткіш жүйенің күрделі қолданбалы математика салаларында одан әрі дамуды қажет ететінін көрсетеді.
Дереккөз: arXiv cs.CL
Түпнұсқаны оқу →Соңғы жаңалықтар
«ЦентрКредит Банкі» KASE-де 18,2 млрд теңгеге өз акцияларын сатып алды
«ЦентрКредит Банкі» АҚ Қазақстан қор биржасында 18,2 млрд теңге сомасына 4,1 млн дана өз жай акциясын кері сатып алды.
Дереккөз: KASE
Home Credit Bank облигациялары KASE-нің Т+ тізіміне енгізіледі
8 қазаннан бастап Home Credit Bank-тің KZQ000001213 (HCBNe1) облигациялары Қазақстан қор биржасының Т+ тізіміне қосылады.
Дереккөз: KASE
KASE 2026 жылғы қыркүйектегі биржа мүшелерінің белсенділік рейтингтерін жариялады
Қазақстан қор биржасы өзінің интернет-ресурсында 2026 жылдың қыркүйек айындағы мүшелер белсенділігінің рэнкингтерін ұсынды.
Дереккөз: KASE
KASE индексі 0,25%-ға өсіп, 7 862,81 тармаққа жетті
7 қазандағы сауда-саттық қорытындысы бойынша KASE индексі 0,25%-ға өсіп, 7 862,81 деңгейінде белгіленді.
Дереккөз: KASE