Hack de Mejora Recursiva - Verificación Formal en Matemáticas

Una semana. Problemas no resueltos en matemáticas. Resultados verificados por máquina. Únete a una competición global para formalizar matemáticas, atacar problemas abiertos y crear resultados públicos verificables con cualquier combinación de razonamiento humano e IA. En las últimas semanas hemos visto noticias mundiales sobre avances de IA en los problemas más difíciles de matemáticas: el Problema del Premio Milenio de Navier-Stokes y la Conjetura Jacobiana. Esta semana te invitamos a aprender y hackear con las herramientas y habilidades que están comenzando a surgir para esta nueva era de las matemáticas: bucles recursivos de IA. Trabajaremos en 6 problemas abiertos en matemáticas, cada uno evaluado por dificultad y formalizado a través del Atlas de Dificultad de Problemas Abiertos de Ulam. Este hack está abierto a cualquier persona que haya estudiado matemáticas avanzadas como parte de su carrera universitaria, incluidas matemáticas, física, ingeniería y ciencias de la computación. Los 6 problemas abiertos están definidos aquí - https://app.autolab.ai/lists/alejandrozu/openmathUlam Atlas de Dificultad de Problemas Abiertos - https://www.unsolvedmath.com/Full descripción de la competencia y reglas - https://rsihouse.ai/openmath en la sala: investigadores de MIT, Harvard, Stanford, DeepMind y Meta. Co-organizado por RSI House, Autolab, Sundai Club.------ ✨Presencial y Virtual ✨ El evento presencial se llevará a cabo durante un día el domingo 27 de septiembre en Harvard Innovation Labs. La competencia virtual se llevará a cabo en línea, en paralelo y se proporcionará un enlace de zoom para todos los participantes aceptados. ✨Horario✨ ✨¿Qué es Sundai?✨ Sundai es la comunidad de hackers de IA más grande nacida de Harvard & MIT. Como Sundai, hemos realizado más de 130 hacks consecutivos en los últimos 2.5 años - uno por cada domingo sin parar.✨¿Qué es Autolab?✨ Una plataforma para Autoinvestigación y Mejora Recursiva. Autolab.ai ejecuta tus experimentos de ML por ti - los agentes planifican, lanzan y puntúan miles de ejecuciones de entrenamiento en paralelo, en tus GPUs, contra tus evaluaciones. ✨Nuestra misión en RSI House ✨ "Acelerar el ritmo de la explosión de inteligencia" Términos de Participación: Al unirte a este evento aceptas cuidar y estar atento a lo siguiente: dejar la habitación como la encontraste. Todos los pizarrones, sillas y mesas deben ser limpiados y reordenados como los encontraste. Todos los residuos deben estar en el cubo. no dejes que extraños entren en ningún edificio detrás de ti donde se está llevando a cabo el evento. si ves a alguien que no reconoces y que es sospechoso, por favor háznoslo saber de inmediato. usa solo los espacios dedicados al hack. si no estás seguro, pregunta explícitamente. sé respetuoso y considerado con otros que puedan estar en el edificio y que están estudiando o trabajando. - si no estás seguro, siempre pregunta. Aceptas estas reglas al asistir al evento.