News

В хакатоне участвовало 900 команд из 30+ стран. В
финальном туре команды встретились в Абу-Даби чтобы создать проект на базе открытой 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. Формализованное доказательство вне зависимости от длины и сложности в результате можно точно проверить на логическую обоснованность и истинность

Создай проект, который использует K2 Think (открытую 32B reasoning-модель от MBZUAI × G42, созданную для глубокого мышления). Хакатон проходит в два этапа:

• Онлайн Global Idea Call: аппликанты сдают одностраничный документ, где описана идея проекта с применением K2 Think.
Дедлайн: 26 октября (10 утра по Астане)

• 48-часовой финал в Абу-Даби для топ-10 на кампусе MBZUAI, который пройдет 7-9 ноября

Хакатон открыт для всех участников по всему миру без возрастных ограничений. Финалисты получат travel grant до AED 20 000 на человека (перелёт, проживание, питание).

Cсылка на регистрацию: hackathon.k2think.ai/#apply

На командном соревновании было предложено предложено 6 задач, охватывающих классификацию, регрессию и временные ряды.
Задачи необходимо было решить за 24 часа.

Ребята заняли абсолютное третье место и были приглашены на финальный ивент, который пройдет в Тегеране 30 октября.