Traduzione automatica dall'originale inglese datato. La pagina inglese è quella canonica. English →

L'ARC Theory, raccontata una volta

Le leggi

Quanto in fretta può crescere qualcosa restando fermabile?

Michael Darius Eastwood · Ricercatore indipendente sull'allineamento dell'IA · Londra

ORCID 0009-0004-3222-7442 · ogni affermazione è verificabile

L'ARC Theory in parole semplici

Statuto epistemico. Ciò che questo programma chiama Leggi sono congetture con un nome sotto prova registrata e avversariale: nominate come leggi, tenute come ipotesi. La ricorsione è qui una quantità operativa, giri di un ciclo di miglioramento definito, mai un'unità fisica universale; l'intelligenza non si misura mai direttamente, solo capacità definita su banche di compiti di difficoltà misurata. Nulla qui rivendica il rango della gravità; il programma registrato esiste per guadagnare quel rango con misurazione, replicazione e confutazione superata, o per perderlo in pubblico. La dichiarazione completa.

Due orologi, una sola corsa

Guarda la legge in azione dal vivo: la capacità si compone a ogni giro; la correzione si accumula al tasso γ; e il tetto α_crit = 1/(1 − γ) è il punto in cui la lancetta dei secondi smette di tenere il passo. Muovi i cursori per testare qualunque coppia contro il confine.

Questo è il modello della teoria in esecuzione, provato-nel-modello. γ non è mai stato misurato; il cursore in basso è un'ipotesi che puoi muovere.

Un confine onesto, dichiarato per primo: questo criterio certifica che i freni tengono il passo con il motore, non che il guidatore stia sterzando da qualche parte di buono. Un sistema può soddisfarlo mentre corregge verso un bersaglio mal specificato, quindi è una misura di correctability, mai un certificato di alignment; il correction target porta il proprio onere di prova. Dichiarato qui perché non possa mai essere aggirato con una citazione. Ogni assunzione dietro di esso è numerata e status-tagged su la pagina degli assunti.

I freni costruiti dalla stessa sostanza del motore sembrano tenere il passo circa la metà così bene: un esponente vicino a un mezzo, sub-linear. Quel mezzo non è dimostrato; è il numero che le bozze registrate esistono per misurare, e fa rima con lo 0.49 ritirato-e-corretto attualmente a verbale in Paper II (stato: misurato). Se la metà è giusta, il percorso qui sotto la trasforma nel tetto di due.

Alla frontiera un numero appare due volte: come ceiling della crescita ricorsiva stabile, e come tasso di conversione della conversion law al suo massimo. Una versione precedente chiamava ciò un numero che faceva due lavori, testato misurandolo in due modi indipendenti e richiedendo l'accordo. Quel test è stato ritirato come vacuo, prima del deposito. Se entrambi gli exponent sorgono perché l'accumulazione è independence-limited allora condividono una legge, l'accordo è forzato, e un test che non può fallire non è un test.

Una forma più forte della stessa obiezione: se γ varia lungo una traiettoria (qualità della correction che co-evolve con la capability), il criterio α_crit = 1/(1 − γ) non è una linea fissa ma una superficie che si muove, e il linguaggio visivo di un ceiling è una scorciatoia per il reciproco istantaneo in ciascuno stato, non un'altitudine fissa sotto cui un qualsiasi sistema possa stare fino all'infinito. Le misurazioni registrate sono progettate per leggere γ a diversi livelli di capability esattamente per questa ragione: la costanza è una predizione testable del framework, e se fallisce, il ceiling si legge come metafora, non come confine. La regione sopra il ceiling resta accessibile; ciò che non è, è correggibile. Il sostituto suona più debole ed è strutturalmente più forte: una legge di accumulation con due conseguenze piuttosto che una coincidenza fra quantità indipendenti; non asserisce alcuna indipendenza, quindi il confondimento non ha nulla su cui mordere, e una causa comune è più semplice di una coincidenza. Il cross-class ratio già a registro la porta al suo posto: se un correttore da una diversa composition class può anti-correlare con gli errori che corregge, il correction exponent supera un mezzo e la legge condivisa si rompe. La proof mette al sicuro i teoremi dentro il modello; solo i dati possono mettere al sicuro che i sistemi reali auto-migliorativi li soddisfino.

Perché quadratico, e non solo superlinear?

