Recursive Dynamics

La macchina prima della teoria

Nel 1824 la macchina a vapore era la macchina più gravida di conseguenze sulla terra, e nessuno sapeva dire che cosa la limitasse. Gli ingegneri miglioravano le macchine come fanno gli ingegneri, costruendo la successiva; la domanda su che cosa potesse fare qualunque macchina, indipendentemente dalla sua costruzione, non era soltanto senza risposta ma non posta, perché non apparteneva a nessuna materia esistente. Sadi Carnot la pose in una memoria che fondò una scienza, e lo schema si è ripetuto da allora: la teoria dell'informazione arrivò nel 1948 perché l'ingegneria delle comunicazioni aveva superato ogni cornice matematica esistente.

Il momento presente ha esattamente questa forma. Ci sono sistemi che ora migliorano i propri output usando i propri output: modelli che criticano e rivedono il proprio ragionamento, pipeline che generano il proprio segnale di addestramento, laboratori che automatizzano parti del proprio ciclo di ricerca. Funzionano. Chiedete che cosa li limita e la letteratura risponde con scenari e previsioni, non con variabili di stato e teoremi di limite. Non è una critica alla letteratura; è la firma diagnostica di un campo mancante.

Quando macchine funzionanti precedono la loro teoria, ciò che si forma non è un ramo di un vecchio campo ma uno nuovo, perché gli oggetti nativi dei vecchi campi non sono mai stati il comportamento della macchina in quanto tale.

Recursive Dynamics è proposto come quel campo per i sistemi che si auto-migliorano. Il resto di questa pagina dice esattamente che cosa si afferma, che cosa no, come l'ARC Theory vi sta dentro, che aspetto ha un limite svolto per intero, che cosa dissolverebbe la proposta e che cosa dovrebbe accadere prima che qualcuno debba chiamarla una scienza.

Perché ora: la macchina è in moto

Un registro datato di eventi di campo altrui, ciascuno collegato alla sua fonte primaria. Nessuno è classificato come previsione di questo programma; il punto è solo che le macchine esistono, che la letteratura sulla supervisione presuppone già una risposta alla domanda che questo campo pone, e che la linea dell'impossibilità è passata da argomento a teorema.

• 18 dic 2024Greenblatt et al., Alignment faking in large language models: un modello in produzione osservato mentre si conforma strategicamente durante l'addestramento, il primo rapporto di campo ampiamente replicato di un sistema che gestisce la propria supervisione.
• 20 gen 2025DeepSeek-AI, DeepSeek-R1: capacità di ragionamento incentivata tramite apprendimento per rinforzo sugli output verificati del sistema stesso, su scala di consumo. Il ciclo, come prodotto.
• 2025Zhang et al., Darwin Gödel Machine: un agente che riscrive il proprio codice e conserva le varianti che ottengono punteggi migliori. Il ciclo, come oggetto di ricerca esplicito.
• 2025Engels, Baek, Kantamneni e Tegmark, Scaling laws for scalable oversight: la letteratura sulla supervisione costruisce scale di correttori della stessa classe, correttori costruiti con lo stesso genere di macchinario del sistema che correggono, sulla premessa che essi scalino. Quella premessa è la visione rivale che una delle leggi di questo campo è scritta per testare; la legge è enunciata più sotto.
• dal 2025 al 2026La linea dell'impossibilità, riconosciuta nel registro degli antecedenti di questo programma: Yampolskiy 2020, On controllability of AI, poi risultati formali di Yao 2025, The alignment trap Il nome: ARC qui abbrevia Artificial Recursive Creation, il nome dato dal documento del dicembre 2024. Questo programma non è correlato all'Alignment Research Center, al benchmark ARC-AGI e al suo Prize, né all'AI2 Reasoning Challenge; non si rivendica alcuna affiliazione, e nessuna proprietà delle lettere, motivo per cui ogni superficie scrive il nome per intero: l'ARC Theory. Gumbau Mezquita 2026, The unverifiability theorem: il contenimento perfetto dell'IA avanzata fallisce in linea di principio, non soltanto in pratica.
• 4 nov 2025Sharma and Chopra, The Sequential Edge: Inverse-Entropy Voting Beats Parallel Self-Consistency at Matched Compute: il raffinamento sequenziale batte l'autoconsistenza parallela a pari calcolo, nelle mani di un altro gruppo. Classificato come concorrente secondo Paper XI, riga 3: convergente in direzione con la misurazione propria del programma, mai equiparato ad essa e mai una sua predizione; la priorità di pubblicazione sul confronto quantificato appartiene a loro.

