Hack de Autoaperfeiçoamento Recursivo #5 - Verificação Formal na Matemática

www.rsihouse.ai: - uma sala cheia de pessoas trabalhando em RSI - todo domingo - construída com as mais recentes ferramentas e métodos de pesquisa - nascida do MIT & Harvard. 135+ hacks. - aspira a superar a norma. mira mais alto. acelera a inteligência. Siga nosso calendário para mais eventos. Tema desta semana: Verificação Formal na Matemática Nas últimas semanas, vimos avanços substanciais em problemas mais difíceis da matemática, incluindo as soluções restritas para as equações de Navier-Stokes e a Conjectura Jacobiana. ​Esta semana, convidamos você a executar loops recursivos para abordar os problemas não resolvidos em matemática. Cada problema é classificado por dificuldade e formalizado através do Atlas de Dificuldade dos Problemas Abertos de Ulam. o loop já está girando. Mais de 80% do código da Anthropic é escrito por Claude. Jeff Dean deixou o Google após 30 anos para construir o loop para a ciência. O papel de definir a direção ficou para os humanos. a parte difícil: a pesquisa de Lilian Weng sobre engenharia de harness argumenta que o caminho de curto prazo para o RSI passa pelo harness em vez de reescrita de pesos. Um meta-harness autoaperfeiçoante está ao nosso alcance. O gargalo são as avaliações, porque um loop é tão bom quanto seu avaliador. na sala: pesquisadores do MIT, Harvard, Stanford, DeepMind e Meta. Co-anfitrião do Autolab, Sundai Club.------ Nós construiremos agentes que se autoaperfeiçoam recursivamente ou treinar modelos usando princípios de autoresearch. Todo domingo. ✨Agenda✨ 10:00 Apresentações 10:15 Apresentações de ideias e formação de equipes 14:00 Checagem #1 e almoço 20:00 Checagem #2 e apresentações ✨Esta semana estamos generosamente hospedados pela Antler✨ A Antler é uma empresa de capital de risco em estágio inicial com foco em fundadores em fase de concepção e uma comunidade de empreendedores e operadores de tecnologia residentes. Os residentes estão imersos em uma comunidade com tudo o que precisam para explorar o que vem a seguir, construir e escalar em alta velocidade. Para mais informações sobre a Antler e para se inscrever para se tornar um residente 👉 https://www.antler.co/location/us ✨O que é Sundai✨ Sundai é a maior comunidade hacker de IA nascida de Harvard & MIT, agora construindo uma comunidade RSI de base aqui em SF. Toda semana exploramos os limites da inteligência recursiva. Como Sundai, fizemos mais de 130 hacks consecutivos nos últimos 2,5 anos - um para cada domingo sem parar.✨O que é Autolab✨ Uma plataforma para Autoresearch. 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" ✨Nossos Princípios na RSI House✨ Construir: O propósito da RSI House é se reunir e construir grandes ideias alinhadas com nossa missão. Todo domingo. Enviar: sair do localhost. Implante seus aprendizados como um modelo treinado, ou um agente que seja acessível na web, ou um post técnico detalhado. Termos de Participação: Ao participar deste evento, você concorda em cuidar e estar vigilante em relação ao seguinte: deixar a sala como você 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 entrarem em qualquer prédio atrás de você onde o sundai está acontecendo. se você ver alguém que não reconhece e que é suspeito, por favor, nos avise imediatamente. usar apenas os espaços dedicados ao hack. se não tiver certeza - pergunte explicitamente. seja respeitoso e atencioso com os outros que possam estar no prédio e estão estudando ou trabalhando. - se não tiver certeza - peça sempre. Você concorda com essas regras ao participar do evento.