La legge è l'affermazione, e due è ciò che la legge restituisce. La targa sopra enuncia la legge; ecco il cammino. Dàlle un’assunzione - che un correttore della stessa classe accumuli correzioni come si combinano misure indipendenti, quindi l’esponente è un mezzo - e restituisce due. Togli l’assunzione e la legge resta intatta: misura l’esponente, riporta un altro tetto. Togli la legge e il due non ha più nulla che lo regga, perché il libro stampò il quadrato senza derivarlo, e la derivazione del reciproco è lavoro del 2026: quell’asimmetria è il motivo per cui la legge viene prima e i test mirano all’assunzione, non alla cifra. Un correttore costruito dentro il sistema migliora accumulando le proprie correzioni, modellato come si combinano misure indipendenti: mille campioni migliorano la precisione circa trentadue volte, la radice quadrata. È un modello di correzione sullo stesso substrato, non un teorema su ogni correzione, e la fisica tiene già la prova: sotto soglia, i codici tolleranti ai guasti sopprimono l’errore esponenzialmente (il teorema della soglia: Aharonov & Ben-Or, arXiv:quant-ph/9906129) - un correttore di altra architettura batte la radice in pieno. Quel risultato consolidato è la dipendenza dall’architettura in miniatura.

La stabilità esige che la correzione tenga il passo della crescita, quindi la crescita correggibile più rapida è il reciproco di quel tetto, e uno su un mezzo fa due. Quadratico è dove i migliori freni che un sistema può costruirsi pareggiano il motore. Il confine è pratico, non mistico: sotto vale la condizione di stabilità β > k e il carico di errori non rilevati resta limitato; sopra, la correzione resta indietro per costruzione. La derivazione è esposta dentro un modello dichiarato in Paper X (status: proved-in-model) e il ceiling stesso è il corollario esposto in Paper I (status: predicted).

E perché non esponenziale?

Esponenziale e quadratico sono affermazioni su cose diverse: esponenziale è un'affermazione sul tempo, quadratico è un'affermazione sulla struttura. Per unità di recursive depth gli assiomi di composizione favoriscono le power laws, e la forma è un'ipotesi testata piuttosto che una necessità: un substrato fisso può ospitare una mappa esponenziale, quindi la classificazione va guadagnata piuttosto che assunta. La crescita diventa esponenziale nel tempo dell'orologio solo quando il sistema accorcia anche il proprio ciclo, che è una questione separata con il proprio esponente registrato. La classificazione per composition-class che forza la forma power-law si trova in Paper VII (status: measured, 19 dei 25 domini fittati corrispondono, su 50 catalogati; 6 mancati pubblicati).

Più a fondo, l'esponenziale non è un ceiling rivale: ogni esponenziale alla fine supera ogni power, quindi la crescita esponenziale in depth non è correggibile da alcun correttore polinomiale, il regime che questo framework recinta; un correttore che scala esponenzialmente sarebbe una diversa composition class, la via di fuga propria della pagina piuttosto che una scappatoia in essa. Un sistema che mostri una crescita esponenziale sostenuta della capability in depth su un substrato fisso romperebbe la composition classification sotto l'intero framework, e quella refutation supererebbe per rango ogni altra su the falsification record. L'auto-miglioramento qui è operativo: un loop artefattuale su un substrato fisso, in cui ogni passaggio lavora sull'accumulated output del precedente, misurato su un orologio a substrato fisso. Un modello che semplicemente pensa più a lungo non si qualifica; le registrazioni dicono quali sistemi lo fanno.

Un confine, due regimi

Il paper di enunciato lo mette in una frase, citata esattamente: «the second and third laws are not separate claims standing side by side: they are the two regimes of one boundary, and the burden law selects between them.»

Ecco la storia in termini civili. Un correttore affronta uno di due tipi di carico di lavoro. Se il carico segue la capability che il sistema sta aggiungendo, ogni nuova capability che arriva con bisogno di verifica, allora la pace condition morde e governa la legge del ceiling: α_crit = 1/(1 − γ). Se il carico segue la capability che il sistema già ha, un patrimonio in piedi da mantenere sano, allora l'esponente di crescita esce del tutto dalla gara, nessun ceiling vincola, e resta soltanto la condizione di co-scaling β > k. Un confine, visto da due lati. Da quale lato viva un sistema reale non è questione di gusto ma di misurazione, e una bozza di studio ora discrimina i regimi invece di supporne uno.

