Рекурсивна самовдосконалення – Формальна перевірка в математиці

Одна неділя. Невирішені проблеми в математиці. Результати, перевірені машинами. Долучайтеся до глобального конкурсу, щоб формалізувати математику, вирішувати відкриті проблеми та створювати перевірені публічні результати з будь-якою комбінацією людського мислення та ШІ. Нещодавно ми спостерігали новини світового рівня про досягнення AI у найскладніших проблемах математики - задачі мільйон-доларового призу Нав'є-Стокса та Конjectура Якобі. Цього тижня ми запрошуємо вас навчитися та зламати з інструментами та навичками, які починають з'являтися в цю нову еру математики - рекурсивні цикли AI. Ми будемо працювати над 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 ✨ "Прискорити темп вибуху інтелекту" Умови участі: Бравши участь у цьому заході, ви погоджуєтеся дбати про наступне: залишити кімнату такою, як ви її знайшли. Усі білборди, стільці та столи повинні бути очищені та переорганізовані, як ви їх знайшли. Усі відходи повинні бути в смітнику. не пускати жодних незнайомців до будь-якої будівлі за вами, де проходить захід. якщо ви бачите когось, кого не впізнаєте, хто виглядає підозріло, будь ласка, дайте нам знати відразу. використовуйте тільки спеціально відведені місця для хаку. якщо не впевнені, запитайте прямо. будьте поважними та уважними до інших, хто може бути в будівлі та навчається або працює. - якщо не впевнені - завжди запитайте. Ви погоджуєтеся з цими правилами, прийшовши на захід.