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

www.rsihouse.ai: - una sala llena de personas trabajando en RSI - todos los domingos - construido con las últimas herramientas y métodos de investigación - nacido de MIT y Harvard. Más de 135 hacks. - aspirar a superar lo normal. apuntar más alto. acelerar la inteligencia. Sigue nuestro calendario para más eventos. Tema de esta semana: Verificación Formal en Matemáticas En las últimas semanas hemos visto avances sustanciales en los problemas más difíciles de las matemáticas, incluyendo las soluciones limitadas a los problemas de Navier-Stokes y la Conjetura de Jacobiano. ​Esta semana te invitamos a ejecutar bucles recursivos para abordar los problemas no resueltos en matemáticas. Cada problema está clasificado por dificultad y formalizado a través del Atlas de Dificultad de Problemas Abiertos de Ulam. el bucle ya está girando. Más del 80% del código de Anthropic está escrito por Claude. Jeff Dean dejó Google después de 30 años para construir el bucle para la ciencia. El establecimiento de dirección es el papel reservado para los humanos. la parte difícil: la encuesta de Lilian Weng sobre la ingeniería de harness argumenta que el camino a corto plazo hacia el RSI pasa por el harness en lugar de la reescritura de peso. Un meta-harness auto-mejorable está al alcance. El cuello de botella son las evaluaciones, porque un bucle es tan bueno como su evaluador. en la sala: investigadores de MIT, Harvard, Stanford, DeepMind y Meta. Co-organizado por Autolab, Sundai Club.------Construiremos agentes que se mejoran a sí mismos de forma recursiva, o entrenaremos modelos utilizando principios de autoresearch. Todos los domingos. ✨Horario✨ 10:00 Introducciones 10:15 Presentación de ideas y formación de equipos 14:00 Registro #1 y almuerzo 20:00 Registro #2 y presentaciones ✨Esta semana somos generosamente hospedados por Antler✨ Antler es una firma de capital de riesgo en etapa temprana con un enfoque en fundadores en etapa de inicio y una comunidad de emprendedores y operadores tecnológicos residentes. Los residentes están inmersos en una comunidad con todo lo que necesitan para explorar lo que sigue, construir y escalar a la velocidad del rayo. Para más información sobre Antler y para aplicar para convertirse en residente 👉 https://www.antler.co/location/us ✨¿Qué es Sundai?✨ Sundai es la comunidad de hackers de IA más grande nacida de Harvard y MIT, ahora construyendo una comunidad de RSI de base aquí en SF. Cada semana exploramos los límites de la inteligencia recursiva. Como Sundai, hemos hecho 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 Autoresearch. Autolab.ai realiza tus experimentos de ML por ti - los agentes planean, 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" ✨Nuestros Principios en RSI House✨ Construir: El propósito de RSI House es reunirse y construir propósitos ambiciosos en línea con nuestra misión. Todos los domingos. Enviar: sal de la localhost. Despliega tus aprendizajes como un modelo entrenado, o un agente que sea accesible en la web, o una entrada de blog técnico detallada. Términos de Participación: Al unirte a este evento, aceptas cuidar y estar atento a lo siguiente: dejar la sala como la encontraste. Todas las pizarras, sillas y mesas deben ser limpiadas y reorganizadas como las encontraste. Toda la basura debe estar en el bote. no permitir que extraños entren en ningún edificio detrás de ti donde se esté llevando a cabo sundai. si ves a alguien que no reconoces y que es sospechoso, infórmanos de inmediato. utilizar solo los espacios dedicados para el hack. si no estás seguro, pregunta explícitamente. ser respetuoso y considerado con los demás que puedan estar en el edificio y estudian o trabajan. - si no estás seguro, pregunta siempre. Aceptas estas reglas al venir al evento.