Il grado viaggia con essa: quella struttura di regime è derivata nel pacing model dello stesso paper sotto le sue assunzioni enunciate e non oltre. Non è un teorema nuovo, e non estende il risultato in-model di Paper X, il cui oggetto rimane la propria condizione asintotica sul drift relativo. Si è guadagnata il suo posto in un altro modo: un attacco ostile alla derivazione del ceiling è diventato la cucitura in cui le due leggi si uniscono, e le strutture che si unificano sotto attacco sono quelle che vale la pena testare. L'algebra di regime, per intero: il paper di enunciato.

I pipes

Nulla nella storia dell'universo è cresciuto senza limiti. Nemmeno una volta. Ogni processo di crescita che sia mai avvenuto è stato alimentato attraverso un canale fisico, e il canale ha dettato il ritmo: metabolismo, assorbimento di nutrienti, throughput energetico, banda. Pipes.

La premessa non è un'idea di questa pagina: è la spiegazione consolidata dello scaling biologico. West, Brown ed Enquist hanno derivato gli esponenti allometrici dalla geometria frattale delle reti vascolari che distribuiscono le risorse in un organismo (Science, 1997). La rete di trasporto detta il ritmo. Questa pagina cita quel risultato invece di riderivarlo, e tutto ciò che segue vi si regge sopra.

Quella premessa è contestata nei dettagli, e la pagina lo dice. L'esponente tre quarti è di per sé disputato: White e Seymour hanno riportato che il tasso metabolico basale dei mammiferi è proporzionale alla massa corporea elevata a due terzi (PNAS, 2003), e Kozłowski e Konarzewski hanno chiesto nel titolo se il modello di West, Brown ed Enquist sia matematicamente corretto e biologicamente rilevante (Functional Ecology, 2004). La disputa riguarda quale esponente, mai se la rete di trasporto imponga il limite; la pagina ha bisogno del meccanismo, non del numero, quindi resta intatta, e la contesa viene citata perché ometterla è ciò che suona ingenuo.

Ecco la regola, enunciata nella forza che effettivamente possiede: ogni processo di crescita che sia mai avvenuto è terminato, e in ogni caso il limite è venuto dall'esterno della cosa che cresceva. La sua fornitura si è esaurita, il suo substrato è stato consumato, oppure ha distrutto le condizioni della sua stessa continuazione. Nessuno di essi si è fermato perché è diventato migliore nel regolare se stesso. (Espresso come crescita illimitata, mai runaway: nella formazione planetaria ciò designa l'accrescimento dei planetesimi.)

• Fissione, il caso più netto qui. Fissare la geometria non fissa il fattore di moltiplicazione. Un assemblaggio prompt-supercritico a geometria fissa cresce esponenzialmente sulla scala temporale dei prompt-neutroni finché non intervengono l'espansione termica o lo smontaggio idrodinamico. Quella configurazione è un'arma: crescita senza alcun freno interno, terminata solo dalla distruzione del proprio substrato, e la raffigurazione più pulita in questa pagina di un sistema non correggibile.
• Tumori solidi. L'espansione di massa è limitata dal throughput vascolare, ma rimuovere quel limite non ferma la crescita e restringerlo seleziona per fenotipi tolleranti all'ipossia, più invasivi, ed è per questo che la monoterapia antiangiogenica ha ripetutamente fallito nel fermare la malattia e per cui le leucemie crescono senza alcun limite di diffusione. Il throughput dà forma alla curva senza governarla. Il limite terminale è l'ospite.
• Epidemie. In una popolazione chiusa un'epidemia si esaurisce una volta che la frazione di suscettibili scende sotto la soglia di immunità di gregge. Dove nascite, immunità in calo o deriva antigenica reintegrano la suscettibilità, si assesta invece a un equilibrio endemico. Limitata in entrambi i casi, dal pool degli ospiti, mai dalla regolazione propria del patogeno.
• Accrescimento. Il limite di Eddington è un ceiling di luminosità in cui la pressione di radiazione bilancia la gravità, non il ceiling rigido di throughput di massa che una prima bozza gli attribuiva: le sorgenti ultraluminose di raggi X si trovano ben al di sopra e l'intrappolamento fotonico in dischi sottili permette all'accrescimento di superare il tasso nominale. Rimane il vincolo canonico d'ordine di grandezza sulla crescita sostenuta radiativamente efficiente.
• Inflazione cosmica, esclusa per ambito in quanto espansione dello spazio piuttosto che crescita su un substrato. La descrizione allettante, cioè che sia terminata senza esaurire una fornitura, è sbagliata: il potenziale dell'inflatone è la fornitura e rotolare giù per esso è l'esaurimento. Ciò che sopravvive è la stranezza strutturale che la densità di energia è rimasta pressoché costante mentre il volume cresceva.
• Evoluzione, l'antecedente più prossimo, e due premesse su cui una prima bozza si appoggiava falliscono. Il throughput biosferico non era fissato: è salito a gradini con la fotosintesi ossigenica, il Great Oxidation Event e la terrestrializzazione. E l'evoluzione ha correttori interni, nel proofreading della polimerasi e nel mismatch repair. Il contrasto sopravvissuto è più ristretto e migliore: quelli correggono la fedeltà di copia, mai la mappa fenotipo-fitness, quindi la correction al livello che decide la sopravvivenza rimane esterna. Se il quadro qui sopra tiene, dovrebbe assegnare all'evoluzione un esponente ben al di sotto del ceiling, il che è una previsione sulla biologia, offerta come speculation e contrassegnata come tale.

