Astuce d'Amélioration Récursive #5 - Vérification Formelle en Mathématiques

www.rsihouse.ai : - une salle pleine de personnes travaillant sur RSI - tous les dimanches - construite avec les derniers outils et méthodes de recherche - née du MIT & Harvard. 135+ astuces. - aspire à surpasser la norme. visez plus haut. accélérez l'intelligence. Suivez notre calendrier pour plus d'événements. Thème de cette semaine : Vérification Formelle en Mathématiques. Au cours des dernières semaines, nous avons vu des avancées substantielles sur les problèmes les plus difficiles en mathématiques, y compris les solutions étroites au problème des Navier-Stokes et à la Conjecture de Jacobien. Cette semaine, nous vous invitons à exécuter des boucles récursives pour aborder les problèmes non résolus en mathématiques. Chaque problème est classé par difficulté et formalisé par l'Atlas de Difficulté des Problèmes Ouverts d'Ulam. la boucle est déjà en marche. Plus de 80% du code d'Anthropic est écrit par Claude. Jeff Dean a quitté Google après 30 ans pour construire la boucle pour la science. La direction est le rôle laissé aux humains. la partie difficile : l'enquête de Lilian Weng sur l'ingénierie de la harness soutient que le chemin à court terme vers RSI passe par la harness plutôt que par la réécriture du poids. Un méta-harness s'améliorant de manière autonome est à portée de main. Le goulet d'étranglement est les évaluations, car une boucle n'est aussi bonne que son évaluateur. dans la salle : chercheurs du MIT, Harvard, Stanford, DeepMind et Meta. Co-animé par Autolab, Sundai Club.------Nous allons construire des agents qui s'améliorent de manière récursive ou entraîner des modèles en utilisant des principes d'autorecherche. Tous les dimanches. ✨Programme✨ 10:00 Présentations 10:15 Présentation d'idées et formation d'équipes 14:00 Vérification #1 et déjeuner 20:00 Vérification #2 et présentations ✨Cette semaine, nous sommes généreusement accueillis par Antler✨ Antler est une société de capital-risque en phase de démarrage axée sur les fondateurs en phase d'inception et une communauté d'entrepreneurs et d'opérateurs technologiques résidents. Les résidents sont immergés dans une communauté avec tout ce dont ils ont besoin pour explorer ce qui vient ensuite, construire et se développer à une vitesse fulgurante. Pour plus d'informations sur Antler et pour postuler pour devenir résident 👉 https://www.antler.co/location/us ✨Qu'est-ce que Sundai✨ Sundai est la plus grande communauté de hackers IA issue de Harvard & MIT, maintenant en train de construire une communauté RSI de base ici à SF. Chaque semaine, nous explorons les limites de l'intelligence siècilienne récursive. En tant que Sundai, nous avons réalisé plus de 130 hacks consécutifs au cours des 2,5 dernières années - un chaque dimanche sans interruption.✨Qu'est-ce qu'Autolab✨ Une plateforme pour l'autorecherche. Autolab.ai exécute vos expériences ML pour vous - les agents planifient, lancent et notent des milliers d'exécutions d'entraînement en parallèle, sur vos GPU, contre vos évaluations. ✨Notre mission à RSI House ✨ "Accélérer le rythme de l'explosion de l'intelligence" ✨Nos Principes à RSI House✨ Construire : Le but de RSI House est de se rassembler et de construire des projets audacieux en accord avec notre mission. Tous les dimanches. Expédier : quittez votre environnement local. Déployez vos apprentissages sous forme de modèle entraîné, ou d'un agent accessible sur le web, ou d'un article technique détaillé. Conditions de Participation : En rejoignant cet événement, vous acceptez de prendre soin et d'être vigilant concernant les points suivants : laissez la salle dans l'état où vous l'avez trouvée. Tous les tableaux blancs, chaises et tables doivent être nettoyés et réarrangés comme vous les avez trouvés. Tous les déchets doivent être dans la poubelle. ne laissez entrer aucun étranger dans le bâtiment derrière vous où se déroule sundai. Si vous voyez quelqu'un que vous ne reconnaissez pas et qui semble suspect, veuillez nous en informer immédiatement. n'utilisez que les espaces dédiés au hack. Si vous avez un doute - demandez explicitement. soyez respectueux et attentionné envers les autres qui pourraient être dans le bâtiment et qui étudient ou travaillent. - en cas de doute - demandez toujours. Vous acceptez ces règles en assistant à l'événement.