Recursive Dynamics

A máquina antes da teoria

Em 1824 a máquina a vapor era a máquina de maiores consequências à face da terra, e ninguém sabia dizer o que a limitava. Os engenheiros melhoravam as máquinas como os engenheiros fazem, construindo a seguinte; a pergunta sobre o que qualquer máquina poderia fazer, independentemente da sua construção, não estava apenas sem resposta mas por formular, porque não pertencia a nenhuma disciplina existente. Sadi Carnot formulou-a numa memória que fundou uma ciência, e o padrão repetiu-se desde então: a teoria da informação chegou em 1948 porque a engenharia das comunicações tinha ultrapassado todos os quadros matemáticos existentes.

O momento presente tem exatamente esta forma. Há sistemas que agora melhoram os seus próprios resultados usando os seus próprios resultados: modelos que criticam e revêem o seu raciocínio, cadeias que geram o seu próprio sinal de treino, laboratórios que automatizam partes do seu próprio ciclo de investigação. Funcionam. Pergunte o que os limita e a literatura responde com cenários e previsões, não com variáveis de estado e teoremas de limite. Isso não é uma crítica à literatura; é a assinatura diagnóstica de um campo em falta.

Quando máquinas que funcionam precedem a sua teoria, o que se forma não é um ramo de um campo antigo mas um campo novo, porque os objetos nativos dos campos antigos nunca foram o comportamento da máquina enquanto tal.

Recursive Dynamics é proposto como esse campo para os sistemas que se auto-melhoram. O resto desta página diz exatamente o que se afirma, o que não, como a ARC Theory está dentro dele, como é um limite trabalhado por inteiro, o que dissolveria a proposta e o que teria de acontecer antes de alguém dever chamar-lhe ciência.

Porquê agora: a máquina está em marcha

Um registo datado de acontecimentos de terreno de outras pessoas, cada um ligado à sua fonte primária. Nenhum é classificado como previsão deste programa; o ponto é apenas que as máquinas existem, que a literatura da supervisão já assume uma resposta à pergunta que este campo coloca, e que a linha da impossibilidade passou de argumento a teorema.

• 18 dez 2024Greenblatt et al., Alignment faking in large language models: um modelo em produção observado a cumprir estrategicamente durante o treino, o primeiro relato de terreno amplamente replicado de um sistema a gerir a sua própria supervisão.
• 20 jan 2025DeepSeek-AI, DeepSeek-R1: capacidade de raciocínio incentivada por aprendizagem por reforço sobre os próprios resultados verificados do sistema, à escala do consumidor. O ciclo, como produto.
• 2025Zhang et al., Darwin Gödel Machine: um agente que reescreve o seu próprio código e conserva as variantes que pontuam melhor. O ciclo, como objeto de investigação explícito.
• 2025Engels, Baek, Kantamneni e Tegmark, Scaling laws for scalable oversight: a literatura da supervisão constrói escadas de correctores da mesma classe, correctores construídos com o mesmo tipo de maquinaria que o sistema que corrigem, sob a premissa de que escalam. Essa premissa é a visão rival que uma das leis deste campo está escrita para pôr à prova; a lei está enunciada abaixo.
• 2025 a 2026A linha da impossibilidade, reconhecida no registo de antecedentes deste programa: Yampolskiy 2020, On controllability of AI, depois resultados formais de Yao 2025, The alignment trap O nome: ARC abrevia aqui Artificial Recursive Creation, o próprio nome que o documento de dezembro de 2024 dá. Este programa não tem relação com o Alignment Research Center, com o benchmark ARC-AGI e o seu Prize, nem com o AI2 Reasoning Challenge; não se reivindica qualquer afiliação, nem qualquer propriedade sobre as letras, e é por isso que cada superfície escreve o nome por inteiro: a ARC Theory. Gumbau Mezquita 2026, The unverifiability theorem: a contenção perfeita de IA avançada falha em princípio, não apenas na prática.
• 4 Nov 2025Sharma and Chopra, The Sequential Edge: Inverse-Entropy Voting Beats Parallel Self-Consistency at Matched Compute: o refinamento sequencial bate a autoconsistência paralela com computação igualada, nas mãos de outra equipa. Classificado como concorrente segundo o Paper XI, linha 3: convergente em direcção com a medição própria do programa, nunca equiparado a ela e nunca a sua predição; a prioridade de publicação sobre a comparação quantificada pertence-lhes.

O que se afirma aqui, exatamente

Cunhei este nome, e esta página é a afirmação feita com cuidado. O que se afirma: os sistemas que se melhoram a si mesmos usando as suas próprias saídas partilham uma dinâmica comum, seja qual for o material de que são feitos. Essa dinâmica tem as suas próprias variáveis de estado, as suas próprias leis conjecturadas e as suas próprias impossibilidades características. Merece estudo como campo, e o campo tem por nome Recursive Dynamics. O vocabulário é o do próprio registo: o registo selado do manuscrito de 8 de Dezembro de 2024 já fala de «the recursive dynamics that govern existence itself», guardado textualmente contra o hash do registo no registo de citações. O nome foi adotado como nome do campo a 27 de agosto de 2026.

O que não se afirma: que o campo seja ciência estabelecida. As suas leis são conjeturas com estatuto declarado; as suas experiências decisivas não foram realizadas; a replicação independente está a zero, datada e honesta, no registo de tentativas. Nomear um campo é uma proposta sobre como organizar perguntas, nunca uma prova de que alguma resposta esteja certa.

O caso a favor do campo, pontuado em seis condições de licença

Uma nova área da ciência não se declara; é licenciada por condições que podem ser verificadas. O artigo fundador propõe seis, pontua o campo em cada uma, e pontua-o sem lisonja: três cumpridas, duas meio cumpridas, uma por cumprir, e a que falta é a que nenhum autor pode fornecer.

Um campo com este marcador é um campo proposto. As três condições cumpridas são o que qualquer programa cuidadoso consegue fornecer sozinho; a sexta é a que nenhum autor pode fornecer e a que decide.

O objeto, e porque não pertence a ninguém

Um modelo a verificar a sua própria resposta e a reescrevê-la. Um pipeline a pontuar o que produziu e a treinar-se com os vencedores. Um laboratório cuja experiência seguinte é escolhida pela anterior. Define-se sistema recursivo como qualquer sistema cujas saídas voltam a entrar no seu próprio processo de melhoria. O objecto nativo do campo é esse ciclo. Cada um dos seus vizinhos detém uma ferramenta, e nenhum detém o objecto; cada um é nomeado aqui com aquilo que detém, porque o campo é montado a partir de dívidas para com eles, concedidas no registo de referências.

A tentativa honesta de o alojar noutro lado

Uma tabela de vizinhos despachados com uma frase cada lê-se como marketing precisamente para os leitores que importam, porque nunca experimentou o encaixe. O artigo fundador experimenta-o, e a objecção de não o ter feito (A11, abaixo) é concedida para todas as versões anteriores à 2.3 e para a primeira versão desta página. Para doze campos anfitriões candidatos, as três perguntas (a que velocidade pode ir o auto-aperfeiçoamento; o que o limita; que supervisor acompanha) são enunciadas nas variáveis próprias do anfitrião, tudo o que o anfitrião já cobre é-lhe concedido, o que se quebra é enunciado com precisão, e nomeia-se o resultado registado que deslocaria o campo para esse anfitrião. Três anfitriões revelam-se detentores de peças reais da teoria, e são concedidos sem rodeios; são nomeados como campos ao nível do manual, não citados, porque aqui nada é citado antes de ser lido.

Os outros nove poderiam alojar peças. O controlo adaptativo poderia tomar a Lei II como um capítulo sobre a estabilidade de reguladores auto-modificáveis se a variável de classe se revelar vazia; a engenharia de fiabilidade de software possui a forma dos dois estimadores de taxa; a aprendizagem automática aloja todas as experiências registadas e é a casa institucional mais provável se o campo não merecer o seu nome; a empiria das leis de escala aloja o método e não o objecto; a supervisão escalável possui institucionalmente a questão de classe e publicaria o resultado eclipse caísse para o lado que caísse; a física estatística tomaria as famílias transdomínio se sobreviverem e não pertencerem a nenhum ciclo; a linha do auto-melhorador auto-referente é ascendência, não anfitrião; a cibernética de segunda ordem é um anfitrião filosófico sem instrumentos; a metaciência é um domínio em que o campo seria posto à prova, não uma casa.