Che cosa si afferma qui, esattamente

Ho coniato io questo nome, e questa pagina è l'affermazione fatta con cura. Ciò che si afferma: i sistemi che si migliorano da sé usando i propri output condividono una dinamica comune, qualunque sia la loro composizione. Quella dinamica ha le proprie variabili di stato, le proprie leggi congetturate e le proprie impossibilità caratteristiche. Merita di essere studiata come un campo, e il campo prende il nome di Recursive Dynamics. Il vocabolario è quello del registro stesso: il registro sigillato del manoscritto dell'8 dicembre 2024 parla già di "the recursive dynamics that govern existence itself", una frase conservata alla lettera contro l'hash del registro nel registro delle citazioni. Il nome è stato adottato come nome del campo il 27 agosto 2026.

Ciò che non si afferma: che il campo sia scienza consolidata. Le sue leggi sono congetture con status dichiarato; i suoi esperimenti decisivi non sono stati eseguiti; la replicazione indipendente è a zero, datata e onesta, nel registro dei tentativi. Nominare un campo è una proposta su come organizzare le domande, mai una prova che una qualche risposta sia giusta.

Il caso a favore del campo, valutato su sei condizioni di licenza

Una nuova area della scienza non si dichiara; viene autorizzata da condizioni che si possono verificare. L'articolo fondativo ne propone sei, valuta il campo su ciascuna e lo valuta senza lusinghe: tre soddisfatte, due soddisfatte a metà, una non soddisfatta, e quella mancante è quella che nessun autore può fornire.

Un campo con questo tabellone è un campo proposto. Le tre condizioni soddisfatte sono ciò che qualunque programma accurato può fornire da solo; la sesta è quella che nessun autore può fornire ed è quella che decide.

L'oggetto, e perché non appartiene a nessuno

Un modello che verifica la propria risposta e la riscrive. Una pipeline che valuta ciò che ha prodotto e si addestra sui vincitori. Un laboratorio il cui prossimo esperimento è scelto da quello precedente. Si definisca sistema ricorsivo qualunque sistema i cui output rientrino nel proprio processo di miglioramento. L'oggetto nativo del campo è quel ciclo. I suoi vicini possiedono ciascuno uno strumento, e nessuno possiede l'oggetto; ciascuno è nominato qui con ciò che effettivamente possiede, perché il campo è assemblato dai debiti verso di loro, riconosciuti nel registro dei riferimenti.

Il tentativo onesto di ospitarlo altrove

Una tabella di vicini liquidati con una frase ciascuno si legge come marketing proprio per i lettori che contano, perché non ha mai provato l’incastro. L’articolo fondativo lo prova, e l’obiezione di non averlo fatto (A11, sotto) è concessa per ogni versione precedente alla 2.3 e per la prima versione di questa pagina. Per dodici campi ospiti candidati, le tre domande (quanto veloce può andare l’automiglioramento; che cosa lo limita; quale supervisore tiene il passo) sono enunciate nelle variabili proprie dell’ospite, tutto ciò che l’ospite già copre gli è concesso, ciò che si rompe è enunciato con precisione, e si nomina il risultato registrato che sposterebbe il campo in quell’ospite. Tre ospiti risultano reggere pezzi reali della teoria, e sono concessi senza riserve; sono nominati come campi a livello di manuale, non citati, perché qui nulla è citato prima di essere letto.

Gli altri nove potrebbero ospitare pezzi. Il controllo adattivo potrebbe prendere la Legge II come capitolo sulla stabilità dei regolatori automodificanti se la variabile di classe risultasse vuota; l’ingegneria dell’affidabilità del software possiede la forma dei due stimatori di tasso; l’apprendimento automatico ospita ogni esperimento registrato ed è la casa istituzionale più probabile se il campo non si guadagna il nome; l’empiria delle leggi di scala ospita il metodo e non l’oggetto; la supervisione scalabile possiede istituzionalmente la questione di classe e pubblicherebbe il risultato eclipse comunque cada; la fisica statistica prenderebbe le famiglie transdominio se sopravvivono e non appartengono ad alcun ciclo; la linea del miglioratore autoreferenziale è ascendenza, non ospite; la cibernetica di secondo ordine è un ospite filosofico senza strumenti; la metascienza è un dominio in cui il campo verrebbe messo alla prova, non una casa.