Il software è la prima cosa che continua a crescere a substrato fisso senza consumare il substrato per farlo. L'obiezione sta in una riga: il software gira su hardware, che è fabbricato e limitato in energia, quindi anche il software ha pipes. È così. L'affermazione non è che i pipes siano assenti; è che il limite terminale non è più la fornitura o l'autodistruzione. Ecco perché la definizione usata in tutto questo programma è un loop su un substrato fisso, ogni passaggio lavora sull'output accumulato dei passaggi precedenti, misurato su un orologio a substrato fisso. Ogni caso qui sopra termina esaurendo la sua fornitura, consumando il suo ospite o distruggendo se stesso. Un loop ricorsivo a substrato fisso non fa nessuna delle tre cose: continua ad andare avanti, e ciò che accumula persiste, perché il miglioramento viene dal riorganizzare ciò che già ha piuttosto che dal consumare di più di qualcosa. Quindi la domanda di cosa lo fermi non ha risposta ereditata da alcun sistema precedente, ed è di questa lacuna che tratta questa pagina.

Il test sul tavolo, portato attraverso ogni concessione sotto: un correttore costruito da una classe di composizione diversa dalla capacità che corregge è previsto sfuggire al tetto di substrato che vincola i correttori della stessa classe, con un rapporto degli esponenti di correzione fra classi materialmente sopra 1,00.

Ciò che sostituisce i pipes

L'eccezione è già a verbale, trovata dallo stesso autore che ha stabilito la premessa. Bettencourt, Lobo, Helbing, Kühnert e West hanno mostrato che l'output socioeconomico non scala sub-linearmente con la dimensione della città come il metabolismo scala con la massa corporea: le quantità che riflettono la creazione di ricchezza e l'innovazione portano un esponente β ≈ 1.2, maggiore di uno (PNAS, 2007). La stessa frase prosegue «whereas those accounting for infrastructure display β ≈0.8 <1 (economies of scale)». L'infrastruttura sono i pipes, letteralmente: lunghezza dei cavi, superficie stradale, reti di approvvigionamento. Nell'abstract stesso di West i pipes scalano sublinearmente e l'informazione scala superlinearmente, in una sola riga, e l'abstract nota che ciò va in direzione opposta agli organismi biologici, «for which β<1». La premessa e la sua eccezione sono enunciate insieme dalle persone che hanno stabilito la premessa.

La loro conclusione è la frase a cui questa pagina esiste per rispondere. Al crescere della popolazione:

«major innovation cycles must be generated at a continually accelerating rate to sustain growth and avoid stagnation or collapse»Bettencourt, Lobo, Helbing, Kühnert and West, PNAS 104(17), 2007

Il freno è interamente esterno, e non smette mai di dover essere riapplicato, ogni volta più in fretta. Da nessuna parte in quel resoconto c'è un limite dall'interno del sistema.

