Hack d'Amélioration Autonome Récursive - Vérification Formelle en Mathématiques

Une semaine. Problèmes non résolus en mathématiques. Résultats vérifiés par machine. Rejoignez une compétition mondiale pour formaliser les mathématiques, attaquer des problèmes ouverts, et créer des résultats publics vérifiables avec n'importe quelle combinaison de raisonnement humain et d'IA. Ces dernières semaines, nous avons vu des nouvelles mondiales sur les avancées de l'IA concernant les plus difficiles problèmes en mathématiques - le Problème du Prix du Millénaire de Navier-Stokes et la Conjecture de Jacobian. Cette semaine, nous vous invitons à apprendre et à hacker avec les outils et les compétences qui commencent à émerger pour cette nouvelle ère des maths - boucles récursives IA. Nous travaillerons sur 6 problèmes ouverts en mathématiques - chacun évalué par difficulté et formalisé à travers l'Atlas de Difficulté des Problèmes Ouverts d'Ulam. Ce hack est ouvert à toute personne ayant étudié les mathématiques avancées dans le cadre de son diplôme universitaire, y compris les mathématiques, la physique, l'ingénierie et l'informatique. Les 6 problèmes ouverts sont définis ici - https://app.autolab.ai/lists/alejandrozu/openmathUlam Atlas de Difficulté des Problèmes Ouverts - https://www.unsolvedmath.com/Full description de la compétition et des règles - https://rsihouse.ai/openmath dans la salle : chercheurs de MIT, Harvard, Stanford, DeepMind et Meta. Co-animé par RSI House, Autolab, Sundai Club.------ ✨En personne et Virtuel ✨ L'événement en personne se déroule pendant une journée le dimanche 27 septembre aux Harvard Innovation Labs. La compétition virtuelle se tient en ligne, en parallèle et un lien Zoom sera fourni pour tous les participants acceptés. ✨Programme✨ ✨Qu'est-ce que Sundai✨ Sundai est la plus grande communauté de hackers IA née de Harvard & MIT. 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 et l'Amélioration Autonome Récursive. Autolab.ai exécute vos expériences ML pour vous - des agents planifient, lancent et notent des milliers de runs d'entraînement en parallèle, sur vos GPU, contre vos évaluations. ✨Notre mission chez RSI House ✨ "Accélérer le rythme de l'explosion d'intelligence" Conditions de Participation : En rejoignant cet événement, vous acceptez de faire attention & d'être vigilant concernant les points suivants : laisser la salle telle que 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 inconnu dans le bâtiment où se déroule l'événement. Si vous voyez quelqu'un que vous ne reconnaissez pas et qui semble suspect, veuillez nous le faire savoir immédiatement. n'utiliser que les espaces dédiés au hack. Si vous n'êtes pas sûr - demandez explicitement. soyez respectueux et attentif envers les autres qui pourraient être dans le bâtiment et qui étudient ou travaillent. - si vous n'êtes pas sûr - demandez toujours. Vous acceptez ces règles en venant à l'événement.