Dopo i dodici tentativi sopravvive un residuo che nessun ospite può enunciare nelle proprie variabili: un tetto alla leva di correzione che dipende da ciò di cui è fatto il correttore, accoppiato a un esponente di crescita nella profondità ricorsiva, così che il tasso sostenibile di automiglioramento è una proprietà della classe del correttore. La teoria della crescita ha l’esponente e nessun correttore; controllo e code hanno la condizione di stabilità e nessuna classe; la supervisione ha la classe e nessun limite; l’apprendimento automatico ha il ciclo e nessuna legge. Recursive Dynamics è il nome di quell’accoppiamento. Se l’accoppiamento è vuoto, i pezzi tornano a casa e il nome muore, e il campo non sarà costato ai suoi vicini altro che una tabella accurata.

Un campo è legittimato quando le domande che contano riguardano un oggetto che nessuno dei campi esistenti prende come primitivo. Quanto può correre l'auto-miglioramento, che cosa lo limita e che tipo di supervisore può tenere il passo: queste sono domande sul ciclo.

Si propongono cinque variabili di stato che contano indipendentemente dal substrato, scritte qui esattamente come le definisce la spina di notazione del programma, perché la spina è l'unico luogo in cui a un simbolo è permesso significare qualcosa:

• U · capacitàciò che il sistema sa fare, su una scala calibrata senza soffitto
• R · profondità ricorsivaquante volte gli output sono rientrati nel ciclo
• beta_C · tasso di correzionequanto in fretta la correzione interna si rafforza al crescere della capacità; la quantità che la Law II chiede di far scalare oltre il drift
• k · driftquanto in fretta errori e disallineamenti si accumulano mentre il sistema modifica se stesso
• gamma · leva di correzionecome la capacità di correzione scala con la capacità; l'esponente nella legge del soffitto

L'elenco sembrerà arbitrario. Lo sembravano anche pressione, volume, temperatura, energia ed entropia, finché le leggi che le legano non ressero. L'affermazione che cinque bastino è parte di ciò che il campo deve dimostrare. La manopola sperimentale che gli studi registrati girano, la quota di sforzo reinvestita nel processo di miglioramento stesso, è una manipolazione e non una variabile di stato, e qui non porta alcun simbolo di proposito: il registro di notazione della tenuta annota un beta nudo che svolge cinque compiti diversi nel corpus come classe di errore con un nome, e questa pagina rifiuta di aggiungerne un sesto.

La disciplina di scala precede la legge

Prima di ogni legge, un principio di misura, imparato a caro prezzo e adottato come metodo fondativo: la capacità va misurata su una scala di rapporto con uno zero vero e senza soffitto. La termodinamica non poté enunciare le sue leggi finché la temperatura non fu assoluta. Un punteggio percentuale limitato fa a Recursive Dynamics ciò che un termometro solo in Celsius fa alla terza legge della termodinamica: rende le leggi inenunciabili, perché un punteggio con tetto al 100 per cento non può seguire una legge di potenza in nulla. Lo strumento del campo è quindi una scala di difficoltà calibrata, una misura latente, di rapporto, con zero vero e senza soffitto, su cui raddoppiare significa la stessa cosa a qualunque altezza; e ogni superficie quantitativa dichiara quale delle tre famiglie di modelli sta leggendo, capacità illimitata o latente, decadimento dell'errore, o prestazione limitata, perché l'esponente significa qualcosa di diverso in ciascuna.

Il programma lo ha adottato dopo aver colto il proprio esempio svolto mentre faceva passare un punteggio limitato attraverso un'aritmetica illimitata. La correzione è registrata nella spina di notazione, datata 27 agosto 2026, e la lezione viene promossa qui da correzione di un errore a principio fondativo.

Come l'ARC Theory sta dentro

Prima in parole semplici (ARC abbrevia Artificial Recursive Creation, il nome dato dal documento stesso del dicembre 2024). Recursive Dynamics è il campo. L' ARC Theory è la teoria fondativa proposta al suo interno. L' Eden Protocol è l'ala applicata che la teoria indica, la proposta di come la correzione entri dentro un sistema anziché attorno a esso. E gli strumenti sono il pavimento su cui tutto poggia.