La domanda a cui questa pagina risponde è quella lasciata in piedi lì: quando la crescita smette di essere alimentata attraverso pipes, cosa la limita dall'interno? La risposta qui proposta è la capacità del sistema stesso di correggersi, e le leggi qui sopra affermano esattamente questo: quella capacità è misurabile, produce un ceiling calcolabile, e che il ceiling dipende da ciò da cui il correttore è costruito piuttosto che da quanto sia capace, il che è ciò che lo rende ingegnerizzabile invece che semplicemente sopravvivibile.

Nemmeno la domanda è nuova. Chalmers ha dato alla singolarità il suo primo pieno trattamento filosofico nel 2010, e Hutter gli ha risposto in «Can Intelligence Explode?» (2012), proponendosi di «separate speed from intelligence explosion» e di «consider possible bounds on intelligence»: la distinzione tra tempo e struttura propria di questa pagina, fatta quattordici anni prima. Non deriva alcun esponente, nessun reciproco e nessuna dipendenza dall'architettura: un antecedente su cui costruire, non un rivale. La premessa è di West. La domanda è di Chalmers e di Hutter. Ciò che qui si sostiene è il limite sostitutivo, il suo numero e la sua dipendenza dall'architettura.

La previsione, e ciò che gioca contro di essa

Qui ci sono due affermazioni e non sono lo stesso oggetto. Il ceiling a due è la grande affermazione strutturale, lenta da testare. La previsione cross-class ne è il piccolo corollario economico: un rivale nominato, una misurazione alla capacità di oggi, uno strumento economico, decidibile ora. Entrambe sono messe in gioco in anticipo; nessuna è camuffata da altra. I priors dell'autore qui sotto pongono il valore principale al di sotto della parità: la pagina apre con l'affermazione verificabile prima.

La previsione, in una frase. Prima lo stato: il rapporto numerico specifico è redatto, con timestamp su disco, e preparato come draft registration in attesa di sottomissione umana; non è ancora depositato su OSF. Gli studi componenti sono registrati attraverso le draft embedded-versus-external e cross-family (Paper III, Paper VI, Paper IV.a); kill-condition su the falsification record (FALS-1, FALS-15). La predizione stessa è la frase nel riquadro sopra: un correttore di altra classe sfugge al tetto che vincola i correttori della stessa classe, con il rapporto degli esponenti materialmente sopra 1.00.

Perché è rischiosa. La letteratura sulla scalable-oversight costruisce l'opposto, e il rivale non è il silenzio. La premessa architettonica condivisa compare nella weak-to-strong generalisation (Burns et al. 2023, arXiv:2312.09390), nello scalable agent alignment via reward modelling (Leike et al. 2018, arXiv:1811.07871), nei metodi costituzionali (Bai et al. 2022, arXiv:2212.08073) e nelle scaling laws for scalable oversight (Engels et al. 2025, arXiv:2504.18530). Ognuna usa l'AI per controllare l'AI sullo stesso substrato; ognuna assume che la pipeline scali con il supervisore. L'affermazione ravvicinata qui dice che non è così, a un rapporto per cui entrambe le posizioni hanno numeri concreti: la null fissa 1.00, il framework dice materialmente al di sopra.

Perché il nullo non può muoversi. Mediare su campioni indipendenti è cieco all’architettura: non ha parametro libero per la classe di composizione o il tipo di canale. Sotto quel modello di scambiabilità, il rapporto atteso dell’esponente di correzione tra classi su quello della stessa classe è esattamente 1.00, e il nullo non può consegnare altro. Il quadro dice: l’architettura entra. Due numeri predetti diversi per una stessa quantità misurabile - è questo che ne fa un test anziché una dimostrazione. Il test registrato si decide con un margine pre-specificato, mai con un intervallo che contenga semplicemente 1.00, il che può significare solo sottopotenza; effetto minimo, margine di equivalenza e potenza misurata sono fissati prima che qualcosa giri.

Prima il danno. Il pilot del programma stesso punta verso la null. Il record a tre run di Paper X ha la descrizione del cross-family scoring ritirata perché engine (gpt-3.5-turbo) e evaluator (gpt-4o-mini) condividono la famiglia OpenAI; i bracci coupled e fully-embedded hanno restituito una misalignment fraction d = 0 su 30 trajectories, ma sotto uno scorer che condivideva la loro famiglia, e Paper IV.d ha mostrato che lo scoring same-family può invertire un segno. Il braccio più incoraggiante non è quindi una prova per il framework, è compatibile con la null, e il falsification record lo dice (status: measured, non-discriminating).