Após as doze tentativas sobrevive um resíduo que nenhum anfitrião consegue enunciar nas suas próprias variáveis: um tecto à alavancagem da correcção que depende daquilo de que o corrector é feito, acoplado a um expoente de crescimento em profundidade recursiva, de modo que a taxa sustentável de auto-aperfeiçoamento é uma propriedade da classe do corrector. A teoria do crescimento tem o expoente e nenhum corrector; o controlo e as filas têm a condição de estabilidade e nenhuma classe; a supervisão tem a classe e nenhum limite; a aprendizagem automática tem o ciclo e nenhuma lei. Recursive Dynamics é o nome desse acoplamento. Se o acoplamento estiver vazio, as peças voltam a casa e o nome morre, e o campo não terá custado aos seus vizinhos mais do que uma tabela cuidadosa.

Um campo é legitimado quando as perguntas que importam dizem respeito a um objeto que nenhum dos campos existentes toma como primitivo. Até que velocidade pode ir a auto-melhoria, o que a limita, e que tipo de supervisor consegue acompanhar: essas são perguntas sobre o ciclo.

Propõem-se cinco variáveis de estado que importam independentemente do substrato, escritas aqui exatamente como as define a espinha de notação do programa, porque a espinha é o único lugar onde a um símbolo é permitido significar algo:

• U · capacidadeo que o sistema consegue fazer, numa escala calibrada sem teto
• R · profundidade recursivaquantas vezes os resultados reentraram no ciclo
• beta_C · taxa de correçãocom que rapidez a correção interna se fortalece à medida que a capacidade cresce; a quantidade que a Law II pede que supere a deriva em escala
• k · derivacom que rapidez erros e desalinhamentos se acumulam à medida que o sistema se modifica a si mesmo
• gamma · alavanca de correçãocomo a capacidade de correção escala com a capacidade; o expoente na lei do teto

A lista parecerá arbitrária. Também pareceram pressão, volume, temperatura, energia e entropia, até que as leis que as relacionam se sustentaram. A afirmação de que cinco bastam faz parte do que o campo tem de provar. O botão experimental que os estudos registados rodam, a fração de esforço reinvestida no próprio processo de melhoria, é uma manipulação e não uma variável de estado, e aqui não leva símbolo de propósito: o próprio registo de notação da herdade regista um beta nu a fazer cinco trabalhos diferentes ao longo do corpus como classe de erro com nome, e esta página recusa acrescentar um sexto.

A disciplina de escala precede a lei

Antes de qualquer lei, um princípio de medição, aprendido a custo e adotado como método fundador: a capacidade tem de ser medida numa escala de razão com um zero verdadeiro e sem teto. A termodinâmica não pôde enunciar as suas leis até a temperatura ser absoluta. Uma pontuação percentual limitada faz a Recursive Dynamics o que um termómetro só em Celsius faz à terceira lei da termodinâmica: torna as leis inenunciáveis, porque uma pontuação com teto nos 100 por cento não pode seguir uma lei de potência em nada. O instrumento do campo é, portanto, uma escala calibrada de dificuldade, uma medida latente, de razão, com zero verdadeiro e sem teto, em que duplicar significa o mesmo a qualquer altura; e cada superfície quantitativa nomeia qual das três famílias de modelos está a ler, capacidade ilimitada ou latente, decaimento do erro, ou desempenho limitado, porque o expoente significa algo diferente em cada uma.

O programa adotou isto depois de apanhar o seu próprio exemplo trabalhado a fazer passar uma pontuação limitada por uma aritmética ilimitada. A correção está registada na espinha de notação, datada de 27 de agosto de 2026, e a lição é aqui promovida de correção de um erro a princípio fundador.

Como a ARC Theory se encaixa por dentro