Le tre leggi, ciascuna con il suo status dichiarato, perché in questo programma lo status di una legge viaggia con essa ovunque:

• Law I · l'ARC PrincipleU = I × R^alpha La capacità cresce come una potenza della profondità ricorsiva. un'affermazione della cornice del libro; sostegno esplorativo tra domini; l'esponente viene misurato, non assunto, e attualmente segna 0,49 con un intervallo da −1,3 a 2,9, che non decide ancora nulla. Il primo esponente da titolo è stato ritrattato pubblicamente e compare in questa tenuta solo come ritrattazione.
• Law II · l'ARC Co-Scaling Lawbeta_C > k Un auto-miglioramento stabile richiede che il tasso di correzione scali oltre il tasso di drift. dimostrata dentro un modello minimale dichiarato e in nessun altro luogo; non ancora misurata su un sistema che si riscriva davvero. Il suo arbitro è la corsa correzione contro drift, la misura più semplice e più gravida di conseguenze del campo.
• Law III · l'ARC Ceilingalpha_crit = 1 / (1 − gamma) L'esponente di crescita è limitato dal reciproco del deficit di correzione; al gamma congetturato di un mezzo il soffitto è due, l'ARC Bound. derivata sotto gli occhi del lettore più sotto, da due righe di assunzioni; gamma non è mai stato misurato su alcun sistema reale, e la premessa gamma uguale a un mezzo è indicata dal programma stesso come il punto di cedimento più probabile della congettura.

Separabile per progetto: un lettore può accettare le domande del campo e respingere le risposte della teoria. Il campo è definito dalle sue domande; la teoria regge o muore al suo interno, per misura.

Un limite, svolto per intero

Carnot non descrisse macchine; calcolò ciò che nessuna macchina poteva battere. Ecco l'equivalente di questo campo, in due assunzioni e quattro righe, esattamente come sta nella spina di notazione.

Questo è l'intero contenuto ingegneristico del campo in una frase: la classe di composizione del correttore è la leva. Nessuna scala di supervisione della stessa classe sale oltre il proprio soffitto aggiungendo pioli.

Queste quattro righe non stabiliscono un danno limitato, una sicurezza a orizzonte finito o una legge di natura. Stabiliscono un punto di svolta condizionale le cui premesse sono misurabili, che è esattamente ciò che dovrebbe essere il primo limite di un campo giovane. La critica di un lettore esterno al trattamento della profondità nella derivazione è stampata come limitazione, non confutata a colpi di argomenti; e la forma ritirata di questa legge, con gamma da solo al denominatore, è stata ritrattata il 16 agosto 2026 e compare in questa tenuta solo come ritrattazione.

Il precedente, e la disanalogia stampata accanto

Il modello onesto di ciò che si tenta è la termodinamica, e il parallelo sta nella forma del campo, mai nel rango delle prove.

Ora la disanalogia, dichiarata prima che chiunque altro possa dichiararla: la termodinamica fu costruita da molte mani che convergevano in modo indipendente e confermata da un secolo di esperimenti. Questo campo è proposto da una sola persona; i suoi esperimenti decisivi non sono stati eseguiti; le replicazioni indipendenti sono a zero. Il parallelo è un'impalcatura, non un certificato. La termodinamica si è guadagnata il suo nome; questo nome è messo in gioco, e la posta è stampata più sotto.

Il caso migliore del rivale, nella sua forma più forte

L'obiezione più forte non è che le leggi siano non dimostrate. È che il meccanismo possa essere vuoto: la correzione potrebbe essere semplicemente correzione, nel qual caso di che cosa è fatto un correttore non importa e la distinzione di classe si dissolve. Questo rivale non è un uomo di paglia. Il programma della supervisione scalabile in tutte le sue forme, generalizzazione da debole a forte, dibattito, amplificazione, modellazione ricorsiva della ricompensa, costruisce scale della stessa classe sulla premessa implicita che scalino, e la cornice pubblicata più forte adiacente a questa domanda è cieca all'architettura: implica l'ipotesi nulla cieca alla classe senza bisogno di enunciarla.

