Recursieve Zelfverbeteringshack - Formele Verificatie in Wiskunde

Een week. Opgeloste problemen in de wiskunde. Machine-gecontroleerde resultaten. Doe mee aan een wereldwijde competitie om wiskunde te formaliseren, open problemen aan te pakken en verifieerbare publieke resultaten te creëren met elke combinatie van menselijke redenatie en AI. In de afgelopen weken hebben we wereldwijd nieuws gezien over AI-vooruitgangen bij de moeilijkste problemen in de wiskunde - het Navier-Stokes Millenniumprijsprobleem en de Jacobiaanse Conjectuur. Deze week nodigen we je uit om te leren en te hacken met de tools en vaardigheden die beginnen te ontstaan voor dit nieuwe tijdperk van wiskunde - AI recursieve lussen. We zullen werken aan 6 open problemen in de wiskunde - elk beoordeeld op moeilijkheidsgraad en geformaliseerd via de Ulam Open Problems Difficulty Atlas. Deze hack is open voor iedereen die gevorderde wiskunde heeft gestudeerd als onderdeel van hun universiteitsopleiding, waaronder wiskunde, natuurkunde, techniek en informatica. De 6 open problemen zijn hier gedefinieerd - https://app.autolab.ai/lists/alejandrozu/openmathUlam Open Problems Difficulty Atlas - https://www.unsolvedmath.com/Full beschrijving van de competitie en regels - https://rsihouse.ai/openmath In de zaal: onderzoekers van MIT, Harvard, Stanford, DeepMind en Meta. Mede-georganiseerd door RSI House, Autolab, Sundai Club.------ ✨Persoonlijk en Virtueel ✨ Het fysieke evenement vindt plaats op zondag 27 september in de Harvard Innovation Labs. De virtuele competitie vindt online plaats, parallel en er zal een Zoom-link worden verstrekt voor alle geaccepteerde deelnemers. ✨Schema✨ ✨Wat is Sundai✨ Sundai is de grootste AI-hackersgemeenschap ontstaan uit Harvard & MIT. Als Sundai hebben we in de afgelopen 2,5 jaar meer dan 130 hacks achtereenvolgens gedaan - één voor elke zondag zonder onderbreking.✨Wat is Autolab✨ Een platform voor Autoresearch en Recursieve Zelfverbetering. Autolab.ai voert je ML-experimenten voor je uit - agents plannen, lanceren en scoren duizenden trainingsruns parallel, op jouw GPU's, tegen jouw evaluaties. ✨Onze missie bij RSI House ✨ "Versnel het tempo van de explosie van intelligentie" Deelnamevoorwaarden: Door deel te nemen aan dit evenement ga je akkoord met de zorg en waakzaamheid voor het volgende: laat de ruimte achter zoals je deze aangetroffen hebt. Alle whiteboards, stoelen en tafels moeten schoongemaakt en opnieuw gerangschikt worden zoals je ze aangetroffen hebt. Al het afval moet in de prullenbak. laat geen vreemden toe in een gebouw achter je waar het evenement plaatsvindt. als je iemand ziet die je niet herkent en verdacht lijkt, laat het ons dan onmiddellijk weten. gebruik alleen de toegewezen ruimtes voor de hack. als je twijfelt - vraag dan expliciet. wees respectvol en attent naar anderen die zich misschien in het gebouw bevinden en aan het studeren of werken zijn. - als je twijfelt - vraag altijd. Je gaat akkoord met deze regels door naar het evenement te komen.