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

www.rsihouse.ai: - кімната, повна людей, які працюють над РСВ - кожної неділі - побудована з використанням найсучасніших інструментів та методів досліджень - народжена з MIT і Гарварду. 135+ хаків. - прагнемо перевищити норму. ціліть вище. прискорюйте інтелект. Слідкуйте за нашим календарем для отримання додаткових подій. Тема цього тижня: Формальна верифікація в математиці. За останні кілька тижнів ми стали свідками значних успіхів у найскладніших проблемах математики, включаючи вузькі рішення для чоловічих рівнянь Нав'є-Стокса та гіпотези Якобі. Цього тижня ми запрошуємо вас запустити рекурсивні цикли, щоб вирішити нерозв'язані проблеми в математиці. Кожна проблема оцінюється за складністю та формалізується через Атлас складності відкритих проблем Улама. Цикл вже запущено. Більше ніж 80% коду Anthropic написано Клодом. Джефф Дін покинув Google після 30 років, щоб створити цикл для науки. Встановлення напрямку - це роль, що залишилася за людьми. Складна частина: огляд Ліліан Венг з інженерії обручів стверджує, що найближчий шлях до РСВ проходить через обруч, а не через переписування ваги. Самоудосконалювальний мета-обруч вже в межах досяжності. Реперна точка - це евалюація, оскільки цикл настільки ж добрий, як його оцінювач. У кімнаті: дослідники з MIT, Гарварду, Стенфорду, DeepMind і Meta. Співведенням займаються Autolab, Sundai Club.------Ми створимо агентів, які рекурсивно самоудосконалюються, або навчаємо моделі, використовуючи принципи авто-дослідження. Кожної неділі. ✨Розклад✨ 10:00 Вступи 10:15 Презентація ідей та формування команд 14:00 Перше збирання та обід 20:00 Друге збирання та презентації ✨Цього тижня нас щедро приймає Antler✨ Antler є венчурною компанією на початковій стадії зосередженою на засновниках початкової стадії та спільноті резидентів технічних підприємців та операторів. Резиденти поглинуті у спільноту з усім необхідним для того, щоб досліджувати, що буде далі, будувати та масштабувати з блискавичною швидкістю. Для отримання додаткової інформації про Antler та щоб подати заявку на резидентство 👉 https://www.antler.co/location/us ✨Що таке Sundai✨ Sundai є найбільшою спільнотою хакерів штучного інтелекту, що виникла з Гарварду та MIT, яка зараз будує ґрунтовну спільноту РСВ тут в Сан-Франциско. Щотижня ми досліджуємо межі рекурсивного самоінтелекту. Як Sundai, ми провели більше ніж 130 хаків поспіль протягом останніх 2,5 років - один за кожну неділю без зупинок.✨Що таке Autolab✨ Платформа для авто-дослідження. Autolab.ai запускає ваші ML експерименти за вас - агенти планують, запускають і оцінюють тисячі навчальних запусків паралельно, на ваших GPU, відповідно до ваших евалюацій. ✨Наша місія в RSI House ✨ "Прискорити темп вибуху інтелекту" ✨Наші принципи в RSI House✨ Будувати: мета RSI House полягає в тому, щоб зібратися і будувати амбіційні проекти, відповідно до нашої місії. Кожної неділі. Випускати: покиньте локальний хост. Розгортайте свої знання у вигляді навченої моделі або агента, доступного в мережі, або детального технічного блогу. Умови участі: Приєднуючись до цієї події, ви погоджуєтеся дотримуватися та бути обережними щодо наступних: залишайте кімнату в такому вигляді, в якому ви її знайшли. Усі білих дошки, стільці та столи повинні бути очищені та переставлені так, як ви їх знайшли. Усі відходи повинні бути в смітнику. не дозволяйте жодним незнайомцям проходити за вами в будь-яку будівлю, де відбувається Sundai. Якщо бачите когось, кого не впізнаєте і хто виглядає підозріло, будь ласка, негайно дайте нам знати. використовуйте лише відведені місця для хаків. Якщо сумніваєтеся - запитайте явно. бути ввічливим і дбайливим до інших, хто може бути в будівлі і займається навчанням або роботою. - якщо не впевнені - завжди запитуйте. Ви погоджуєтеся з цими правилами, приходячи на подію.