Recursieve Zelfverbetering Hack #5 - Formele Verificatie in Wiskunde

www.rsihouse.ai: - een kamer vol mensen die aan RSI werken - elke zondag - gebouwd met de nieuwste onderzoeksinstrumenten en methoden - voortgekomen uit MIT & Harvard. Meer dan 135 hacks. - streef ernaar de norm te overtreffen. streef hoger. versnel de intelligentie. Volg onze agenda voor meer evenementen. Thema deze week: Formele Verificatie in Wiskunde. In de afgelopen weken hebben we aanzienlijke vorderingen gezien bij de moeilijkste problemen in de wiskunde, waaronder de nauwe oplossingen voor de Navier-Stokes en de Jacobiaanse Conjectuur. ​Deze week nodigen we je uit om recursieve lussen uit te voeren om de onopgeloste problemen in de wiskunde aan te pakken. Elk probleem is gerangschikt op moeilijkheidsgraad en geformaliseerd door de Ulam Open Problems Difficulty Atlas. de lus draait al. Meer dan 80% van de code van Anthropic is geschreven door Claude. Jeff Dean verliet Google na 30 jaar om de lus voor de wetenschap te bouwen. Richtinggevende beslissingen zijn de rol die voor mensen overblijft. het moeilijke stukje: Lilian Weng's enquête over harness-engineering stelt dat het pad naar RSI in de nabije toekomst door de harness loopt in plaats van door gewicht-herformulering. Een zelfverbeterende meta-harness is binnen handbereik. De bottleneck zijn de evaluaties, omdat een lus slechts zo goed is als zijn evaluator. in de zaal: onderzoekers van MIT, Harvard, Stanford, DeepMind en Meta. Co-gehost door Autolab, Sundai Club.------We zullen agenten bouwen die zichzelf recursief verbeteren of modellen trainen met behulp van autoresearch principes. Elke zondag. ✨Schema✨ 10:00 Introducties 10:15 Ideeën pitch en teamsamenstelling 14:00 Check-in #1 en lunch 20:00 Check-in #2 en presentaties ✨Deze week worden we genereus gehost door Antler✨ Antler is een vroeg-fase venture capital firma met een focus op stichters in het beginstadium en een gemeenschap van residentiële tech-ondernemers en operators. Residenten zijn ondergedompeld in een gemeenschap met alles wat ze nodig hebben om te verkennen wat er komt, te bouwen en snel op te schalen. Voor meer informatie over Antler en om je aan te melden om resident te worden 👉 https://www.antler.co/location/us ✨Wat is Sundai✨ Sundai is de grootste AI-hacker gemeenschap die voortgekomen is uit Harvard & MIT, die nu een grassroots RSI gemeenschap hier in SF opbouwt. Elke week verkennen we de grenzen van recursieve zelfintelligentie. Als Sundai hebben we in de afgelopen 2,5 jaar meer dan 130 hacks achter elkaar gedaan - elke zondag zonder stop.✨Wat is Autolab✨ Een platform voor Autoresearch. Autolab.ai runt je ML-experimenten voor je - agenten plannen, lanceren en scoren duizenden trainingsruns tegelijkertijd, op jouw GPU's, tegen jouw evaluaties. ✨Onze missie bij RSI House ✨ "Versnellen van het tempo van de explosie van intelligentie" ✨Onze Principes bij RSI House✨ Bouwen: Het doel van RSI House is om samen te komen en moonshots te bouwen die in lijn zijn met onze missie. Elke zondag. Verzenden: verlaat de localhost. Zet je leerervaringen in als een getraind model, of een agent die toegankelijk is op het web, of een gedetailleerde technische blogpost. Voorwaarden voor Deelname: Door deel te nemen aan dit evenement ga je akkoord met de zorg & voorzichtigheid van het volgende: laat de kamer achter zoals je deze hebt aangetroffen. Alle whiteboards, stoelen en tafels moeten worden schoongemaakt en opnieuw opgesteld zoals je ze hebt aangetroffen. Alle afval moet in de vuilnisbak. laat geen vreemden in een gebouw achter je waar sundai plaatsvindt. als je iemand ziet die je niet herkent en verdacht lijkt, laat het ons dan onmiddellijk weten. gebruik alleen de toegewijde ruimtes voor de hack. als je twijfelt - vraag expliciet. wees respectvol en attent naar anderen die mogelijk in het gebouw zijn en studeren of werken. - als je twijfelt - vraag altijd. Je gaat akkoord met deze regels door naar het evenement te komen.