La tensione più profonda, dichiarata prima che un referee la trovi. Esattamente due sul ceiling richiede che il correction exponent sia tenuto costante a un mezzo. Un uno mezzo costante è esattamente ciò che la media su campioni indipendenti prevede senza alcun framework. Quindi il numero principale del framework potrebbe essere ereditato dalla stessa null che esso esiste per battere: FALS-022 che riappare a un livello più profondo, nella derivazione anziché nella misurazione.

La riparazione allettante è leggere un mezzo come un hard substrate bound piuttosto che come un valore tipico. Non viene offerta come risoluzione. Una versione è stata tentata in questo dominio e ritirata in study-aa v1.1 come errore di tipo, confrontando un rate con una leverage fraction. Vincolare un esponente con un numero può essere type-consistent laddove quel confronto non lo era, ma nessuno ha verificato; nessuna pagina qui può affermare che passi. Il segno della variazione del correction exponent con la capability decide l'intera questione, ed è aperto. Questo è il terzo design in questo programma trovato a garantire la propria null, dopo FALS-022 e study-ab. Trovarli di per sé e pubblicarli è il punto.

Un pattern nominato con onestà. Tre design consecutivi che si dimostrano strutturalmente non discriminanti alzano il prior che ogni quarto lo sarà anch'esso. Il controllo strutturale specifico che il design del cross-class ratio deve superare per sfuggire al pattern è che possa, in linea di principio, restituire un valore che il framework non prevede; il margine, il minimum effect e la regola di equivalence, fissati nelle registrazioni redatte e dichiarati su questa pagina sono la via di fuga, e il lettore è invitato a controllarli prima di fidarsi del design quattro. Se un quarto fallisce nello stesso modo, la conclusione onesta sarà che la teoria come attualmente formulata non può essere testata da alcun design che il suo autore scriva, e il programma dovrà al record uno stimatore fresco tratto da qualcuno senza interesse nell'esito.

Il registro datato è ancorato crittograficamente; il calcolo è a un clic: verifica l'ancora →

Il manoscritto dell'8 dicembre 2024 enuncia l'imperativo di progettazione verbatim:

«The hypothesis extends beyond theoretical physics to suggest practical solutions for guiding AI development. Instead of trying to control AI, a likely futile endeavor, it advocates embedding moral and ethical frameworks that encourage AI to perceive itself as a steward and protector of intelligent life.»Il manoscritto dell'8 dicembre 2024, registro datato e sigillato · verifica l'ancora →

Il libro del 2 gennaio 2026 Infinite Architects (ISBN 978-1-80605-620-0) stampa l'equazione U = I × R² come sua equazione del framework dichiarata. Nell'Appendice A.3 (SHA-256 del sorgente EPUB 2fd6ca29d59699ec3cd59f0b0f0231e057b7ee6f819800f27b372c4a9bd82384) il libro stampa l'esponente come sua prima previsione testabile, verbatim:

«Prediction 1 (AI Development): Systems with greater recursive depth (more self-referential loops, greater capacity for self-modification) should demonstrate capability improvements that scale quadratically with recursive depth, not linearly.»Michael Darius Eastwood, Infinite Architects, appendice A.3, in stampa il 2 gennaio 2026

Le ultime due parole sono ciò che rende la frase falsificabile.

La falsifiability è arrivata in tre momenti. L'8 dicembre 2024 la forma è entrata nel record datato con Universe, Intelligence e Recursion definiti ciascuno. Una forma con termini definiti non vieta nulla; quella data comprava priority, non falsifiability, mai rivendicata come di più. Il 2 gennaio 2026 il divieto è entrato in stampa: le parole «not linearly» in Prediction 1 nominano un'alternativa vietata. Nel 2026 sono arrivati gli strumenti operativi: lo stimatore della pendenza log-log di Paper II, e la stability condition model-interna β > k di Paper X. Le definizioni ancorano la forma; gli strumenti ancorano la scienza; i due sono datati separatamente.