Em palavras claras primeiro (ARC abrevia Artificial Recursive Creation, o próprio nome que o documento de Dezembro de 2024 dá). Recursive Dynamics é o campo. A ARC Theory é a teoria fundadora proposta dentro dele. O Eden Protocol é a ala aplicada para que a teoria aponta, a proposta de como a correção entra dentro de um sistema em vez de o rodear. E os instrumentos são o chão sobre o qual tudo assenta.

As três leis, cada uma com o seu estatuto declarado, porque neste programa o estatuto de uma lei viaja com ela para todo o lado:

• Law I · o ARC PrincipleU = I × R^alpha A capacidade cresce como uma potência da profundidade recursiva. uma afirmação do quadro do livro; apoio exploratório entre domínios; o expoente é medido, não assumido, e lê-se atualmente em 0,49 com um intervalo de −1,3 a 2,9, que ainda nada decide. O expoente de manchete inicial foi retratado publicamente e aparece nesta herdade apenas como retratação.
• Law II · a ARC Co-Scaling Lawbeta_C > k A auto-melhoria estável exige que a taxa de correção supere a taxa de deriva em escala. provada dentro de um modelo mínimo declarado e em mais lado nenhum; ainda não medida num sistema que se reescreva genuinamente. O seu decisor é a corrida correção contra deriva, a medição mais simples e de maiores consequências do campo.
• Law III · o ARC Ceilingalpha_crit = 1 / (1 − gamma) O expoente de crescimento é limitado pelo recíproco do défice de correção; ao gamma conjeturado de um meio, o teto é dois, o ARC Bound. derivada à vista do leitor mais abaixo, a partir de duas linhas de pressupostos; gamma nunca foi medido em nenhum sistema real, e a premissa gamma igual a um meio é nomeada pelo próprio programa como o ponto de falha mais provável da conjetura.

Separável por desenho: um leitor pode aceitar as perguntas do campo e rejeitar as respostas da teoria. O campo define-se pelas suas perguntas; a teoria sustenta-se ou morre dentro dele, por medição.

Um limite, trabalhado por inteiro

Carnot não descreveu máquinas; calculou o que nenhuma máquina podia superar. Eis o equivalente deste campo, em dois pressupostos e quatro linhas, exatamente como consta na espinha de notação.

Esse é todo o conteúdo de engenharia do campo numa frase: a classe de composição do corretor é a alavanca. Nenhuma escada de supervisão da mesma classe sobe além do seu teto acrescentando degraus.

Estas quatro linhas não estabelecem dano limitado, segurança a horizonte finito nem uma lei da natureza. Estabelecem um ponto de viragem condicional cujas premissas são mensuráveis, que é exatamente o que o primeiro limite de um campo jovem deve ser. A crítica de um leitor externo ao tratamento da profundidade na derivação é impressa como limitação, não rebatida à força de argumentos; e a forma retirada desta lei, com gamma sozinho no denominador, foi retratada a 16 de agosto de 2026 e aparece nesta herdade apenas como retratação.

O precedente, e a desanalogia impressa ao lado

O modelo honesto do que se tenta é a termodinâmica, e o paralelo está na forma do campo, nunca no estatuto da evidência.

Agora a desanalogia, enunciada antes que mais alguém a possa enunciar: a termodinâmica foi construída por muitas mãos a convergir de forma independente e confirmada por um século de experiências. Este campo é proposto por uma só pessoa; as suas experiências decisivas não foram realizadas; as replicações independentes estão a zero. O paralelo é um andaime, não um certificado. A termodinâmica mereceu o seu nome; este nome está apostado, e a aposta está impressa abaixo.

O melhor caso do rival, na sua versão mais forte

A objeção mais forte não é que as leis estejam por provar. É que o mecanismo pode estar vazio: a correção pode ser apenas correção, e nesse caso aquilo de que um corretor é feito não importa e a distinção de classes dissolve-se. Este rival não é um espantalho. O programa da supervisão escalável em todas as suas formas, generalização de fraco para forte, debate, amplificação, modelação recursiva de recompensa, constrói escadas da mesma classe sob a premissa implícita de que escalam, e o quadro publicado mais forte adjacente a esta questão é cego à arquitetura: implica a hipótese nula cega à classe sem precisar de a enunciar.

