Rekurencyjne Samodoskonalenie Hack #5 - Weryfikacja Formalna w Matematyce

www.rsihouse.ai: - pokój pełen ludzi pracujących nad RSI - każda niedziela- zbudowany z najnowszymi narzędziami i metodami badawczymi- wywodzący się z MIT i Harvardu. 135+ haków. - dążymy do przewyższenia norm. celuj wyżej. przyspiesz inteligencję. Śledź nasz kalendarz, aby uzyskać więcej wydarzeń. Temat w tym tygodniu: Weryfikacja Formalna w MatematyceW ostatnich tygodniach zaobserwowaliśmy znaczące postępy w najtrudniejszych problemach matematycznych, w tym w wąskich rozwiązaniach dla równania Naviera-Stokesa oraz Konjekturze Jacobiana. ​W tym tygodniu zapraszamy do uruchomienia rekurencyjnych pętli w celu rozwiązania nierozwiązanych problemów matematycznych. Każdy problem jest oceniany według trudności i sformalizowany za pomocą Atlasa Trudności Otwartych Problemów Ulama. pętla już się kręci. Ponad 80% kodu Anthropic jest napisane przez Claude'a. Jeff Dean opuścił Google po 30 latach, aby zbudować pętlę dla nauki. Ustalanie kierunku to rola, która pozostaje dla ludzi. trudna część: badanie Lilian Weng na temat inżynierii harness twierdzi, że krótkoterminowa ścieżka do RSI przebiega przez harness, a nie przez przepisywanie wag. Samodoskonalący się meta-harness jest w zasięgu ręki. Wąskie gardło to ewaluacje, ponieważ pętla jest dobra tylko tak, jak jej ewaluator. w pokoju: badacze z MIT, Harvardu, Stanfordu, DeepMind i Meta. Współorganizowane przez Autolab, Sundai Club.------Zbudujemy agentów, którzy rekurencyjnie się samodoskonalą, lub trenujemy modele przy użyciu zasad autoresearch. Każda niedziela. ✨Harmonogram✨ 10:00 Wprowadzenia 10:15 Prezentacje pomysłów i tworzenie zespołów 14:00 Sprawdzenie #1 i lunch 20:00 Sprawdzenie #2 i prezentacje ✨W tym tygodniu gościmy dzięki Antler✨ Antler to firma venture capital na wczesnym etapie z naciskiem na założycieli w etapie początkowym oraz społeczność rezydentnych przedsiębiorców technologicznych i operatorów. Rezydenci są immersowani w społeczności z wszystkim, czego potrzebują, aby zbadać, co dalej, budować i skalować z prędkością światła. Aby uzyskać więcej informacji na temat Antler i aplikować na rezydenta 👉 https://www.antler.co/location/us ✨Czym jest Sundai✨ Sundai to największa społeczność hakerów AI, powstała w Harvardzie i MIT, która buduje grassrootsową społeczność RSI tutaj w SF. Każdego tygodnia badamy granice rekurencyjnej inteligencji. Jako Sundai zrealizowaliśmy 130+ hacków jeden po drugim w ostatnich 2,5 latach - jeden na każdą niedzielę bez przerwy.✨Czym jest Autolab✨ Platforma do Autoresearch. Autolab.ai prowadzi twoje eksperymenty ML - agenci planują, uruchamiają i oceniają tysiące treningów równolegle na twoich GPU, w odniesieniu do twoich ewaluacji. ✨Nasza misja w RSI House ✨ "Przyspieszenie tempa wybuchu inteligencji" ✨Nasze zasady w RSI House✨ Buduj: Celem RSI House jest zjednoczenie się i budowanie niezwykłych projektów zgodnych z naszą misją. Każda niedziela. Wysylaj: opuść localhost. Wdroż swoje doświadczenia jako wytrenowany model, lub agenta, który jest dostępny w sieci, lub szczegółowy post techniczny. Warunki uczestnictwa: Dołączając do tego wydarzenia, zgadzasz się dbać o następujące zasady: zostaw pokój takim, jakim go zastałeś. Wszystkie tablice, krzesła i stoły muszą być posprzątane i uporządkowane tak, jak je znalazłeś. Wszystkie śmieci muszą być w koszu. nie pozwól, aby jakiekolwiek nieznajome osoby weszły do budynku za tobą, gdzie odbywa się sundai. jeśli zauważysz kogoś, kogo nie rozpoznajesz, a kto jest podejrzany, prosimy o natychmiastowe powiadomienie nas. używaj tylko dedykowanych przestrzeni do hacku. jeśli nie jesteś pewien - zapytaj wprost. bądź szanowany i taktowny wobec innych, którzy mogą być w budynku i studiować lub pracować. - jeśli nie jesteś pewien - zawsze pytaj. Zgadzasz się z tymi zasadami przychodząc na wydarzenie.