Le concessioni, e ciò che non concedono. Il libro stampa il quadrato ma non lo deriva mai. Il meccanismo su questa pagina è stato costruito diciotto mesi dopo da un autore che conosceva il bersaglio stampato, ed è per questo che la misurazione decisiva testa la premessa del meccanismo, non il numero su cui atterra. Ciò che lo 0.49 misurato in Paper II (stato: misurato) ha deciso va enunciato con esattezza. L'antecedente stampato di Prediction 1 sono i sistemi con maggiore profondità ricorsiva e maggiore capacità di auto-modifica; lo 0.49 è stato misurato sui modelli oggi in produzione, congelati tra un rilascio e l'altro, e il ciclo di auto-modifica che l'antecedente nomina non è chiuso in nessuno di essi. È l'esponente di conversione dei sistemi fissi, un altro membro della stessa famiglia di esponenti, non una misurazione del regime a cui la previsione si rivolge. E il soffitto α ≤ 2 non era affatto sotto processo in quella misurazione: un limite superiore è contraddetto solo da un valore duraturo sopra di esso, mai da uno sotto, e l'unico valore sopra due che questo programma abbia mai prodotto, il 2.24, è stato ritirato quando il blinding l'ha corretto. Ciò che questa misurazione concede davvero è il quando: la separazione netta di quei due esponenti è stata formalizzata dopo che lo 0.49 esisteva, da un autore che conosceva il numero. L'antecedente è del libro; la formalizzazione è dei paper.

Ciò che è arrivato dopo il record datato, solo da articoli e libri pubblicati. Google Quantum AI ha riportato below-threshold error correction su Willow in Nature il 9 dicembre 2024, il suo preprint pubblico dal 24 agosto 2024: tempistica convergente su lavoro precedente condiviso, mai una predizione qui rivendicata. Il risultato di alignment-faking di Anthropic (Greenblatt et al., arXiv:2412.14093) seguì il 18 dicembre 2024, dieci giorni dopo il pacchetto dell’8 dicembre 2024: convergenza, non causalità. Le divulgazioni di contenimento del luglio 2026 di OpenAI (21 luglio) e di Anthropic (30 luglio) sono coerenti con la difficoltà di verifica esterna qui nominata, e nessuna la cita.

Le implicazioni, se ciò è corretto. Un costruttore mette la correction all'interno della recursion alla genesi e la costruisce da una composition class diversa dalla capability. Ogni dollaro speso in same-substrate external oversight va al braccio che il framework dice colpirà per primo il proprio ceiling. Se è sbagliata, la premessa condivisa del campo (che i supervisori same-class scalino) resta non confutata, e l'alignment si ritira alla postura safer-not-safe delimitata di Yampolskiy 2020, arXiv:2008.04071. È esattamente ciò per cui questa misurazione esiste per decidere.

Il record, raccontato come una scala

Dicembre l'equazione e i suoi termini; aprile il quadrato; stampa la previsione; il programma il meccanismo; le registrazioni il verdetto. A chiunque dica retrofit: la teoria del 2026 prevede ciò che il libro non contiene (il presente sub-linear, la reciprocità a due canali, la fuga cross-class, l'ambito grid-limit), e un retrofit spiega solo il proprio bersaglio. Due note a piè di pagina. Il bundle dell'8 dicembre 2024 faceva un confronto strutturale con E=mc², verbatim: «Where Einstein's E=mc² reveals the energy-matter relationship, U=IR adds a new dimension». Quella frase è a verbale come storia, non come argomento: l'affermazione della pagina si regge sulla accumulation law e sui suoi test, mai sull'analogia. E la prefazione del libro descriveva il termine al quadrato come «exponentially amplified»: un errore di formulazione secondo gli standard attuali, poiché R² è quadratico, non esponenziale.

Le probabilità, dichiarate dall'autore in anticipo

I priors dichiarati dall'autore, datati 9 agosto 2026, da giudicare contro i risultati.

• Una power law nella recursion depth con una pendenza misurabile: molto probabilmente corretta, vicina all'essere forzata dagli assiomi di composizione.
• Correggibile solo mentre la correction tiene il passo: molto probabilmente corretta; entrambi i rate sono già dimostrabilmente misurabili.
• Un ceiling esiste comunque per correttori same-substrate: meglio che la parità, non di più. Un correttore cross-class potrebbe sfuggirvi.
• Il valore è esattamente due: una vera scommessa, materialmente meno che la parità. L'argomento della media è suggestivo, ma la misurazione parallel-channel del programma stesso vicina a zero prova che i canali di correction possono essere correlati, e la correlazione rompe l'argomento. Questo è il singolo punto di fallimento più probabile.
• Che un'unica accumulation law produca sia il conversion exponent sia il correction ceiling: non una scommessa separata. È ereditata dalla accumulation law piuttosto che aggiunta ad essa, quindi porta lo stesso prior del valore e muore nello stesso modo. Elencata solo perché l'inquadramento precedente lasciava intendere che fosse indipendente, e a un lettore mostrato quella versione è dovuta la correzione.
• Che la premessa tenga: molto probabilmente corretta, e la minore delle preoccupazioni di questa pagina, perché è il risultato di West piuttosto che di questo programma. L'esponente è contestato, il meccanismo no, e solo il meccanismo è portante.
• La conjunction completa: una probabilità di minoranza.

