Hak poprawy samodzielnej rekurencyjnej - Weryfikacja formalna w matematyce

Jeden tydzień. Nierozwiązane problemy w matematyce. Wyniki sprawdzone maszynowo. Dołącz do globalnego konkursu, aby sformalizować matematykę, zająć się otwartymi problemami i stworzyć weryfikowalne wyniki publiczne przy użyciu dowolnej kombinacji ludzkiego rozumowania i AI. W ostatnich tygodniach widzieliśmy światowe wiadomości o postępach AI w najtrudniejszych problemach matematycznych - Problemie Millenijnym Naviera-Stokesa i Hipotezie Jacobiana. W tym tygodniu zapraszamy Cię do nauki i eksperymentowania z narzędziami i umiejętnościami, które zaczynają się pojawiać w tej nowej erze matematyki - rekurencyjnych pętli AI. Będziemy pracować nad 6 otwartymi problemami w matematyce - każdy oceniony według trudności i sformalizowany za pomocą Atlasu trudności otwartych problemów Ulam. Ten hack jest otwarty dla każdego, kto studiował zaawansowaną matematykę w ramach swojego wykształcenia uniwersyteckiego, w tym matematykę, fizykę, inżynierię i informatykę. 6 otwartych problemów jest zdefiniowanych tutaj - https://app.autolab.ai/lists/alejandrozu/openmathUlam Atlas trudności otwartych problemów - https://www.unsolvedmath.com\/Full opis konkursu i zasady - https://rsihouse.ai/openmath W sali: badacze z MIT, Harvardu, Stanfordu, DeepMind i Meta. Współorganizowane przez RSI House, Autolab, Sundai Club. ------ ✨Na żywo i Wirtualnie ✨ Wydarzenie na miejscu odbywa się przez jeden dzień w niedzielę, 27 września, w Harvard Innovation Labs. Wirtualny konkurs odbywa się online, równolegle, a link do Zooma zostanie dostarczony wszystkim zaakceptowanym uczestnikom. ✨Harmonogram✨ ✨Czym jest Sundai✨ Sundai to największa społeczność hakerów AI, stworzona w Harvardzie i MIT. Jako Sundai, wykonaliśmy 130+ hacków bez przerwy w ciągu ostatnich 2,5 roku - jeden w każdą niedzielę bez przerwy. ✨Czym jest Autolab✨ Platforma do Autoresearch i Rekurencyjnej Samopoprawy. Autolab.ai uruchamia twoje eksperymenty ML - agenci planują, uruchamiają i oceniają tysiące uruchomień treningowych równolegle, na twoich GPU, w odniesieniu do twoich ocen. ✨Nasza misja w RSI House ✨ "Przyspieszenie tempa eksplozji inteligencji" Warunki uczestnictwa: Dołączając do tego wydarzenia, zgadzasz się dbać i być czujnym wobec następujących: zostaw pokój tak, jak go znalazłeś. Wszystkie tablice, krzesła i stoły muszą być posprzątane i uporządkowane tak, jak je znalazłeś. Wszystkie śmieci muszą trafić do kosza. nie wpuszczaj żadnych obcych do budynku, w którym odbywa się wydarzenie. Jeśli zobaczysz kogokolwiek, kogo nie rozpoznajesz i kto wydaje się podejrzany, zgłoś to nam niezwłocznie. korzystaj tylko z dedykowanych przestrzeni do hacku. Jeśli nie masz pewności - zapytaj explicit. bądź szanowany i uwzględniaj innych, którzy mogą znajdować się w budynku i studiować lub pracować. - jeśli nie masz pewności - zawsze pytaj. Zgadzasz się na te zasady, przychodząc na wydarzenie.