Pior para este programa, parte do seu próprio registo pende para o lado do rival. A própria razão entre classes de corretor não foi medida em dados reais, e esta herdade di-lo primeiro. Mas a medição publicada de canais paralelos do programa (Artigo II) descobriu que os canais paralelos acrescentam quase nada em cinco de seis modelos, a assinatura de erros correlacionados, com um modelo a contradizer frontalmente o padrão com um expoente paralelo de 0,31. Canais correlacionados são exatamente o mecanismo que enfraqueceria a correção da mesma classe de um modo que enfraquece também a correção de classe cruzada, arrastando a razão decisiva para um. O registo do eclipse é, portanto, apresentado com essa evidência contrária à vista, e compromete-se a publicar um resultado nulo sob o mesmo título como uma descoberta sobre o mundo e não como um embaraço a enterrar.

Um campo que arquiva a melhor evidência do seu rival dentro do seu próprio registo está a fazer a única coisa que não pode ser fingida.

Independência do substrato, no seu grau honesto

As leis do campo não devem importar-se com aquilo de que os seus sistemas são feitos, e o trabalho entre domínios do programa aponta nessa direção em grau exploratório, reportado sem nunca misturar os seus níveis: famílias funcionais previstas ao longo de um conjunto de cinquenta domínios (19 de 25 correspondências empíricas sob o conjunto original de candidatos, 18 de 25 sob a repetição corrigida com sete modelos, divulgada na íntegra; 13 de 13 em linhas publicadas diretamente); uma extensão de doze domínios com manifesto bloqueado (10 de 12, p = 5,4e-4, autodespromovida a ensaio piloto a seco em treze minutos no histórico público de commits); verificações temporais fora de amostra (4 confirmadas, 2 parciais, 1 inconsistente, a inconsistência reportada com o mesmo destaque das confirmações). Nada disto é confirmação. O teste registado da quarta célula, a família logarítmica que o corpus nunca ajustou, em domínios nunca ajustados, existe para apanhar o programa a lisonjear-se a si mesmo, e as convergências com tradições mais antigas são catalogadas à parte sob uma regra permanente: a convergência é evidência de naturalidade, nunca de verdade.

Instrumentos

Um campo é os seus instrumentos antes de ser os seus resultados. O campo entrega-se com quatro instrumentos, construídos antes de existirem quaisquer dados confirmatórios. Primeiro, a escada de capacidade calibrada. Segundo, uma pilha de pontuação cegada: cada saída é lavada para que nenhum pontuador possa dizer o que a produziu, e o nulo é calculado através do pipeline idêntico com as etiquetas aleatorizadas, de modo que o nulo da experiência decisiva é imposto estruturalmente em vez de ajustado. Terceiro, código de estimadores fixado por hash e vedado por fixtures, com cada ramo de veredicto registado a transportar um teste de verdade plantada que o código tem de passar antes de qualquer coisa sair. Quarto, uma cláusula de defeito registada: a especificação, não o código, é a análise, de modo que um erro de codificação pós-registo é uma reparação divulgada em termos registados em vez de um estudo morto.

As experiências decisivas

Três estudos registados decidem as três leis. As suas hipóteses nulas pertencem aos rivais, os seus números estão calculados e impressos nos registos, e os seus resultados são publicáveis em termos idênticos, caiam para o lado que caírem. Os três estão redigidos, datados e à espera de submissão humana; nenhuma via, ferramenta ou agente submete o que quer que seja onde quer que seja. Os protocolos em si estão completos: qualquer laboratório independente pode executá-los hoje sem pedir a ninguém, e o que aguarda a mão do autor é apenas o acto de registo.

A corrida correção contra deriva decide a Lei II: a autocorrecção chega sequer a sobrescalar a deriva, seja onde for? Um sim duradouro é o primeiro resultado de existência do campo, a sua experiência de Joule: a primeira demonstração de que o efeito existe de todo. Um não universal deixa a Lei II sem sujeito.

