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

www.rsihouse.ai: - комната, полная людей, работающих над RSI - каждое воскресенье- построена с использованием последних исследовательских инструментов и методов- родом из MIT и Гарварда. 135+ хаков. - стремитесь превзойти норму. ставьте более высокие цели. ускоряйте интеллект. Следите за нашим календарем для получения информации о других событиях. Тема на этой неделе: Формальная верификация в математике. В последние недели мы стали свидетелями существенного прогресса в решении самых сложных проблем в математике, включая узкие решения уравнений Навье-Стокса и гипотезу Якоби. На этой неделе мы приглашаем вас запустить рекурсивные циклы, чтобы решить нерешенные проблемы в математике. Каждая проблема оценена по сложности и формализована через Атлас сложности открытых проблем Улама. цикл уже закрутился. Более 80% кода Anthropic написано Клодом. Джефф Дин покинул Google после 30 лет, чтобы построить цикл для науки. Установление направления – роль, оставшаяся за людьми. сложная часть: обзор Лилиан Уэнг по harness engineering утверждает, что путь к RSI в краткосрочной перспективе проходит через harness, а не через переписывание веса. Самоулучшающийся мета-harness находится в пределах досягаемости. У bottleneck являются evals, потому что цикл только так хорош, как его оценщик. в комнате: исследователи из MIT, Гарварда, Стэнфорда, DeepMind и Meta. Совместно организовано Autolab, Sundai Club. ------ Мы будем строить агентов, которые рекурсивно самоулучшаются, или обучать модели, используя принципы автоисследования. Каждое воскресенье. ✨Расписание✨ 10:00 Введение 10:15 Презентация идей и формирование команд 14:00 Проверка #1 и обед 20:00 Проверка #2 и презентации ✨На этой неделе нас щедро принимает Antler✨ Antler - венчурная компания на ранних стадиях с акцентом на основателей на этапе зачатия и сообществе резидентных технологических предпринимателей и операторов. Резиденты погружены в сообщество со всем, что им нужно, чтобы исследовать, что дальше, строить и масштабироваться с молниеносной скоростью. Для получения дополнительной информации о Antler и подачи заявки на участие в качестве резидента 👉 https://www.antler.co/location/us ✨Что такое Sundai✨ Sundai - это крупнейшее сообщество хакеров ИИ, родившееся в Гарварде и MIT, сейчас строящее сообщество RSI на местах здесь, в Сан-Франциско. Каждую неделю мы исследуем пределы рекурсивного самоинтеллекта. Как Sundai, мы сделали более 130 хаков подряд за последние 2,5 года - один на каждое воскресенье без перерыва. ✨Что такое Autolab✨ Платформа для автоисследования. Autolab.ai запускает ваши ML-эксперименты за вас - агенты планируют, запускают и оценивают тысячи обучающих запусков параллельно, на ваших GPU, по отношению к вашим evals. ✨Наша миссия в RSI House✨ "Ускорить темпы взрыва интеллекта" ✨Наши принципы в RSI House✨ Создавать: цель RSI House – собираться и строить проекты, соответствующие нашей миссии. Каждое воскресенье. Реализовывать: выходить за пределы localhost. Разверните ваши знания в качестве обученной модели или агента, доступного в интернете, или подробной технической блога. Условия участия: Присоединяясь к этому событию, вы соглашаетесь следить за следующими правилами: оставьте комнату в том виде, в котором вы ее нашли. Все белые доски, стулья и столы должны быть очищены и rearranged, как вы их нашли. Все мусор должно быть в мусорном ведре. не позволяйте посторонним входить в любое здание за вами, где проходит sundai. если вы видите кого-то, кого не знаете и кто вызывает подозрения, немедленно дайте нам знать. используйте только предназначенные пространства для хака. если не уверены - спросите конкретно. будьте уважительными и внимательными к другим, кто может быть в здании и учится или работает. - если не уверены - всегда спрашивайте. Вы соглашаетесь с этими правилами, приходя на мероприятие.