Peggio per questo programma, parte del suo stesso registro pende dalla parte del rivale. Il rapporto fra classi di correttore in sé non è stato misurato su dati reali, e questa tenuta lo dice per prima. Ma la misura pubblicata dei canali paralleli del programma (Paper II) ha trovato che i canali paralleli aggiungono quasi nulla in cinque modelli su sei, la firma di errori correlati, con un modello che contraddice apertamente lo schema con un esponente parallelo di 0,31. I canali correlati sono esattamente il meccanismo che indebolirebbe la correzione della stessa classe in un modo che indebolisce anche la correzione di classe incrociata, trascinando il rapporto decisivo verso uno. La registrazione dell'eclissi è quindi depositata con quella prova contraria in bella vista, e si impegna a pubblicare un risultato nullo sotto lo stesso titolo come una scoperta sul mondo anziché come un imbarazzo da seppellire.

Un campo che deposita la prova migliore del suo rivale dentro la propria registrazione fa l'unica cosa che non può essere finta.

Indipendenza dal substrato, al suo rango onesto

Alle leggi del campo non deve importare di che cosa sono fatti i suoi sistemi, e il lavoro tra domini del programma punta in quella direzione a livello esplorativo, riferito senza mai mescolare i livelli: famiglie funzionali predette su una suite di cinquanta domini (19 corrispondenze empiriche su 25 sotto l'insieme originale di candidati, 18 su 25 sotto la ripetizione corretta a sette modelli, divulgata per intero; 13 su 13 sulle righe pubblicate direttamente); un'estensione a dodici domini con manifesto bloccato (10 su 12, p = 5,4e-4, auto-retrocessa a prova pilota a secco entro tredici minuti nella storia pubblica dei commit); verifiche temporali fuori campione (4 confermate, 2 parziali, 1 incoerente, l'incoerenza riferita con lo stesso rilievo delle conferme). Niente di tutto ciò è conferma. Il test registrato della quarta cella, la famiglia logaritmica che il corpus non ha mai adattato, su domini mai adattati, esiste per cogliere il programma mentre si lusinga da solo, e le convergenze con tradizioni più antiche sono catalogate a parte sotto una regola permanente: la convergenza è prova di naturalezza, mai di verità.

Strumenti

Un campo sono i suoi strumenti prima che i suoi risultati. Il campo viene consegnato con quattro strumenti, costruiti prima che esistesse qualunque dato di conferma. Primo, la scala calibrata di capacità. Secondo, una pila di valutazione in cieco: ogni output è ripulito così che nessun valutatore possa dire che cosa lo abbia prodotto, e il nullo è calcolato attraverso la pipeline identica con le etichette randomizzate, sicché il nullo dell'esperimento decisivo è imposto per struttura anziché adattato. Terzo, codice degli stimatori ancorato all'hash e vincolato da test, con ogni ramo di verdetto registrato che porta un test di verità piantata che il codice deve superare prima che alcunché sia spedito. Quarto, una clausola registrata di difetto: la specifica, non il codice, è l'analisi, sicché un errore di codifica successivo alla registrazione è una riparazione divulgata sui termini registrati anziché uno studio morto.

Gli esperimenti decisivi

Tre studi registrati decidono le tre leggi. Le loro ipotesi nulle appartengono ai rivali, i loro numeri sono calcolati e stampati nelle registrazioni, e i loro esiti sono pubblicabili a condizioni identiche comunque cadano. Tutti e tre sono redatti, datati e in attesa di invio umano; nessuna corsia, strumento o agente invia nulla da nessuna parte. I protocolli in sé sono completi: qualunque laboratorio indipendente può eseguirli oggi senza chiedere a nessuno, e ciò che attende la mano dell’autore è il solo atto di registrazione.

La corsa correzione contro drift decide la Law II: l'auto-correzione scala mai oltre il drift, in qualche luogo? Un sì duraturo è il primo risultato di esistenza del campo, il suo esperimento di Joule: la prima dimostrazione che l'effetto esiste in assoluto. Un no universale lascia la Law II senza soggetto.

Il rapporto fra classi di correttore, la misura dell'eclissi, decide il meccanismo della Law III. Si raggruppino coppie di correttori della stessa classe e di classe incrociata, si ripulisca tutto e si forzi il nullo: se di che cosa è fatto un correttore non importa, il rapporto degli esponenti di correzione è esattamente 1,00 per costruzione. Quel nullo è la risposta del rivale, non quella di questo programma. Il meccanismo del programma predice un rapporto durevolmente sopra 1,00 dove il tetto agisce, e quella è la scoperta a suo favore; durevolmente sotto 1,00 inverte il meccanismo e chiude l'affermazione così come è derivata; un 1,00 che regge ovunque, anche dove il tetto dovrebbe agire, ritira la stessa distinzione di classe. Una kill indipendente e dura corre a fianco: qualunque coppia della stessa classe il cui intervallo di gamma stia interamente sopra un mezzo uccide il tetto a prescindere dal rapporto.

La titolazione della scala di capacità decide la firma comportamentale del soffitto: un massimo interno dell'esponente di crescita pari o inferiore a due su una gamma di livelli di reinvestimento, sotto una regola a due stadi sbarrata dalla replicazione in cui una sola cella controesempio, replicata, respinge senz'altro l'ARC Bound.

Una griglia di seguito registrata estende il rapporto a ogni coppia ordinata di famiglie di modelli, localizzando dove vive l'effetto di classe; e una sonda di meccanismo, il guasto correlato su substrato condiviso, misura direttamente la correlazione di errori che la derivazione postula, così che il rapporto e il suo meccanismo devono concordare o la loro tensione è essa stessa un risultato registrato.

Altri tre test sono proposti e non registrati, e la pagina li marca perché nessun lettore li conti come previsioni: che il rapporto salga con il carico, il che separerebbe un meccanismo da una differenza statica; che un correttore di altra classe sposti verso l’alto il massimo della titolazione, collegando le Leggi II e III attraverso la leva di classe; e che un singolo sistema attraversi il confine di stabilità girando la sua manopola di reinvestimento. Nessuno è una previsione del campo finché una registrazione non lo porta.

Che cosa dissolverebbe il campo

Una scienza proposta deve dire che cosa ne ritirerebbe la proposta.

1. Se la corsa correzione contro drift non trova alcun regime in cui la correzione scali oltre il drift, la Law II non ha oggetto.
2. Se il rapporto fra classi di correttore regge a 1,00 con intervalli stretti ovunque il tetto dovrebbe agire, il meccanismo distintivo del campo è morto e i suoi resti appartengono all'ordinaria empiria delle leggi di scala.
3. Se la titolazione della scala non trova alcun massimo interno né alcun comportamento di soffitto, l'impossibilità centrale si dissolve.
4. Se le famiglie tra domini falliscono il test della quarta cella, l'indipendenza dal substrato era un artefatto della flessibilità delle famiglie.

La mappa di dissoluzione per ospite. Se la congiunzione fondativa fallisce, le parti non svaniscono; tornano a casa. La Legge I torna alla teoria della crescita endogena come esponente di produzione della conoscenza; la Legge II al controllo adattivo e alla teoria della soglia di errore come condizione di tasso; l'ARC Ceiling alla teoria delle code come condizione di stabilità accoppiata alla crescita; il risultato del tetto di classe, in qualunque direzione cada, viene pubblicato nella supervisione scalabile; gli strumenti e gli esperimenti sono machine learning; le famiglie tra domini, se sopravvivono, sono fisica statistica. Nulla resta orfano alla morte del campo, ed è ciò che rende la morte pubblicabile.

Una qualunque di queste morti ferisce il campo; tutte e quattro lo chiudono, e questa pagina si impegna a pubblicare quella fine qui, sotto questo nome.

La condizione di kill propria del nome

Un nome proposto prima dei suoi test deve poter morire con essi, e il registro deve poter dire di quale morte si è trattato. Una legge che fallisce nella sua forma enunciata uccide quella legge e la teoria che l’ha enunciata; il campo porta la forma corretta, o nessuna, come il registro consente, e un lettore che respinge tutte e tre le leggi e mantiene la misura vi sta ancora dentro, in virtù dell’impegno minimo enunciato qui sotto. Il nome stesso muore quando l’oggetto cade: se il rapporto fra classi di correttore regge a 1,00 con intervalli stretti ovunque il tetto dovrebbe agire, il meccanismo distintivo è morto, il residuo che nessun ospite poteva enunciare si è dimostrato vuoto, ogni pezzo torna al suo ospite per la mappa di dissoluzione qui sopra, e questa pagina lo dirà invece di sparire in silenzio. Se le leggi sopravvivono ai loro test registrati e reggono fuori dai domini che le hanno generate, il nome si è guadagnato la propria generalità. In entrambi i casi decide il registro, non il nome. Le condizioni vivono sul cruscotto di falsificazione; i test non hanno bisogno di alcun permesso per essere eseguiti.

Che cosa ne farebbe una scienza

Nominare un campo non lo crea. I criteri d'ingresso che questa proposta non ha ancora soddisfatto, in pubblico: almeno un esperimento decisivo che restituisca la direzione predetta sotto la sua analisi registrata; replicazione indipendente da mani che non siano quelle dell'autore, ed è per questo che ogni strumento, seme, calendario e soglia viene consegnato apertamente con l'invito permanente a eseguire il test che potrebbe ucciderlo; uso delle variabili di stato da parte di estranei perché ne avevano bisogno; e una traccia di audit superata, di cui il registro del programma di ritrattazioni pubbliche, auto-retrocessioni al minuto, letture a freddo avversarie e limitazioni stampate viene offerto come lo standard che le sue affermazioni future accettano.

Un risultato che qualunque campo vecchio potrebbe enunciare nelle proprie variabili conferma un capitolo di quel campo. Un campo è confermato solo da una congiunzione che nessuno dei suoi vicini può esprimere, e l’articolo fondativo la enuncia una volta: un regime in cui la correzione scala oltre la deriva; un rapporto tra classi di correttori durevolmente sopra 1,00 con il tetto di un mezzo per i correttori della stessa classe; un massimo interno dell’esponente di crescita a due o meno; la stessa struttura di esponenti in almeno un substrato non artificiale; e almeno uno di questi replicato da estranei. Ciascuno da solo è un reperto nel vocabolario di un campo vecchio. La congiunzione non lo è, ed è esattamente in questo senso che i risultati confermerebbero un’area nuova anziché un capitolo nuovo.

Sulla parola paradigma, e perché questa pagina la trattiene

Un paradigma, in senso stretto, è conferito da una comunità che adotta un esemplare condiviso. Nessuno ha un paradigma da solo, e nessuno ne ha mai fondato uno annunciandolo; diventa un paradigma quando altre persone cominciano a lavorarci dentro. Quindi l'enunciato preciso e difendibile è che questo è un candidato: un campo proposto con il suo oggetto, le sue variabili, i suoi limiti, i suoi strumenti e i suoi arbitri al loro posto, il cui rango non spetta all'autore dichiarare. Lo decidono la replicazione, l'adozione e i tre esperimenti registrati. Rivendicare la parola più grande come fatto presente è l'unica mossa che trasformerebbe una proposta accurata nella firma di uno squilibrato, ed è per questo che l'articolo fondativo fissa il campo allo stadio di Carnot ed elenca i criteri d'ingresso che non ha ancora soddisfatto.

Continuate a dire la cosa più piccola e più vera, e lasciate che gli esperimenti facciano quella più grande, o la seppelliscano.

Che cosa frutta, se regge

I campi si guadagnano l'adozione quando degli estranei possono calcolare con essi. Se le leggi sopravvivono ai loro arbitri, le seguenti diventano calcoli anziché dibattiti: dato un gamma misurato per una classe di correttore, il massimo esponente di crescita sostenibile di qualunque sistema esso supervisioni segue dall'ARC Ceiling; dato un drift misurato, il tasso di correzione richiesto segue dalla Law II; le architetture di supervisione acquistano una scheda tecnica, la classe di composizione del correttore, il suo gamma misurato, il suo soffitto implicito, allo stesso modo in cui le macchine acquisirono le proprie valutazioni di efficienza; e la domanda di sicurezza "la supervisione riesce a tenere il passo" diventa, per la prima volta, un confronto empirico fra parametri anziché un argomento di scenario. Tutto in questo paragrafo è condizionato a risultati che non esistono ancora, ed è scritto al condizionale per questa ragione.

Debiti, riconosciuti per nome

Questo campo è assemblato da debiti annotati nel registro degli antecedenti del programma e riconosciuti per intero: la linea dell'impossibilità della ricerca sul controllo dell'IA, a cui questo campo aggiunge il requisito di progetto che l'impossibilità implica anziché la rassegnazione; i limiti della rete di trasporto della scala biologica, riconosciuti come premessa, a cui questo campo aggiunge il limite interno di sostituzione che opera quando riparare il tubo non ripara più la crescita; la questione dell'esplosione di intelligenza così come posta dai suoi titolari nominati, a cui questo campo propone le variabili di stato mancanti; e la matematica delle equazioni funzionali, la macchineria, mai rivendicata. Ciò che si rivendica come originale è l'assemblaggio: il ciclo come oggetto nativo, la disciplina di scala come metodo fondativo, i limiti come leggi, la classe del correttore come leva, e gli strumenti registrati per decidere tutto questo.

Perché nominarlo prima del verdetto

Perché è allora che i campi vengono nominati. Wiener nominò la cibernetica nel libro del 1948 che la proponeva, prima che ci fosse un campo a cui legare il nome. Lederberg coniò l'esobiologia nel 1960, prima di un solo esemplare. Il nome di un campo non è un trofeo assegnato dopo la conferma; è lo strumento che rende una proposta citabile, attaccabile e verificabile come una sola unità. Nominare presto è la pratica ordinaria. Sostenere che il nome dimostri qualcosa sarebbe l'errore, e questa pagina non lo commette.

Non l'ho dimostrata per primo. L'ho detta per primo, in un documento che chiunque può datare, e poi ho costruito gli strumenti per testare se sia vera.

Che cosa il campo non è, e l'impegno minimo

Il campo non è una previsione di quando le macchine supereranno le persone, non una teoria dell'intelligenza, non un'etica, non una teoria del tutto, e non un'affermazione sulla coscienza. Le sue leggi si accendono dove esiste un correttore dentro un sistema che cresce e si spengono dove non ce n'è; le gerarchie composte su cui la sua matematica di scala si esercita, stelle comprese, sono classificate come corrispondenza di forma e niente di più. La coda speculativa del programma sulla ricorsione a scala cosmologica sta fuori dal campo; un lettore può respingerla del tutto e non perdere nulla qui.

L'impegno minimo richiesto per lavorare nel campo è piccolo, ed è enunciato così che possa essere rifiutato: che il ciclo di auto-miglioramento sia un legittimo oggetto di misura, con quantità che possono essere definite, strumenti che possono misurarle e relazioni che possono essere dimostrate false. Se accetti questo e respingi tutte e tre le leggi, sei dentro il campo; se accetti le leggi e rifiuti la misura, non lo sei.

Da non confondere con

La robotica usa da tempo l'espressione «recursive dynamics algorithms» per i metodi di calcolo che propagano le forze lungo corpi articolati, la tradizione di Featherstone; quella è una famiglia di algoritmi, un referente del tutto diverso, e non si rivendica alcuna priorità sull'espressione in quanto parole contro di essa o contro chiunque. Non è nemmeno la teoria della ricorsione, la matematica della computabilità; né i sistemi dinamici in generale, la matematica madre. Ed è distinto da Recursive Creation, la coda speculativa della tenuta, tenuta separata dall'argomento di proposito.

Eseguite il test che potrebbe ucciderlo

Ogni strumento, seme, calendario e soglia di questa tenuta viene consegnato apertamente, e un'esecuzione indipendente prevale su quella del programma. Se volete sapere se qualcosa di tutto questo è reale, la via più breve non è soppesare l'argomento ma eseguire la misura: la pagina «Eseguilo tu stesso» elenca che cosa può essere eseguito oggi senza permesso, che cosa servirebbe per uccidere ciascuna affermazione, e dove un risultato, in qualunque direzione, viene registrato.

Dove vive il campo in questa tenuta

• La dichiarazione, nella pagina iniziale
• L'ARC Theory, la teoria fondativa, le leggi per intero
• Le leggi in parole semplici, lungo il percorso
• L'Eden Protocol, l'ala applicata
• La spina di notazione, che cosa significa ogni simbolo
• Il cruscotto di falsificazione, le condizioni di cedimento
• Il registro datato delle previsioni
• Stato delle affermazioni, ogni affermazione classificata
• Il glossario, ogni concetto con un nome
• Correzioni, pubblicate contro me stesso
• Il catalogo, dove atterra l'articolo fondativo
• Eseguilo tu stesso, la via d'ingresso per uno scettico