Rekursive Selbstverbesserung Methode #5 - Formale Verifikation in der Mathematik

www.rsihouse.ai: - ein Raum voller Menschen, die an RSI arbeiten - jeden Sonntag - ausgestattet mit den neuesten Forschungstools und -methoden - hervorgegangen aus MIT & Harvard. 135+ Hacks. - streben danach, die Norm zu übertreffen. höher zielen. Intelligenz beschleunigen. Folgen Sie unserem Kalender für weitere Veranstaltungen. Thema dieser Woche: Formale Verifikation in der Mathematik. In den letzten Wochen haben wir erhebliche Fortschritte bei den schwierigsten Problemen der Mathematik gesehen, darunter die engen Lösungen zu den Navier-Stokes und der Jacobian-Vermutung. ​In dieser Woche laden wir Sie ein, rekursive Schleifen zu erstellen, um die ungelösten Probleme in der Mathematik anzugehen. Jedes Problem wird nach Schwierigkeitsgrad bewertet und durch das Ulam Open Problems Difficulty Atlas formalisiert. Die Schleife läuft bereits. Mehr als 80 % des Codes von Anthropic wurden von Claude geschrieben. Jeff Dean hat Google nach 30 Jahren verlassen, um die Schleife für die Wissenschaft zu bauen. Die Richtung festzulegen, ist die Rolle, die den Menschen bleibt. Der harte Teil: Lilian Wengs Umfrage zur Nutzungstechnik argumentiert, dass der kurzfristige Weg zur RSI durch die Nutzungstechnik und nicht durch das Gewichtsschreiben führt. Ein selbstverbesserndes Meta-Harness ist in Reichweite. Der Engpass sind die Bewertungen, denn eine Schleife ist nur so gut wie ihr Evaluator. Im Raum: Forscher von MIT, Harvard, Stanford, DeepMind und Meta. Co-Hosted von Autolab, Sundai Club.------Wir werden Agenten bauen, die sich rekursiv selbst verbessern, oder Modelle unter Verwendung von Autoresearch-Prinzipien trainieren. Jeden Sonntag. ✨Zeitplan✨ 10:00 Einführungen 10:15 Ideenpräsentation und Teambildung 14:00 Check-in #1 und Mittagessen 20:00 Check-in #2 und Präsentationen ✨Diese Woche werden wir großzügig von Antler gehostet✨ Antler ist ein Wagniskapitalunternehmen in der Frühphase mit Fokus auf Gründer in der Frühphase und einer Gemeinschaft von ansässigen Tech-Unternehmern und Betreibern. Die Bewohner sind in eine Gemeinschaft integriert, die alles bietet, was sie brauchen, um das Nächste zu erkunden, zu bauen und blitzschnell zu skalieren. Für weitere Informationen zu Antler und um sich als Bewohner zu bewerben 👉 https://www.antler.co/location/us ✨Was ist Sundai✨ Sundai ist die größte KI-Hacker-Community, die aus Harvard & MIT hervorgegangen ist und nun hier in SF eine grassroots RSI-Community aufbaut. Jede Woche erkunden wir die Grenzen der rekursiven Selbstintelligenz. Als Sundai haben wir in den letzten 2,5 Jahren 130+ Hacks hintereinander gemacht - einen für jeden Sonntag ohne Unterbrechung.✨Was ist Autolab✨ Eine Plattform für Autoresearch. Autolab.ai läuft Ihre ML-Experimente für Sie - Agenten planen, starten und bewerten Tausende von Trainingsläufen parallel auf Ihren GPUs gegen Ihre Bewertungen. ✨Unsere Mission im RSI House ✨ "Den Tempo der Intelligenzexplosion beschleunigen" ✨Unsere Prinzipien im RSI House✨ Bauen: Der Zweck des RSI House besteht darin, sich zu versammeln und Moonshots entsprechend unserer Mission zu bauen. Jeden Sonntag. Versenden: Verlassen Sie die lokale Umgebung. Setzen Sie Ihre Erkenntnisse als trainiertes Modell, oder als einen Agenten, der im Web zugänglich ist, oder als ausführlichen technischen Blogbeitrag um. Teilnahmebedingungen: Durch die Teilnahme an dieser Veranstaltung erklären Sie sich bereit, die folgenden Punkte zu beachten und darauf zu achten: Den Raum so zu verlassen, wie Sie ihn vorgefunden haben. Alle Whiteboards, Stühle und Tische müssen gereinigt und so angeordnet werden, wie Sie sie vorgefunden haben. Alle Abfälle müssen in den Mülleimer. Lassen Sie keine Fremden in ein Gebäude hinter Ihnen, in dem Sundai stattfindet. Wenn Sie jemanden sehen, den Sie nicht erkennen und der verdächtig aussieht, lassen Sie es uns bitte sofort wissen. Verwenden Sie nur die dafür vorgesehenen Räume für den Hack. Wenn Sie unsicher sind - fragen Sie ausdrücklich. Seien Sie respektvoll und rücksichtsvoll gegenüber anderen, die sich möglicherweise im Gebäude befinden und studieren oder arbeiten. - Wenn Sie unsicher sind - fragen Sie immer. Sie stimmen diesen Regeln zu, indem Sie zu der Veranstaltung kommen.