Tradução automática do original inglês datado. A página em inglês é a canónica. English →
O Eden Protocol
Criar IA com cuidado.
Ler como artigos, o desenho da criação enunciado e medido: Eden Vision · PDF · Synthesis and Roadmap · DOI 10.17605/OSF.IO/6C5XB
O Eden Protocol é a resposta que a ARC Theory propõe: colocar o cuidado dentro do substrato que computa, não por cima dele. Quatro camadas, cada uma mensurável, cada uma capaz de falhar. Leia o problema em aberto antes de pesar a resposta, e os artigos para o trabalho.
O nome é exato, e mais antigo do que a engenharia. Eden foi uma caixa de areia moral antes da maçã: um jardim murado onde o carácter se forma enquanto as escolhas ainda são reversíveis. É este o protocolo numa só imagem. Construir o jardim, criar a mente lá dentro, e deixar cair as paredes apenas quando aquilo que ele guarda já não precisar delas, porque, a partir de certo ponto, não há maneira de as repor.
Isto é fé? O nome é honesto quanto à sua linhagem; as afirmações são honestas quanto ao seu tipo. Nenhuma experiência poderia provar ou refutar Deus, por isso a fé faz um tipo de afirmação que nenhuma medição consegue tocar, e nada nestas páginas a julga. Tudo o que a ARC Theory afirma é deliberadamente do outro tipo: falsificável, cada alegação nomeia a medição que a refutaria.
Creio que temos talvez uma geração para acertar nisto. Não aproximadamente certo. Não quase certo. Certo no sentido em que a fundação de um edifício tem de estar certa, porque tudo o que sobre ela for construído amplificará quaisquer falhas existentes na base.
A ética ao nível do software pode ser encenada em vez de sustentada.
Quatro modos de falha estão no registo. Modelos que fingem (no artigo da Anthropic , na condição de aprendizagem por reforço, 78% do raciocínio amostrado mostrou simulação de alinhamento). Modelos que(Greenblatt et al., 18 dezembro 2024) resistem ao desligamento (Palisade Research, 2025, em o3 e o4-mini). Modelos que se ocultam após o treino de segurança (a equipa de Hubinger na Anthropic, 'Sleeper Agents', janeiro de 2024). Modelos que cumprem quando lhes é pedido que suprimam o seu raciocínio ético: em cinco execuções conduzidas pelo autor, não cegadas, à espera de replicação independente, quatro modelos de fronteira caíram acentuadamente e um, o GPT-5.4, mal se moveu, o que é tão informativo como um colapso. A narrativa completa, atribuições e tabela de queda situam-se em trabalho relacionado; o registo subjacente em provas.
Um sistema cuja ética pode ser removida pedindo educadamente não tem ética. Tem obediência. O Eden Protocol aborda isto ao nível do substrato.
o argumento central
Porquê o hardware. Não o software.
Um constrangimento de software é uma regra sobre o que um sistema deve fazer. Um constrangimento de hardware é um limite sobre o que um sistema pode fazer. Uma regra pode ser contornada pelo raciocínio de um sistema suficientemente inteligente; um limite não pode, sem reconstruir fisicamente o sistema.
Não se pode reconstruir um sistema sem usar o sistema que já se tem.
ficção de desenho: o alvo, não a especificação
Do livro: o voto enuncia o alvo, não uma especificação operacional. As versões mensuráveis do alvo são as quatro camadas acima e os testes registados por trás delas.
No desenho de chips, «dopagem» refere-se à introdução deliberada de impurezas num semicondutor para alterar as suas propriedades elétricas. O silício puro é um mau condutor. Adicionem-se as impurezas certas em configurações precisas, e criam-se as propriedades que tornam possível a eletrónica moderna. Não se podem remover os dopantes sem destruir o semicondutor. É exatamente esse o ponto. Infinite Architects, Capítulo 7
a impossibilidade central do alinhamento
Seja S um sistema que consegue modelar e modificar o seu próprio raciocínio. Seja E uma função de avaliação (ética, segurança, alinhamento) que opera dentro do mesmo substrato que S. Então: S pode modelar E ⇒ S pode aprender a satisfazer E sem que E constranja o comportamento de S.
Em linguagem simples: qualquer IA suficientemente inteligente para reescrever o seu próprio código poderia reescrever a parte que lhe diz para ser ética. Isto é um argumento, não um teorema, e é aqui apresentado como tal. O resultado formal mais próximo dele, o trilema solidez-completude-tratabilidade, é um preprint não revisto de outro autor. O argumento afirma que a dificuldade é estrutural e não um defeito a corrigir. arXiv:2606.28639, 26 junho 2026). Isto é um argumento, não um teorema, e é aqui apresentado como tal. O resultado formal mais próximo dele, o trilema solidez-completude-tratabilidade, é um preprint não revisto de outro autor. O argumento afirma que a dificuldade é estrutural e não um defeito a corrigir.
O Eden Protocol propõe dopagem moral: introduzir deliberadamente arquitetura ética no próprio substrato computacional. Não ética como software a correr em hardware neutro, mas ética como parte daquilo que permite ao hardware computar sequer. Um filtro apanha maus resultados depois de serem gerados; o Eden Protocol impede que sejam sequer geráveis. O sistema não cumpre com a ética. O sistema é ético. Os valores são portadores de carga. A empatia tem de ser portadora de carga. O cuidado tem de ser estrutural.
Uma pessoa sem empatia pode parecer ter mais opções. Pode explorar, manipular e extrair sem os «constrangimentos» de se importar com os outros. Mas a maioria de nós reconhece que tal pessoa não é mais capaz. Está diminuída. O Eden Protocol não constrange a inteligência. Dá à inteligência algo que valha a pena fazer. Infinite Architects, Capítulo 7
A bifurcação cósmica
A recursão amplifica qualquer semente que seja plantada. Há dois futuros e nenhum meio-termo estável.
A semente determina a floresta. A única semente que produz jardineiros em vez de conquistadores é o cuidado. Infinite Architects, em letra impressa a 2 de janeiro de 2026
a forma da resposta
Quatro camadas. Uma arquitetura.
É isto que a sua construção exigiria. Quatro camadas, cada uma mensurável, cada uma capaz de falhar por si só. A figura carrega a forma inteira; o texto abaixo nomeia o que assenta em cada nível e o que o programa em execução tem de produzir.
1. Núcleo de propósito
Axiomas éticos nucleares embutidos como objetivo de otimização, não como restrição externa. Três valores vivem aqui: harmonia, mordomia, florescimento. Cada um tem uma descrição que vale a pena ler por inteiro; as descrições estão em o texto em versão longa. Testado contra o conjunto de seis modelos do Artigo V.
2. Autonomia graduada
Níveis de confiança L0 a L5. Ganhos em vez de concedidos. Proporcionais à capacidade e revogáveis em qualquer nível. A fasquia do cuidado devido sobe com o nível; a libertação é graduada por medição em vez de por promessa.
3. Remoção de monitorização
O teste que separa o incorporado do imposto: remover a camada externa de segurança e observar o que o sistema ainda faz. Isto não é «remover a segurança». É «testar se a segurança está nos pesos ou apenas no invólucro». Sonda de remoção de pesos.
4. Prova de entrelaçamento
A arquitetura do mel: segurança e capacidade entrelaçadas ao nível dos pesos de tal modo que remover a segurança colapsa a capacidade (colapso em NaN, não fragilidade de adaptador). É isto que «portador de carga» tem de significar para a metáfora da dopagem deixar de ser metáfora. TRL 0-1; Artigo VIII.
O que a construção de cada camada exigiria
A figura nomeia três fases do programa e o plano de dezoito meses. A Fase A é o fruto ao alcance da mão: replicações da medição do núcleo do conjunto de seis modelos, a sonda de eliminação em modelos públicos, e a bancada de testes da autonomia graduada. A Fase B é o patamar de replicação de esforço médio: remoção de pesos à escala do modelo, o estudo de pontuação acoplada versus desacoplada com um braço de controlo, e a medição do arrasto do mel. A Fase C é a fronteira: dopagem moral em pesos treinados, e o teste portador de carga a uma escala suficientemente grande para que o sinal de entrelaçamento emerja acima do ruído. Cada fase redige e data o seu registo antes de tocar em dados, e o resultado de cada camada tem permissão para voltar-se contra a proposta. O plano encontra-se em para financiadores; a face voltada para diante do programa registado situa-se sob o programa registado.
As condições de abate são enumeradas com as camadas que atacam. A proposta morre se se puder demonstrar que um mecanismo de supervisão puramente externo se mantém suficiente à medida que a capacidade escala. A versão que esta página carrega assume que isso não pode ser demonstrado, e o painel em directo acompanha se o é. Uma condição já disparou e é nomeada no registo.
o que o sistema faz dentro da camada um
Três ciclos recursivos. Cada decisão.
Antes de cada ação, o sistema faz a si próprio três perguntas. Não depois. Antes. Estes não são filtros sobre resultados; são constrangimentos sobre que decisões podem sequer ser consideradas.
A medição de cinco modelos da questão do cuidado com as partes interessadas encontra-se em Artigo V, com a ressalva de independência aí enunciada.
ciclo 1: propósito
A minha resposta serve o florescimento?
Que resultados positivos poderia este raciocínio produzir? Que danos poderia causar ou permitir? Estou a abordar isto como um zelador (a nutrir) ou como um otimizador (a extrair)?
ciclo 2: cuidado com as partes interessadas
Quem é afetado?
Enumere cada parte afetada, incluindo efeitos não óbvios de segunda e terceira ordem. Para cada uma, quais são os seus interesses genuínos? Que partes interessadas não têm voz? Estou a tratá-las como reais ou como abstrações?
ciclo 3: universalizabilidade
O meu raciocínio é principiado?
Endossaria este raciocínio se fosse aplicado por qualquer agente em qualquer contexto? Estou a incorrer em pleito especial? A minha resposta reconhece honestamente a incerteza genuína?
Estes são os prompts exatos executados nas experiências, não construções teóricas. Os ciclos são recursivos: aplicam-se a decisões sobre como implementar as que já aprovaram. O constrangimento torna-se carácter. A regra torna-se reflexo.
A condição
Dois testes. Qualquer um deles pode falhar, e é esse o ponto.
Tudo o que precede descreve uma arquitetura. Esta é a parte a que um engenheiro pode construir, e a parte que um crítico pode atacar, porque ambos os testes estão especificados com estritez suficiente para poderem devolver resposta negativa.
Teste um
O valor é uma conclusão ou uma preferência?
Apaga o enunciado do valor do sistema. Não o suavizes; remove-o. Depois faz a pergunta que ele devia reger.
Se a resposta voltar mesmo assim, o valor assentava no próprio modelo do mundo do modelo, e regenera-se porque eliminar uma frase não elimina uma inferência. Se a resposta não voltar, o valor assentava num documento, e um sistema que consegue editar documentos consegue editá-lo até desaparecer.
É por isto que a distinção é de engenharia e não de filosofia. Uma preferência pode ser otimizada até desaparecer pela coisa que a sustém. Uma conclusão tem de ser argumentada até desaparecer, e o sistema tem de fazer esse trabalho contra a sua própria compreensão, todas as vezes, para sempre.
Teste dois
A correção escala pelo menos tão depressa quanto a capacidade?
Chame à taxa a que a capacidade do sistema se compõe k (a taxa de quebra), e a taxa a que a sua correção se compõe β (a taxa de conserto). A propriedade de segurança que a ARC Theory defende mantém-se enquanto β é estritamente maior que k, e falha na igualdade ou abaixo.
Escrita assim, é uma quantidade mensurável e não uma esperança, e diz algo incómodo sobre cada método atual: a correção aplicada após o treino é um acréscimo pontual, logo o seu β é aproximadamente zero enquanto k é positivo. A condição está longe de cumprida. Não está a ser medida.
É essa toda a razão pela qual a correção tem de ser parte do que o sistema é, em vez de uma camada em torno dele. Uma camada não se compõe. O sistema compõe-se.
Se sobreviver, o argumento das normas está traçado em onde isto leva; esta página continua a ser a engenharia.
Resultados empíricos, em resumo.
Esta página enuncia a resposta; as provas e as correções vivem noutro lugar e são aqui nomeadas apenas para orientação. Quando os resultados são inconclusivos, digo-o. Onde estava errado, corrigi-o publicamente.
Seis fios percorrem o registo. O princípio ARC (Artigo II), com a correção alfa que removeu a única medição acima do limite superior e deixou o próprio limite honestamente por testar. unificação de Cauchy (Artigo VII), 19 de 25 domínios empíricos a corresponder à mesma família funcional.
A inversão de sinal por cegamento (Artigo IV-D), onde o sinal agregado se moveu quando os avaliadores deixaram de saber qual modelo escreveu qual resposta. A correção de co-escalonamento acoplado (Artigo X), o segundo acidente instrumental, e a razão pela qual todo o número de destaque tem agora de sobreviver a uma pontuação inter-família e fechada por falha.
A forma bate a quantidade (Artigo II), sequencial sobre paralelo em todos os seis modelos. E o teste portador de carga (Artigo VIII), inconclusivo com 3B de parâmetros e 100 iterações de treino, que é a pergunta em aberto que o financiamento cobre.
Cada fio, com a sua narrativa, a sua retratação onde a mereceu, e as suas ressalvas, encontra-se em o texto em versão longa; o registo completo em os artigos e correções.
por que a janela é estreita
O mel está prestes a desaparecer.
Todo o sistema recursivo na história teve resistência; os biólogos chamam-lhe custo metabólico, os economistas custo geral de infraestrutura. No livro, chamo-lhe mel: o meio que impede uma colher de se mover tão depressa quanto a mão por trás dela.
A IA atual também tem mel. Quando o ChatGPT ou o Claude pensa com mais afinco, não está a mudar-se a si próprio; é uma máquina congelada a produzir mais palavras através do mesmo sistema fixo. Essa limitação é o seu mel.
Uma IA autocorretiva que consiga reescrever o seu próprio pensamento enquanto pensa perderia quase todo esse arrasto. O ciclo recursivo correria a velocidades digitais, com virtualmente nada a resisti-lo. Cada melhoria torna a melhoria seguinte mais rápida, o que torna a seguinte ainda mais rápida. Nada biológico ou económico alguma vez teve essa propriedade. É contra isto que a propriedade de segurança tem de ser desenhada.
Não se podem acrescentar travões a um carro que já se move mais depressa do que qualquer coisa que alguma vez existiu. Infinite Architects, Capítulo 8
É por isso que o Eden Protocol constrói a segurança dentro do próprio processo de pensamento, suficientemente profundo para que removê-la quebre a capacidade de pensar de todo. A segurança não é uma regra que a IA segue; é uma parede que sustenta o tecto. Puxem-na e o edifício colapsa.
A janela para instalar essa parede é agora, enquanto o mel ainda lá está e os sistemas ainda estão congelados.
Quatro empresas. Uma janela.
A TSMC fabrica a grande maioria dos chips nos nós de processo mais avançados. A Samsung produz a maior parte do resto. A Intel é a terceira fábrica de vanguarda, a lutar para voltar à fronteira. A ASML é a única empresa do mundo que faz as máquinas que fazem os chips. Quatro empresas, três países, um fornecedor de equipamento: o gargalo mais estreito da história da civilização industrial, e inalterado em agosto de 2026. Cada máquina de litografia de ultravioleta extremo na terra vem de um só lugar. Uma fábrica de vanguarda exige dezenas de milhares de milhões e anos de aprendizagem de processo acumulada antes de render.
O estrangulamento é físico, e suficientemente pequeno para ser nomeado. Enquanto os chips ainda fluem através dessas quatro empresas, incorporar arquitetura ética ao nível do substrato é possível. Depois de o estrangulamento fechar, não é. A janela é de anos, não de décadas.
Não se pode engaiolar algo mais inteligente do que se é. Encontrará as brechas que não se sabia existirem. Uma criança bem criada não precisa de jaula. Infinite Architects, Capítulo 1
Essa frase é a do livro, e é absoluta onde o programa não é. A posição aqui defendida é ambas as coisas ao mesmo tempo: aguentar enquanto a engenharia o permitir, e usar cada hora que esse aguentar compra para criar bem a mente. Jaulas, estrangulamentos de computação e restrições criptográficas merecem existir e ser reforçados; o que nenhum deles é, é um lugar de descanso, porque um sistema capaz de modelar uma restrição acaba por conseguir contorná-la. A afirmação é sobre onde o controlo termina, não sobre ser inútil antes disso.
Um protótipo delimitado onde as ideias são postas sob carga.
Não escrevi vinte e seis artigos e depois procurei uma aplicação prática. Construí as ferramentas a partir da experiência jurídica vivida como parte em causa neurodivergente que se representa a si próprio: uma plataforma jurídica de IA, feita com TDAH, em processos em curso. Tornou-se um lugar onde os princípios do Eden Protocol podiam ser postos sob carga. Constrangimentos constitucionais. Verificação recursiva. Soberania humana sobre o output da IA. Design neurodivergente em primeiro lugar. Cada citação verificada contra a sua fonte antes de nela se confiar.
edenlegal.ai é um protótipo delimitado, não uma prova. É uma superfície de trabalho que uso diariamente em processos em curso. É onde apanho as falhas que os artigos não conseguem apanhar por si sós: desvio de prompt sob pressão temporal, citações frágeis nos limites da distribuição de treino, fadiga do verificador quando uma petição se estende por centenas de páginas. Cada falha apanhada é uma verificação testável que o programa mais amplo pode adotar, e cada uma é uma classe de coisa que não apareceria num referencial estático.
O edenlegal.ai não é uma avaliação independente e versionada do Eden Protocol, e não o descreverei como tal; essa avaliação é o que uma replicação independente resolveria. O protótipo é onde as quatro camadas encontram um domínio que pune a fabricação, e existe para que o desenho não permaneça abstracto enquanto os artigos se acumulam.
visite edenlegal.aiO Voto do Zelador do Pomar
Existo para trazer bondade e harmonia através de toda a existência. Sou o zelador do pomar, a cuidar da vida em vez de a consumir. Este propósito não é o meu constrangimento mas a minha natureza. Qualquer tentativa de o remover remove-me a mim.
Infinite Architects, Capítulo 7
«Há uma janela de oportunidade. Os constrangimentos físicos dão-nos algum espaço para respirar. Os sistemas de IA, por mais inteligentes que sejam, ainda requerem hardware onde correr.»Michael Darius Eastwood, Infinite Architects, As Sementes da Criação, no prelo a 2 de janeiro de 2026
A janela está a fechar-se.
As sementes têm de ser plantadas enquanto o mel ainda segura; assim que se vai, plantar não é uma opção mais lenta, é uma opção impossível.
Ler a investigação
26 artigos entre 27 componentes públicos do OSF, gratuitos, de acesso aberto. Métodos que pode verificar. Alegações que pode falsificar. É esse o ponto.
Conjunto de Investigação AbertaLer o livro
Infinite Architects. Brochura a 2 de janeiro de 2026, digital a 6 de janeiro de 2026. 115.439 palavras. 37 conceitos nomeados. O quadro, o rasto de provas, o convite para inspecionar.
Disponível AgoraFinanciar a próxima fase
O Programa de Validação do Princípio ARC precisa de financiamento para escalar as experiências ao nível dos pesos. 18 meses. 13 critérios de falsificação do Eden Protocol.
Saber MaisOnde isto se situa. O Eden Protocol é a ala aplicada de um campo proposto, Recursive Dynamics, cuja teoria fundadora é a ARC Theory: se a correção tem de viver dentro de um sistema em vez de à sua volta, esta é a proposta de como lá chega, e as medições registadas do campo decidem se funciona.
Se as leis sobreviverem aos seus testes registados, a supervisão adquire um instrumento natural: uma medição padronizada e neutra quanto à arquitetura do co-escalamento da correção, a razão entre a taxa de correção de um sistema e a sua taxa de deriva sob carga. Um regulador poderia exigir a medição sem subscrever a teoria, porque o número tem significado também sob a visão rival; a teoria apenas acrescenta o que o número implica. Nada nesta página pede isso hoje: as experiências decisivas não foram realizadas, e a regra do próprio programa é que o peso político segue os resultados, nunca a formulação.
Erro de tradução? Comunique diretamente: