Қазақстандық Axiom командасы K2 Think Hackathon жеңімпазы атанды

Хакатонға 30-дан астам елден 900 команда қатысты. Финалда командалар Абу-Дабиде кездесіп, ашық 32B K2 Think тілдік моделінің негізінде 48 сағатта жоба жасады. Финалистер арасында Google DeepMind, Cornell University, Harvard Medical School, Hong Kong University of Science and Technology, MBZUAI және басқа ұйымдардың командалары болды.

Қазақстандық Axiom командасы жеңімпаз атанды: Бақыт Момынов, Нұрмұхамед Зибатқалиев және Александр Шакиев.

Математикалық олимпиадалардағы тәжірибесін пайдаланып, команда Math Research and Proof ассистентін ұсынды. Олар K2 Think моделін математикалық дәлелдерді адамның табиғи тілінен формалды, машина оқитын Lean тіліне автоматты AI аударуға бейімдеді. Формалданған дәлелдің ұзындығы мен күрделілігіне қарамастан, оның логикалық негізділігі мен дұрыстығын дәл тексеруге болады.