Hack de Aprimoramento Recursivo - Verificação Formal em Matemática

Uma semana. Problemas não resolvidos em matemática. Resultados verificados por máquina. Participe de uma competição global para formalizar a matemática, atacar problemas abertos e criar resultados públicos verificáveis com qualquer combinação de raciocínio humano e IA. Nas últimas semanas, vimos notícias em todo o mundo sobre avanços da IA nos problemas mais difíceis da matemática - o Problema do Prêmio Millennium de Navier-Stokes e a Conjectura de Jacobiana. Nesta semana, convidamos você a aprender e hackear com as ferramentas e habilidades que estão começando a surgir para esta nova era da matemática - loops recursivos de IA. Trabalharemos em 6 problemas abertos em matemática - cada um avaliado por dificuldade e formalizado através do Atlas de Dificuldade de Problemas Abertos de Ulam. Este hack está aberto a qualquer pessoa que tenha estudado matemática avançada como parte de seu curso universitário, incluindo matemática, física, engenharia e ciência da computação. Os 6 problemas abertos estão definidos aqui - https://app.autolab.ai/lists/alejandrozu/openmathUlam Atlas de Dificuldade de Problemas Abertos - https://www.unsolvedmath.com\/Full descrição da competição e regras - https://rsihouse.ai/openmath na sala: pesquisadores do MIT, Harvard, Stanford, DeepMind e Meta. Co-organizado pela RSI House, Autolab, Clube Sundai.------ ✨Presencial e Virtual ✨ O evento presencial será realizado em um dia, no domingo, 27 de setembro, nos Laboratórios de Inovação de Harvard. A competição virtual será realizada online, em paralelo, e o link do zoom será fornecido a todos os participantes aceitos. ✨Agenda✨ ✨O que é o Sundai✨ Sundai é a maior comunidade de hackeiros de IA, nascida de Harvard & MIT. Como Sundai, realizamos mais de 130 hacks consecutivos nos últimos 2,5 anos - um para cada domingo sem parar.✨O que é o Autolab✨ Uma plataforma para Autopesquisa e Aprimoramento Recursivo. Autolab.ai executa seus experimentos de ML para você - agentes planejam, lançam e pontuam milhares de execuções de treinamento em paralelo, em suas GPUs, contra suas avaliações. ✨Nossa missão na RSI House ✨ "Acelerar o ritmo da explosão da inteligência" Termos de Participação: Ao participar deste evento, você concorda em cuidar e ter vigilância em relação ao seguinte: deixar a sala como a encontrou. Todos os quadros brancos, cadeiras e mesas devem ser limpos e rearranjados como você os encontrou. Todo o lixo deve estar na lixeira. não deixar estranhos entrar em qualquer prédio atrás de você onde o evento está ocorrendo. se você ver alguém que não reconhece e que parecer suspeito, por favor, nos avise imediatamente. usar apenas os espaços dedicados ao hack. se tiver dúvidas - pergunte explicitamente. ser respeitoso e considerado com os outros que podem estar no prédio e que estão estudando ou trabalhando. - se tiver dúvidas - sempre pergunte. Você concorda com essas regras ao vir para o evento.