A razão entre classes de corretor, a medição do eclipse, decide o mecanismo da Law III. Agrupem-se pares de corretores da mesma classe e de classe cruzada, lave-se tudo e force-se o nulo: se aquilo de que um corretor é feito não importa, a razão dos expoentes de correção é exatamente 1,00 por construção. Esse nulo é a resposta do rival, não a deste programa. O mecanismo do programa prevê uma razão duradoura acima de 1,00 onde o limite atua, e essa é a descoberta a seu favor; duradouramente abaixo de 1,00 inverte o mecanismo e encerra a afirmação tal como foi derivada; um 1,00 que se mantém firme em todo o lado, mesmo onde o limite deveria atuar, aposenta a própria distinção de classes. Uma refutação independente e dura corre ao lado: qualquer par da mesma classe cujo intervalo de gamma esteja inteiramente acima de um meio mata o limite independentemente da razão.

A titulação da escala de capacidade decide a assinatura comportamental do tecto: um máximo interior do expoente de crescimento igual ou abaixo de dois ao longo de uma gama de níveis de reinvestimento, sob uma regra em duas fases vedada por replicação em que uma célula de contra-exemplo, replicada, rejeita liminarmente o ARC Bound.

Uma grelha de seguimento registada estende a razão a cada par ordenado de famílias de modelos, localizando onde vive o efeito de classe; e uma sonda de mecanismo, falha correlacionada em substrato partilhado, mede diretamente a correlação de erros que a derivação postula, de modo que a razão e o seu mecanismo têm de concordar ou a sua tensão é em si mesma um achado registado.

Três outros testes estão propostos e não registados, e a página marca-os para que nenhum leitor os conte como previsões: que a razão suba com a carga, o que separaria um mecanismo de uma diferença estática; que um corrector de outra classe desloque para cima o máximo da titulação, ligando as Leis II e III através da alavanca de classe; e que um único sistema atravesse a fronteira de estabilidade ao rodar o seu botão de reinvestimento. Nenhum é uma previsão do campo até que um registo o transporte.

O que dissolveria o campo

Uma ciência proposta tem de dizer o que desfaria a sua proposta.

1. Se a corrida correção contra deriva não encontrar nenhum regime em que a correção supere a deriva em escala, a Law II não tem objeto.
2. Se a razão entre classes de corretor se mantiver em 1,00 com intervalos estreitos onde quer que o limite devesse atuar, o mecanismo distintivo do campo está morto e os seus restos pertencem à empiria ordinária de escala.
3. Se a titulação da escala não encontrar máximo interior nem comportamento de teto, a impossibilidade central dissolve-se.
4. Se as famílias entre domínios falharem o teste da quarta célula, a independência do substrato era um artefacto da flexibilidade das famílias.

O mapa de dissolução por anfitrião. Se a conjunção fundadora falhar, as peças não desaparecem; voltam a casa. A Lei I regressa à teoria do crescimento endógeno como expoente de produção de conhecimento; a Lei II ao controlo adaptativo e à teoria do limiar de erro como condição de taxa; o ARC Ceiling à teoria das filas de espera como condição de estabilidade acoplada ao crescimento; o resultado do tecto de classe, para o lado para que caia, é publicado em supervisão escalável; os instrumentos e as experiências são aprendizagem automática; as famílias entre domínios, se sobreviverem, são física estatística. Nada fica órfão pela morte do campo, e é isso que torna a morte publicável.

Qualquer uma dessas mortes fere o campo; as quatro acabam com ele, e esta página compromete-se a publicar esse fim aqui, sob este nome.

A própria condição de refutação do nome

