Rekursiver Selbstverbesserungshack - Formale Verifikation in der Mathematik

Eine Woche. Ungelöste Probleme in der Mathematik. Maschinell geprüfte Ergebnisse. Schließen Sie sich einem globalen Wettbewerb an, um die Mathematik zu formalisieren, offene Probleme anzugehen und überprüfbare öffentliche Ergebnisse mit beliebiger Kombination von menschlichem Denken und KI zu erstellen. In den letzten Wochen haben wir weltweit Nachrichten über KI-Fortschritte bei den schwierigsten Problemen in der Mathematik gesehen - das Navier-Stokes-Millennium-Preisproblem und die Jacobian-Vermutung. Diese Woche laden wir Sie ein, mit den Werkzeugen und Fähigkeiten zu lernen und zu hacken, die für dieses neue Zeitalter der Mathematik beginnen, sich zu entwickeln - KI-rekursive Schleifen. Wir werden an 6 offenen Problemen in der Mathematik arbeiten - jedes von Schwierigkeitsgrad bewertet und durch den Ulam Open Problems Difficulty Atlas formalisiert. Diese Veranstaltung ist für jeden offen, der fortgeschrittene Mathematik als Teil seines Hochschulstudiums studiert hat, einschließlich Mathematik, Physik, Ingenieurwissenschaften und Informatik. Die 6 offenen Probleme sind hier definiert - https://app.autolab.ai/lists/alejandrozu/openmathUlam Open Problems Difficulty Atlas - https://www.unsolvedmath.com\/Full Beschreibung des Wettbewerbs und der Regeln - https://rsihouse.ai/openmath Im Raum: Forscher von MIT, Harvard, Stanford, DeepMind und Meta. Mitveranstaltet von RSI House, Autolab, Sundai Club.------ ✨Persönlich und Virtuell ✨ Die persönliche Veranstaltung findet an einem Tag, Sonntag, dem 27. September, in den Harvard Innovation Labs statt. Der virtuelle Wettbewerb wird online, parallel zur persönlichen Veranstaltung abgehalten, und ein Zoom-Link wird allen akzeptierten Teilnehmern zur Verfügung gestellt. ✨Zeitplan✨ ✨Was ist Sundai✨ Sundai ist die größte KI-Hacker-Community, die aus Harvard & MIT hervorgegangen ist. Als Sundai haben wir in den letzten 2,5 Jahren über 130 Hacks ohne Unterbrechung durchgeführt - einen für jeden Sonntag.✨Was ist Autolab✨ Eine Plattform für Autoresearch und rekursive Selbstverbesserung. Autolab.ai führt Ihre ML-Experimente für Sie durch - Agenten planen, starten und bewerten Tausende von Trainingsläufen parallel auf Ihren GPUs, gegen Ihre Evaluierungen. ✨Unsere Mission bei RSI House ✨ "Das Tempo der Intelligenzexplosion beschleunigen" Teilnahmebedingungen: Durch die Teilnahme an dieser Veranstaltung erklären Sie sich bereit, auf folgende Punkte zu achten: Den Raum in dem Zustand zu hinterlassen, in dem 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. Niemanden, den Sie nicht kennen, in ein Gebäude hinter sich zu lassen, in dem die Veranstaltung stattfindet. Wenn Sie jemanden sehen, den Sie nicht erkennen und der verdächtig erscheint, lassen Sie es uns bitte sofort wissen. Nur die dafür vorgesehenen Bereiche für den Hack zu nutzen. Bei Unsicherheit fragen Sie explizit nach. Seien Sie respektvoll und rücksichtsvoll gegenüber anderen, die sich möglicherweise im Gebäude befinden und gerade lernen oder arbeiten. - Bei Unsicherheit immer fragen. Sie stimmen diesen Regeln zu, indem Sie zur Veranstaltung kommen.