Хак по рекурсивному самоулучшению - Формальная верификация в математике

Одна неделя. Неразрешенные проблемы в математике. Машинно проверенные результаты. Присоединяйтесь к глобальному конкурсу по формализации математики, решению открытых проблем и созданию проверяемых публичных результатов с любым сочетанием человеческого мышления и ИИ. В последние недели мы видели мировые новости о достижениях ИИ в самых сложных математических задачах - Задача Миллениума Наваье-Стокса и Конъектура Якоби. На этой неделе мы приглашаем вас учиться и хакать с инструментами и навыками, которые начинают появляться в этой новой эре математики - рекурсивные петли ИИ. Мы будем работать над 6 открытыми проблемами в математике - каждая из которых оценена по сложности и формализована через Атлас сложности открытых проблем Улама. Этот хак открыт для всех, кто изучал высшую математику в рамках своей университетской степени, включая математику, физику, инженерию и информатику. 6 открытых проблем определены здесь - https://app.autolab.ai/lists/alejandrozu/openmathUlam Атлас сложности открытых проблем - https://www.unsolvedmath.com/Full описание конкурса и правила - https://rsihouse.ai/openmath В комнате: исследователи из MIT, Гарварда, Стэнфорда, DeepMind и Meta. Со-ведущие: RSI House, Autolab, Sundai Club.------ ✨Лично и виртуально ✨ Очно мероприятие пройдет в течение одного дня в воскресенье 27 сентября в Инновационных лабораториях Гарварда. Виртуальный конкурс пройдет онлайн, параллельно, и ссылка на Zoom будет предоставлена всем принятым участникам. ✨Расписание✨ ✨Что такое Sundai✨ Sundai - крупнейшее сообщество хакеров ИИ, возникшее в Гарварде и MIT. Как Sundai, мы провели более 130 хаков подряд за последние 2,5 года - по одному в каждое воскресенье без остановки.✨Что такое Autolab✨ Платформа для автодоследования и рекурсивного самоулучшения. Autolab.ai запускает ваши ML-эксперименты за вас - агенты планируют, запускают и оценивают тысячи тренировочных запусков параллельно на ваших GPU, в рамках ваших оценок. ✨Наша миссия в RSI House ✨ "Ускорить темпы взрыва интеллекта" Условия участия: Присоединяясь к этому мероприятию, вы соглашаетесь заботиться и проявлять бдительность касательно следующего: оставляйте комнату в том состоянии, в котором вы ее нашли. Все белые доски, стулья и столы должны быть очищены и rearranged, как вы их нашли. Все мусор должен быть в мусорном ведре. не позволяйте незнакомцам входить в любое здание за вами, где проходит мероприятие. Если вы видите кого-то, кого не знаете и кто вам кажется подозрительным, пожалуйста, немедленно сообщите нам об этом. используйте только специальные места для хаков. Если вы не уверены - спросите явно. уважайте и учитывайте других, кто может находиться в здании и учиться или работать. - если вы не уверены - всегда спрашивайте. Вы соглашаетесь с этими правилами, приходя на мероприятие.