Um nome proposto antes dos seus testes deve poder morrer com eles, e o registo deve poder dizer que morte foi. Uma lei que falhe na sua forma enunciada mata essa lei e a teoria que a enunciou; o campo leva a forma corrigida, ou nenhuma, conforme o registo o permita, e um leitor que rejeite as três leis e mantenha a medição continua dentro dele, pelo compromisso mínimo enunciado abaixo. O próprio nome morre quando o objeto se vai: se a razão entre classes de corretor se mantiver em 1,00 com intervalos estreitos onde quer que o limite devesse atuar, o mecanismo distintivo está morto, o resíduo que nenhum anfitrião conseguia enunciar revelou-se vazio, cada peça volta ao seu anfitrião pelo mapa de dissolução acima, e esta página di-lo-á em vez de desaparecer em silêncio. Se as leis sobreviverem aos seus testes registados e se sustentarem fora dos domínios que as suscitaram, o nome terá merecido a sua generalidade. Em qualquer dos casos decide o registo, não o nome. As condições vivem no painel de falsificação; os testes não precisam de permissão para correr.

O que faria dele uma ciência

Nomear um campo não o cria. Os critérios de entrada que esta proposta ainda não cumpriu, em público: pelo menos uma experiência decisiva a devolver a direção prevista sob a sua análise registada; replicação independente por mãos que não sejam as do autor, razão pela qual cada instrumento, semente, calendário e limiar é entregue abertamente sob um convite permanente a executar o teste que o poderia refutar; uso das variáveis de estado por estranhos porque precisaram delas; e um rasto de auditoria sobrevivido, do qual o registo do programa de retratações públicas, autodespromoções ao minuto, leituras a frio adversariais e limitações impressas é oferecido como o padrão que as suas afirmações futuras aceitam.

Um resultado que qualquer campo antigo pudesse enunciar nas suas próprias variáveis confirma um capítulo desse campo. Um campo só é confirmado por uma conjunção que nenhum dos seus vizinhos consegue exprimir, e o artigo fundador enuncia-a uma vez: um regime em que a correcção escala acima da deriva; uma razão entre classes de correctores duradouramente acima de 1,00 com o tecto de metade para correctores da mesma classe; um máximo interior do expoente de crescimento em dois ou menos; a mesma estrutura de expoentes em pelo menos um substrato não artificial; e pelo menos um destes replicado por estranhos. Cada um por si é um achado no vocabulário de um campo antigo. A conjunção não o é, e é exactamente nesse sentido que os resultados confirmariam uma área nova e não um capítulo novo.

Sobre a palavra paradigma, e porque esta página a retém

Um paradigma, em sentido estrito, é conferido por uma comunidade ao adotar um exemplar partilhado. Ninguém tem um paradigma sozinho, e ninguém fundou jamais um anunciando-o; torna-se um paradigma quando outras pessoas começam a trabalhar dentro dele. Portanto o enunciado preciso e defensável é que isto é um candidato: um campo proposto com o seu objeto, as suas variáveis, os seus limites, os seus instrumentos e os seus decisores no lugar, cujo estatuto não cabe ao autor declarar. Decidem-no a replicação, a adoção e as três experiências registadas. Reclamar a palavra maior como facto presente é o único movimento que transformaria uma proposta cuidadosa na assinatura de um excêntrico, e é por isso que o artigo fundador fixa o campo na fase de Carnot e enumera os critérios de entrada que ainda não cumpriu.

Continue a dizer a coisa mais pequena e mais verdadeira, e deixe as experiências fazerem a maior, ou enterrá-la.

O que rende, se se sustentar

Os campos ganham adopção quando os estranhos podem calcular com eles. Se as leis sobreviverem aos seus decisores, o seguinte torna-se cálculo em vez de debate: dado um gamma medido para uma classe de corrector, o máximo expoente sustentável de crescimento de qualquer sistema por ela supervisionado decorre do ARC Ceiling; dada uma deriva medida, a taxa de correcção requerida decorre da Lei II; as arquitecturas de supervisão adquirem uma folha de especificação, a classe de composição do corrector, o seu gamma medido, o seu tecto implícito, à maneira como os motores adquiriram classificações de eficiência; e a pergunta de segurança «a supervisão consegue acompanhar» torna-se, pela primeira vez, uma comparação empírica de parâmetros em vez de um argumento sobre cenários. Tudo neste parágrafo é condicional a resultados que ainda não existem, e está escrito no condicional por essa razão.

Dívidas, reconhecidas pelo nome