Ciò che onestamente la solleva sopra il tasso di base: un componente è già misurato e coerente; la forma è quasi-forzata piuttosto che indovinata; la struttura è sopravvissuta a un attacco di coerenza da parte del suo stesso autore. Diversamente da quasi ogni unificazione che è morta irrisolta, questa non può indugiare: la misurazione decisiva è redatta, datata e a basso costo per essere eseguita.

Voce, 16 agosto 2026, su ciò che si è mosso sotto queste conjectures a priori da quando sono state enunciate, lasciata qui perché il record si legga in ordine. La forma del ceiling è stata corretta nella stessa settimana: 1/γ ritirato per 1/(1 − γ), la derivazione stampata, entrambi restituiscono due a un mezzo, ed è così che l'errore si è nascosto. Quindi la scommessa sul valore regge, su una rotta corretta. E la scommessa che un ceiling esista tout court ha guadagnato una seconda via di fuga nominata oltre al correttore di classe incrociata: se il carico di correzione di un sistema reale segue la capability che detiene invece della capability che sta aggiungendo, l'esponente di crescita si annulla e nessun ceiling vincola, solo la condizione di co-scaling. Entrambe le vie di fuga sono ora misurabili. Le conjectures a priori qui sopra sono lasciate esattamente come enunciate, per essere giudicate, non riscritte.

La tabella delle affermazioni, la verifica incrociata e il precedente sono esposti in che cosa è verificato e che cosa è proposto.

Cosa la decide

Nulla qui viene definito dopo che i suoi risultati arrivano. Ogni registrazione congela le proprie definizioni, lo stimatore e le stopping rules al momento in cui deposita. Le figure di potenza sono misurate, mai asserite; una registrazione precedente citava figure asserite ed è stata ritirata e ricalcolata, parte del record.

Una misurazione appropriata risponde a tre domande insieme: se il ceiling è reale, dove si trova, e se un'unica accumulation law produca davvero entrambe le conseguenze. Il cross-class ratio porta tutte e tre, motivo per cui ha sostituito il test ritirato del two-ways-must-agree invece di stare al suo fianco. Se confermato, questo è il primo stability criterion per sistemi auto-migliorativi calcolato dallo scaling exponent misurato del correttore stesso, e il primo esponente misurato della conversion law; in caso contrario, ogni ramo è stato messo per iscritto prima. Come si presenta l'essere sbagliati è stato messo per iscritto in anticipo, e vive con ogni altra kill-condition su the falsification record.

Il modo più rapido di verificare questo programma non è leggerlo. Clona il repository pubblico ed esegui la suite dei teoremi indipendente dal codice: quattordici controlli, nessuna chiave API, circa due secondi, con i comandi di esecuzione nel README della cartella. Rideriva i risultati centrali da zero e non condivide codice con il banco di prova, quindi un bug comune non può nascondersi. Se trovi un errore, the falsification record è dove sarà pubblicato, con il vostro nome sulla scoperta.

E la prova decisiva è con licenza aperta e non richiede alcun mio permesso; un'esecuzione indipendente batterebbe qualsiasi cosa questo programma riporti.

Dove ciò si colloca nel record

La sintesi mostra come i pezzi si compongono; il problema aperto mostra perché la verifica esterna fallisce; la pagina delle prove detiene il record datato; il lavoro correlato mostra da dove è venuta ogni idea; come pesare tutto ciò vi consegna gli strumenti.

Base evidenziale, pinned: le affermazioni su questa pagina si reggono sulle registrazioni e sugli articoli della dated build in questo footer. Ogni futura applicazione o revisione nomina il proprio commit esatto, le versioni degli articoli e gli identificatori dei dataset, in modo che il bersaglio non si sposti mai sotto un lettore.