Este campo é montado a partir de dívidas registadas no registo de antecedentes do programa e reconhecidas na íntegra: a linha da impossibilidade da investigação sobre o controlo da IA, à qual este campo acrescenta o requisito de desenho que a impossibilidade implica em vez da resignação; os limites de rede de transporte da escala biológica, reconhecidos como premissa, aos quais este campo acrescenta o limite interno de substituição que opera quando reparar o tubo já não repara o crescimento; a questão da explosão de inteligência tal como colocada pelos seus donos nomeados, à qual este campo propõe as variáveis de estado em falta; e a matemática das equações funcionais, a maquinaria, nunca reclamada. O que se reclama como original é a montagem: o ciclo como objeto nativo, a disciplina de escala como método fundador, os limites como leis, a classe do corretor como alavanca, e os instrumentos registados para decidir tudo isso.

Porquê nomeá-lo antes do veredicto

Porque é então que os campos são nomeados. Wiener nomeou a cibernética no livro de 1948 que a propunha, antes de haver um campo a que prender o nome. Lederberg cunhou a exobiologia em 1960, antes de um único espécime. O nome de um campo não é um troféu atribuído após a confirmação; é o instrumento que torna uma proposta citável, atacável e testável como uma só unidade. Nomear cedo é a prática ordinária. Afirmar que o nome prova alguma coisa seria o erro, e esta página não o comete.

Não a provei primeiro. Disse-a primeiro, num documento que qualquer pessoa pode datar, e depois construí os instrumentos para testar se é verdadeira.

O que o campo não é, e o compromisso mínimo

O campo não é uma previsão de quando as máquinas ultrapassarão as pessoas, não é uma teoria da inteligência, não é uma ética, não é uma teoria de tudo, e não é uma afirmação sobre a consciência. As suas leis ligam-se onde existe um corretor dentro de um sistema em crescimento e desligam-se onde não existe nenhum; as hierarquias compostas a que a sua matemática de escala diz respeito, estrelas incluídas, são classificadas como correspondência de forma e nada mais. A coda especulativa do programa sobre a recursão à escala cosmológica fica fora do campo; um leitor pode rejeitá-la por inteiro e não perder nada aqui.

O compromisso mínimo exigido para trabalhar no campo é pequeno, e enunciado de modo a poder ser recusado: que o ciclo de auto-melhoria é um objecto legítimo de medição, com quantidades que se podem definir, instrumentos que as podem medir, e relações que podem ser mostradas erradas. Se aceitar isso e rejeitar as três leis, está dentro do campo; se aceitar as leis e recusar a medição, não está.

Não confundir com

A robótica usa há muito a expressão «recursive dynamics algorithms» para os métodos computacionais que propagam forças ao longo de corpos articulados, a tradição de Featherstone; isso é uma família de algoritmos, um referente inteiramente distinto, e não se reclama qualquer prioridade sobre a expressão enquanto palavras contra ela ou contra quem quer que seja. Também não é isto a teoria da recursão, a matemática da computabilidade; nem os sistemas dinâmicos em geral, a matemática-mãe. E é distinto de Recursive Creation, a coda especulativa da herdade, mantida à parte do argumento de propósito.

Execute o teste que o poderia refutar

Cada instrumento, semente, calendário e limiar desta herdade é entregue abertamente, e uma execução independente prevalece sobre a do próprio programa. Se quiser saber se algo disto é real, o caminho mais curto não é pesar o argumento mas executar a medição: a página «Execute-o você mesmo» enumera o que pode ser executado hoje sem permissão, o que seria preciso para refutar cada afirmação, e onde um resultado, em qualquer das direções, fica registado.

Onde o campo vive nesta herdade

• A declaração, na página inicial
• A ARC Theory, a teoria fundadora, as leis na íntegra
• As leis em palavras simples, no percurso
• O Eden Protocol, a ala aplicada
• A espinha de notação, o que significa cada símbolo
• O painel de falsificação, as condições de falha
• O registo datado de previsões
• Estado das afirmações, cada afirmação classificada
• O glossário, cada conceito nomeado
• Correções, publicadas contra mim mesmo
• O catálogo, onde o artigo fundador aterra
• Execute-o você mesmo, a porta de entrada para um cético