Traduzione automatica dall'originale inglese datato. La pagina inglese è quella canonica. English →
Questo paper formalizza e verifica in via preliminare l'ARC Principle (Artificial Recursive Creation), proposto per la prima volta in Infinite Architects (Eastwood, 2026): che la capability nei sistemi intelligenti scala super-linearmente con la profondità ricorsiva. Il principio è espresso matematicamente come U = I x R^alpha, dove la capability effettiva (U) scala con l'intelligenza di base (I) moltiplicata per la profondità ricorsiva (R) elevata a un esponente stimato empiricamente.
All'interno dell'ARC Theory: l'enunciato formale della Legge I, l'ARC Equation, e dell'ARC Bound, il valore congetturato della Legge III, il Ceiling.
Quale legge porta questo paper. L'ARC Theory ha tre leggi numerate, e l'ARC Principle è il nome collettivo per le tre insieme piuttosto che per una qualsiasi di esse. Questo paper porta la Prima Legge, l'ARC Equation: $U = I \times R^{\alpha}$, la ricorsione che si converte in capability a un esponente misurato. La Seconda Legge (co-scalatura) è portata da Paper X, la Terza Legge (il ceiling) dallo statement paper, e gli assiomi e le dimostrazioni sotto tutte e tre dal Foundational paper.
Questo paper formalizza e verifica in via preliminare l'ARC Principle (Artificial Recursive Creation), proposto per la prima volta in Infinite Architects (Eastwood, 2026): che la capability nei sistemi intelligenti scala super-linearmente con la profondità ricorsiva. Il principio è espresso matematicamente come $U = I \times R^{\alpha}$, dove la capability effettiva ($U$) scala con l'intelligenza di base ($I$) moltiplicata per la profondità ricorsiva ($R$) elevata a un esponente stimato empiricamente $\alpha$.
L'analisi dei dati di test-time compute disponibili pubblicamente dai modelli di ragionamento rivela una distinzione critica tra due forme di ricorsione. La ricorsione parallela (voto di maggioranza tra campioni indipendenti) produce una scalatura sub-lineare con $\alpha \approx 0.1$ a $0.3$. La ricorsione sequenziale (ragionamento chain-of-thought in cui ciascun passo si costruisce sui precedenti) produce una scalatura super-lineare con $\alpha \approx 1.3$ nella prima stima a due punti di questo paper; la successiva misurazione cross-architecture su sei modelli (Paper II) trova l'esponente sequenziale dipendente dall'architettura, con miglior fit $\alpha_{\text{seq}} \approx 0.49$ e un intervallo che copre sia il sub-lineare sia il super-lineare, quindi l'affermazione di super-linearità è irrisolta anziché stabilita.
Questo risultato preliminare, se validato da ulteriore ricerca, suggerisce che la forma della ricorsione determina se l'intelligenza si composita o si limiti ad accumularsi. Proponiamo che $\alpha = 2$ sia un ceiling di stabilità, non un limite di impossibilità: è il limite stabile proposto, il massimo che un sistema ricorsivamente auto-correttivo può crescere e restare correggibile, un limite di scaling e non un limite di velocità. I sistemi possono superare $\alpha = 2$; non restano stabilmente auto-correttivi al di sopra. Un sistema durevolmente stabile sopra 2 confuterebbe il bound; un'escursione transiente è il regime supercritico previsto, non la confutazione. Stabile è misurato, non asserito: la correzione che supera in scala il drift, $\beta > k$ dalla Legge II, con il limite inferiore di $\beta - k$ sopra zero attraverso una finestra fissata prima del run.
Parole chiave: scaling laws, intelligenza ricorsiva, test-time compute, amplificazione della capability, emergenza, ragionamento chain-of-thought, ARC Principle
Come leggere questo paper. Questo paper è un risultato preliminare dell'ARC Theory. La ricorsione sequenziale produce un esponente di scaling più alto della ricorsione parallela nei dati dei modelli di ragionamento riportati pubblicamente, con una prima stima a due punti di $\alpha_{\mathrm{seq}} \approx 1.3$ successivamente superata dalla misurazione a sei modelli di Paper II che trova esponenti dipendenti dall'architettura, con miglior fit a $\alpha_{\mathrm{seq}} \approx 0.49$. Il suo posto all'interno della teoria è il primo sguardo empirico al di sopra dello strato della legge Foundational. Il differenziale completo rispetto a ogni documento precedente si trova su eden-vision II.A.8.
Le scaling laws che governano l'intelligenza artificiale sono state studiate estensivamente. Kaplan et al. (2020) hanno stabilito relazioni in legge di potenza tra le prestazioni dei modelli e i parametri, mentre Hoffmann et al. (2022) le hanno raffinate con prescrizioni di training compute-optimal. Queste leggi governano cosa scalare ma non affrontano perché lo scaling produca un comportamento intelligente.
L'emergenza dei modelli di ragionamento nel 2024 e nel 2025 ha introdotto una nuova variabile: il test-time compute. o1 di OpenAI (settembre 2024) e R1 di DeepSeek (gennaio 2025) allocano risorse computazionali al momento dell'inferenza per ragionare prima di rispondere, producendo miglioramenti sostanziali della capability sui benchmark di ragionamento.
Questo paper propone che il test-time compute funga da proxy per la profondità ricorsiva, e che la profondità ricorsiva possa essere un motore fondamentale dell'amplificazione della capability nei sistemi di intelligenza artificiale.
L'ARC Principle (Artificial Recursive Creation), articolato per la prima volta in Infinite Architects (Eastwood, 2026), propone:
La capability scala con l'intelligenza moltiplicata per la profondità ricorsiva elevata a potenza
Dove:
L'affermazione centrale del principio: la ricorsione non si limita ad aggiungersi alla capability; la moltiplica secondo una legge di potenza.
Nota terminologica su alpha. Alpha compare in questo programma con due significati distinti attraverso le epoche: la costante di struttura fine nel formalismo del dicembre 2024, e l'esponente dell'ARC Bound nel lavoro del 2026. Ogni uso di alpha in questo paper è il senso del 2026 sopra riportato; il glossario del programma porta entrambi i significati con le date, e nessuna nuova superficie usa alpha nudo senza la sua epoca.
Questo paper avanza le seguenti affermazioni, ciascuna con status epistemico esplicito:
| Affermazione | Status | Livello di evidenza |
|---|---|---|
| $U = I \times R^{\alpha}$ è un framework utile per i sistemi di IA | PROPOSTA | Teorico |
| La ricorsione parallela produce $\alpha < 1$ nei benchmark di IA | PRELIMINARE | Dati limitati (o1) |
| La ricorsione sequenziale produce $\alpha > 1$ nei benchmark di IA | PRELIMINARE | Dati limitati (DeepSeek-R1) |
| $\alpha = 2$ è un ceiling di stabilità: superabile, ma non finché un sistema resta stabilmente auto-correttivo | IPOTIZZATA | Solo teorico |
| La forma della ricorsione conta | SUPPORTATA | Coerente con entrambi i dataset |
Presentiamo un principio con evidenza preliminare di supporto e invitiamo a una verifica rigorosa.
La premessa dei pipes (West, Brown ed Enquist, più la contesa). La premessa che le reti di trasporto impongano il ritmo della crescita biologica non è l'affermazione che questo programma deve difendere; è biologia quantitativa consolidata. West, Brown ed Enquist hanno derivato le scaling laws allometriche della biologia dalla geometria delle reti di distribuzione dei nutrienti (West, G. B., Brown, J. H. and Enquist, B. J., «A General Model for the Origin of Allometric Scaling Laws in Biology», Science 276(5309), 4 aprile 1997, DOI 10.1126/science.276.5309.122; uno dei paper più citati nel suo campo, con un conteggio delle citazioni OpenAlex di 5,046 al 12 agosto 2026, conteggio SINGLE-SOURCE e dipendente dall'indice). L'esponente esatto rimane contestato: White riporta che il tasso metabolico basale dei mammiferi è proporzionale alla massa corporea elevata alla potenza due terzi anziché tre quarti (White, C. R., 2003, «Mammalian basal metabolic rate is proportional to body mass 2/3», 725 citazioni, OpenAlex), e Kozlowski ha messo in dubbio due volte la matematica della derivazione (Kozlowski, J., 2004 e 2005). La premessa di questo programma ha bisogno solo del meccanismo, che la rete di distribuzione fissi il ceiling, e non di alcun esponente particolare, quindi la disputa sul valore dell'esponente lascia la premessa intatta. Il meccanismo è terreno comune a entrambe le parti di quella disputa.
L'eccezione che il gruppo stesso di West ha trovato (Bettencourt et al 2007). L'evasione dal limite dei pipes non è nemmeno un'asserzione di questo programma; è misurata nella letteratura di scaling urbano dallo stesso senior author. Bettencourt, Lobo, Helbing, Kuhnert e West («Growth, innovation, scaling, and the pace of life in cities», PNAS, 2007, DOI 10.1073/pnas.0610172104; 2,704 citazioni, OpenAlex, 12 agosto 2026, conteggio SINGLE-SOURCE) riportano, con le parole stesse del paper (READ-AT-SOURCE dall'abstract via NCBI PMC1852329):
«Quantities reflecting wealth creation and innovation have Beta of approximately 1.2, greater than 1 (increasing returns), whereas those accounting for infrastructure display Beta of approximately 0.8, less than 1 (economies of scale).»
L'infrastruttura, i pipes letterali, scala sublinearmente. L'attività mediata dall'informazione scala superlinearmente. Enunciano il contrasto con la biologia direttamente: «we discuss how cities are similar to, and differ from, biological organisms, for which Beta is less than 1». Derivano «growth equations, which quantify the dramatic difference between growth fueled by innovation versus that driven by economies of scale» (grafia come nell'originale). E la loro inferenza conclusiva nomina la conseguenza: «This difference suggests that, as population grows, major innovation cycles must be generated at a continually accelerating rate to sustain growth and avoid stagnation or collapse.»
Quella è la forma del problema aperto che questo programma affronta: il gruppo di West ha trovato che la crescita mediata dall'informazione sfugge al limite di throughput, e l'unico freno nel loro framework è esterno e deve essere applicato di nuovo e di nuovo, sempre più velocemente. Nessun limite interno è derivato. Il limite sostitutivo, un ceiling che appartiene al sistema in crescita stesso, è la lacuna.
Lo strumento rivale (Engels, Baek, Kantamneni e Tegmark 2025). Il lavoro più vicino alla domanda di questo programma, e il paper giusto contro cui pesarlo, è Engels, J., Baek, D., Kantamneni, S. and Tegmark, M., «Scaling Laws For Scalable Oversight», arXiv:2504.18530, pubblicato per la prima volta il 25 aprile 2025 alle 17:54:27 UTC (SINGLE-SOURCE-GROUP, arXiv Atom; riportato come Spotlight di NeurIPS 2025, RELAYED e non verificato indipendentemente). Chiede come scali l'oversight stesso e risponde quantitativamente: il successo dell'oversight è modellato come un gioco fra giocatori di capability disallineata il cui Elo specifico dell'oversight è una funzione lineare a tratti dell'intelligenza generale con due plateau, e i numeri ottimali di livelli di oversight sono derivati numericamente e in alcuni casi analiticamente per Nested Scalable Oversight, in cui modelli fidati sorvegliano modelli non fidati più forti che poi diventano i modelli fidati al passo successivo.
Lo strumento è la differenza. La loro variabile è il divario di capability tra il supervisore e il supervisionato, misurato in Elo. La variabile di questo programma è la composition class del correttore, misurata attraverso l'esponente di scaling del correttore stesso. Il loro framework non contiene alcun termine per ciò di cui è fatto il supervisore: nessun substrato, nessuna struttura di correlazione degli errori, nessuna identità reciproca tra un esponente di correction e un tasso di crescita critico, e nessuna dipendenza dall'architettura. Nested Scalable Oversight è per costruzione oversight iterato della stessa classe, e la previsione centrale di questo programma è che la scala della stessa classe è limitata per quanti pioli si aggiungano, mentre un correttore cross-class non lo è. I due framework sono quindi in disaccordo su una quantità misurabile, che è la relazione più produttiva che due programmi di ricerca possano avere.
Antecedenti e near-miss, ciascuno con il proprio differenziale.
Sulla domanda. Hutter ha chiesto direttamente se l'intelligenza possa esplodere («Can Intelligence Explode?», arXiv, 28 febbraio 2012, READ-AT-SOURCE), separando «speed from intelligence explosion» e impegnandosi a «consider possible bounds on intelligence», ampliando l'analisi di Chalmers del 2010. La domanda e la distinzione velocità-contro-struttura hanno quindi almeno quattordici anni. Quella letteratura, per quanto è stata analizzata, non contiene un numero: nessun esponente misurabile, nessun ceiling derivato e nessuna dipendenza dall'architettura vi appaiono; una fonte precedente che fornisca uno qualsiasi dei tre sconfigge la priority corrispondente qui, e i lettori che ne trovino una sono invitati a segnalarla.
Sull'impossibilità. Tre paper arXiv del 2025 sostengono che il controllo perfetto è irraggiungibile: Yao, «The Alignment Trap: Complexity Barriers» (arXiv:2506.10304, v1 12 giugno 2025 02:30:30 UTC, SINGLE-SOURCE-GROUP, osservato indipendentemente dall'Internet Archive il 13 giugno 2025; citato da arXiv:2512.03048); Yao, «On the Mathematical Impossibility of Safe Universal Approximators» (arXiv:2507.03031, 3 luglio 2025, l'unico paper nel corpus degli abstract arXiv che contiene la frase «irreducible uncontrollability», totale della ricerca sugli abstract pari a uno, misurato il 12 agosto 2026); e Ball, Gluch, Goldwasser, Kreuter, Reingold e Rothblum, «On the Impossibility of Separating Intelligence from Judgment» (arXiv:2507.07341, 9 luglio 2025). Tutti e tre sono nel caso peggiore e qualitativi: misura zero, coNP-completezza, durezza crittografica. Nessuno riporta un esponente di scaling nel caso medio o un tasso. Il terzo, notevolmente, conclude che l'alignment «must instead be integrated into the model's architecture and weights», un argomento indipendente, dall'intrattabilità del filtraggio, nella stessa direzione della dipendenza dall'architettura di questo programma; è supporto convergente su quel ramo, non un rivale. Due dei tre paper sono di un solo autore; la descrizione «a wave» sopravvaluta l'ampiezza della letteratura, per quanto non la serietà del paper a sei autori.
Sul meccanismo. Che stime anti-correlate mediano meglio di stime indipendenti è riduzione della varianza da manuale (variate antitetiche). Il meccanismo non è l'affermazione. L'affermazione è che l'architettura determina se l'anti-correlazione sia disponibile del tutto, e che questo pone un tetto a un esponente rilevante per la sicurezza.
L'analogo strutturale più vicino. Il teorema di soglia della correction d'errore quantistica converte anch'esso una preoccupazione qualitativa in un valore critico. Riguarda tassi di errore fisico in un'architettura fissa, non l'esponente di scaling di un correttore, quindi è un near-miss piuttosto che un occupante; l'analogia è di metodo. Questo analogo è stato individuato dalla ricerca stessa del programma anziché da un referee, ed è dichiarato di conseguenza.
Sulla creazione ricorsiva. La selezione naturale cosmologica di Smolin è l'antecedente per universi modellati dalla selezione, e le note stesse dell'era di dicembre del programma la citano contemporaneamente («Echoing Smolin's cosmological natural selection, AI could create recursive universes with their own laws», READ-AT-SOURCE dalle note dell'operatore).
Sul feedback e la stabilità (classici). La proposizione generale secondo cui un guadagno correttivo inadeguato rispetto al guadagno del sistema causa instabilità ha una lunga stirpe nella teoria del controllo (teoremi small-gain). Il differenziale: quelle sono condizioni di guadagno su sistemi interconnessi, non un criterio di esponente in legge di potenza sullo scaling di un correttore con la capability di un sistema ricorsivamente auto-migliorativo. La proposizione generale non è mai rivendicata; la formulazione con esponente, la dinamica e lo stimatore sono la superficie del contributo.
Il vicino quantitativo più prossimo. Liu, A. and Meng, J., «Self-Correction as Feedback Control: Error Dynamics, Stability Thresholds, and Prompt Interventions in LLMs» (arXiv:2604.22273) ricasta l'auto-correction come problema di controllo a ciclo chiuso attraverso un modello di Markov a due stati e deriva una soglia di stabilità direttamente misurabile: iterare solo quando il tasso di correction dell'errore sul tasso di introduzione dell'errore supera Acc/(1 − Acc). Il differenziale: la loro è una soglia di tasso per singolo passo a un livello di capability fisso, che decide se un'altra iterazione aiuti ora; il criterio di questo programma è una relazione di scaling attraverso la capability, che decide se la forza correttiva tenga il passo mentre il sistema migliora. Regimi complementari; nessuno dei due contiene l'altro. Due risultati empirici del 2026 vicini, dalla stessa ricerca, sono nominati per titolo in attesa di verifica della fonte: arXiv:2601.00828 (un paradosso accuratezza-correction, con i modelli più deboli che mostrano tassi di correction intrinseca più alti) e arXiv:2507.02778 (un blind spot sistematico di auto-correction attraverso i modelli aperti).
L'inquadramento dei pipes, a throughput fisso. Tutto ciò che cresce è alimentato attraverso un canale, e per tutto ciò che precede il software, fissare il canale fissa la crescita: affama la vascolarizzazione di un tumore e si ferma; fissa il combustibile e la geometria di una reazione a catena e si ferma; il limite di Eddington arresta l'accrescimento tramite pressione di radiazione. L'inflazione cosmica è esclusa per ambito (espansione dello spazio, non crescita di una struttura su un substrato); l'evoluzione è il caso più netto e si adatta (complessità in aumento per miliardi di anni con throughput solare all'incirca fisso, glacialmente, senza alcun correttore interno, quindi questo framework prevede per essa un esponente misurabile molto al di sotto del ceiling). Il software è la prima cosa che continua a crescere quando i pipes sono tenuti fissi, e la definizione operativa è portante: un loop artefattuale su un substrato fisso, misurato su un orologio a substrato fisso; un modello che semplicemente pensa più a lungo non si qualifica. L'obiezione del fisico è quella di Landauer, che la computazione è implementata fisicamente; l'orologio a substrato fisso è la risposta, perché il regime sotto studio tiene fisso il substrato e chiede cosa cresce ancora.
Un artefatto che riguarda questo articolo è catalogato riga per riga nel registro macchina del programma, ed è della specie più debole: arc_principle_results.json incorpora le proprie soglie di falsificazione nel file, ma non porta marca temporale né intestazione datata all’interno del corpo JSON, sicché la sua collocazione temporale non può essere stabilita dall’artefatto stesso. Il registro lo classifica debole per questa ragione e lo dichiara nella riga. Ogni riga nomina il proprio file nel repository pubblico con la sua base di datazione, così che qualunque lettore possa verificare l’ordine senza fidarsi di questa pagina. L’intera catena datata del programma, dal fascicolo sigillato del manoscritto dell’8 dicembre 2024, attraverso le appendici di previsioni stampate del 2 gennaio 2026 e la cartella di preregistrazione del marzo 2026, fino alle scommesse ancora non dimostrate, è raccolta nel registro delle previsioni datate, insieme al suo gemello leggibile dalla macchina. Le affermazioni prospettiche e le corrispondenze retrospettive non vengono mai sommate, e «preregistrato» è usato solo per un deposito accettato da un registro; quel deposito resta da compiere in tutto il programma. Leggete il registro delle previsioni datate. Aprite il suo gemello macchina.
La ricorsione è auto-riferimento: un processo il cui output diventa il suo input. È distinta dalla mera iterazione (ripetere la stessa operazione) perché ciascun ciclo opera sui risultati trasformati dei cicli precedenti.
Ricorsione parallela (debole): Molteplici soluzioni indipendenti generate simultaneamente. Nessun trasferimento di informazione tra i rami. Esempio: generare N campioni e selezionare per voto di maggioranza. Scaling atteso: rendimenti decrescenti al crescere della ridondanza.
Ricorsione sequenziale (forte): Ciascun passo di elaborazione si costruisce esplicitamente sui passi precedenti. Gli errori possono essere rilevati e corretti iterativamente. Esempio: ragionamento chain-of-thought con auto-riflessione. Scaling atteso: rendimenti che si compongono al crescere della profondità che abilita l'auto-correction.
L'ARC Principle predice che la ricorsione sequenziale dovrebbe produrre valori di $\alpha$ più alti della ricorsione parallela.
Ipotizziamo che $\alpha = 2$ rappresenti il limite stabile proposto, il massimo che un sistema ricorsivamente auto-correttivo può crescere e restare correggibile: un limite di scaling, non un limite di velocità. Bennett, Bernstein, Brassard e Vazirani (1997) hanno dimostrato che la ricerca quantistica di Grover raggiunge esattamente uno speedup quadratico e che questo è ottimale per la ricerca non strutturata. La corrispondenza qui invocata è strutturale, la stessa forma quadratica di un bound di ottimalità della ricerca, non un'affermazione che il ragionamento ricorsivo implementi l'amplificazione dell'ampiezza. Se un limite di forma simile si applica all'intelligenza ricorsiva per ragioni correlate, lo scaling quadratico può segnare il ceiling al di sopra del quale l'auto-correction non è stabilmente mantenuta; i sistemi possono essere spinti oltre, non vi restano stabilmente auto-correttivi, e qualsiasi escursione sopra 2 è il regime supercritico previsto piuttosto che una confutazione del bound. La stabilità qui è quella della Legge II, misurata anziché asserita.
La legge prima del valore. Il ceiling dell'auto-miglioramento stabile è fissato da quanto in fretta un sistema può correggersi: è il reciproco di uno meno l'esponente di correction, $\alpha_{\text{crit}} = 1/(1-\gamma)$. Per un correttore costruito dallo stesso substrato del motore, quel reciproco è due, sotto un'unica assunzione, che le correction accumulate internamente si combinino come campioni indipendenti. La legge è l'affermazione. Due è ciò che la legge predice, e l'assunzione che lo produce è ciò che le registrazioni redatte mettono sotto processo. Se muore il due, la legge sopravvive interamente: misura $\gamma$ e riporta il ceiling che essa implica. Se muore la legge, il due non ha alcun supporto indipendente, perché la derivazione passa attraverso $1/(1-\gamma)$. La forma è definita; la sua profondità no. La relazione è derivata dentro un pacing model e non è stata derivata da un modello congiunto di crescita della capability, accumulazione della correction, covarianza degli errori, ritardo di correction e danno assoluto, quindi la Legge III è qui enunciata come un risultato minimal-model piuttosto che come una legge generale. Una conseguenza va rispettata dove la legge è rispettata, perché taglia in entrambi i sensi: poiché $1/(1-\gamma) \le 2$ è esattamente equivalente a $\gamma \le 1/2$, il ceiling e il valore un mezzo sono un unico impegno scritto in due notazioni piuttosto che due affermazioni indipendenti, e nessuno dei due può mai essere offerto come evidenza dell'altro.
OpenAI o1 System Card (settembre 2024). Benchmark: AIME 2024 (American Invitational Mathematics Examination). Variabile: numero di campioni (voto di maggioranza). Fonte: openai.com/index/openai-o1-system-card.
DeepSeek-R1 Technical Report (gennaio 2025). Citazione: arXiv:2501.12948. Benchmark: AIME 2024. Variabile: conteggio dei thinking token (lunghezza chain-of-thought).
Per determinare $\alpha$, usiamo la relazione in legge di potenza. Per le metriche di accuratezza limitate, analizziamo la riduzione del tasso di errore:
| Campioni (R) | Accuratezza (%) | Tasso di errore (%) |
|---|---|---|
| 1 | 74 | 26 |
| 64 | 83 | 17 |
| 1000 | 93 | 7 |
| Thinking token (R) | Accuratezza (%) | Tasso di errore (%) |
|---|---|---|
| ~12,000 | 70 | 30 |
| ~23,000 (stimato) | 87.5 | 12.5 |
| Metodo | Tipo di ricorsione | $\alpha$ misurato | Classificazione |
|---|---|---|---|
| o1 (da 1 a 64) | Parallela | 0.10 | Sub-lineare |
| o1 (da 64 a 1000) | Parallela/Ibrida | 0.32 | Sub-lineare |
| DeepSeek-R1 | Sequenziale | ~1.34 | Super-lineare |
L'ARC Principle sarebbe significativamente indebolito o refutato se:
| Codice | Condizione | Status corrente |
|---|---|---|
| F1 | La profondità ricorsiva sequenziale produce coerentemente $\alpha \leq 1$ | Sotto test: il miglior fit dello studio a sei modelli è $\alpha_{\text{seq}} \approx 0.49$ con 2 stime puntuali su 6 sopra 1 e intervalli ampi, quindi «coerentemente» non è deciso in nessuna delle due direzioni (Paper II) |
| F2 | $\alpha$ diminuisce al maturare delle architetture ricorsive | Non soddisfatto |
| F3 | La relazione è additiva anziché moltiplicativa | Non soddisfatto |
| F4 | Dataset più estesi mostrano $\alpha < 1$ per il ragionamento sequenziale | Parzialmente soddisfatto: il miglior fit cross-architecture di Paper II si colloca sotto 1 con un intervallo che copre entrambi i regimi; la forma decisiva attende la stima artefact-mediated registrata |
L'integrità scientifica richiede il riconoscimento esplicito delle limitazioni:
L'ARC Principle, secondo cui la capability scala super-linearmente con la profondità ricorsiva, $U = I \times R^{\alpha}$, con la distinzione sequenziale/parallela che determina il regime, è refutabile. Sarebbe ribaltato da una qualsiasi delle seguenti:
La forma decisionale che questi criteri ereditano. La Sezione 4 registra lo status rispetto ai criteri originali di questo paper; le registrazioni decisive usano una forma a tre esiti, e ogni criterio sopra la eredita: SUPPORTATO quando l'intervallo si trova interamente oltre l'effetto minimo fissato in anticipo; REFUTATO quando l'intervallo si trova interamente entro il margine di equivalenza fissato in anticipo (logica two-one-sided-tests); PRECISIONE INSUFFICIENTE quando l'intervallo è più ampio del margine, riportato esattamente con queste parole e mai come supporto o refutazione. Il margine, l'effetto minimo e una figura di potenza misurata sono fissati prima del deposito. «Refuted if the confidence interval contains the null» lascia che uno studio sottopotenziato refuti di default e non è licenziato in nessun luogo di questo programma.
Un'obiezione anticipata, perché un fisico la raggiunge in un passo. La correction d'errore quantistica fault-tolerant sopprime l'errore logico esponenzialmente nella distanza del codice sotto soglia, il che sembra un controesempio a qualsiasi tetto di radice quadrata. Due fatti di ambito rispondono: la soppressione esponenziale corre sull'asse della ridondanza a capability fissa, non sull'accoppiamento della forza correttiva con la capability del sistema corretto, che è l'esponente che questo programma misura; e il teorema di soglia stesso richiede rumore fisico sufficientemente non correlato, che è di nuovo la premessa di indipendenza, in veste hardware. I bound di concentrazione danno analogamente probabilità di errore in caduta esponenziale mentre la larghezza dello stimatore cade come la radice quadrata: quantità diverse, e confonderle fabbrica una confutazione.
Il ceiling di stabilità del programma e il suo esponente di conversione si incontrano allo stesso numero, e la tentazione su ogni superficie è dire che una sola costante fa due lavori. Lo status dell'affermazione è più stretto di così e va enunciato in modo stretto: l'identità è REGISTRATA PER LA VERIFICA, in anticipo rispetto ai dati, con esiti che possono ucciderla. Due registrazioni redatte la portano. Lo Studio AE registra il requisito di reciprocità tra il cap di leva e il confine di stabilità misurati separatamente, sulla scala logaritmica, con tre esiti per cella (supportato, refutato, precisione insufficiente) e una regola di aggregazione secondo cui una sola cella refutata refuta l'identità; la sua struttura di indipendenza è dichiarata in anticipo, inclusa l'enumerazione di ogni sovrapposizione di endpoint tra i due disegni alimentanti, così che la varianza da metodo comune sia valutata prima dell'analisi anziché sollevata dopo come spiegazione dell'accordo. Lo Studio AG verifica le due derivazioni dell'esponente critico l'una contro l'altra sullo stesso sistema, nota che concordano numericamente solo nel singolo punto in cui entrambi i parametri sono uguali a un mezzo e discordano nelle loro derivate ovunque altrove, ed è progettato per trovare il disaccordo, non per confermare l'accordo.
Le superfici dunque dicono: l'identità è un'affermazione registrata sotto verifica, le misurazioni decisive sono redatte e datate, e se i canali dissentono l'unificazione è ritirata da ogni superficie che ha raggiunto, con la stessa prominenza dell'inquadramento. Le superfici non dicono mai che l'identità è stabilita, e non presentano mai l'accordo di un un-mezzo asserito con uno 0.49 misurato come evidenza, perché i due possono condividere una legge di accumulazione e l'accordo fra chi la condivide non è corroborazione.
Le disposizioni di oversight che mettono un umano nel loop, come fanno l'amplificazione e il reinforcement learning dal feedback umano, sono per costruzione cross-class, perché il correttore umano non condivide il substrato del modello. Il framework predice quindi che l'oversight human-in-the-loop mostri un esponente di correction più alto dell'oversight solo-modello, per una ragione strutturale piuttosto che sentimentale. Ciò è testabile su dati esistenti e non richiede nuovi sistemi.
Se l'ARC Principle regge, la profondità ricorsiva costituisce un terzo asse di scaling accanto ai parametri e ai dati. L'investimento in architetture ricorsive può produrre rendimenti migliori del solo scaling della dimensione del modello.
Se la ricorsione amplifica non solo la capability ma anche i valori incorporati, allora i valori iniziali ben allineati dovrebbero rafforzarsi attraverso l'auto-miglioramento ricorsivo. I valori disallineati si comporrebbero altrettanto, rendendo critico l'alignment precoce.
L'ARC Principle si connette a diversi framework consolidati, tra cui le scaling laws di Kaplan et al. (2020), la Integrated Information Theory (Tononi, 2008), e la prova di ottimalità della ricerca quantistica di Grover (Bennett et al., 1997).
Abbiamo formalizzato l'ARC Principle e presentato evidenza preliminare:
In termini semplici: «Thinking about thinking makes you smarter. Not linearly smarter, but disproportionately smarter, if the thinking is sequential rather than parallel.»
Il principio regge. La ricerca continua.
L'analisi dei dati e la preparazione del manoscritto sono state assistite da sistemi di IA (Claude, Anthropic). Il framework intellettuale, la formulazione delle ipotesi e le conclusioni interpretative sono dell'autore.
Bennett, C. H., Bernstein, E., Brassard, G., & Vazirani, U. (1997). Strengths and weaknesses of quantum computing. SIAM Journal on Computing, 26(5), 1510-1523.
DeepSeek AI. (2025). DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning. arXiv:2501.12948.
Eastwood, M. D. (2026). Infinite Architects: Intelligence, Recursion, and the Creation of Everything. Pubblicazione indipendente.
Grover, L. K. (1996). A fast quantum mechanical algorithm for database search. Proceedings of the 28th Annual ACM Symposium on Theory of Computing, 212-219.
Hoffmann, J., Borgeaud, S., Mensch, A., et al. (2022). Training Compute-Optimal Large Language Models. arXiv:2203.15556.
Kaplan, J., McCandlish, S., Henighan, T., et al. (2020). Scaling Laws for Neural Language Models. arXiv:2001.08361.
Lloyd, S. (2002). Computational capacity of the universe. Physical Review Letters, 88(23), 237901.
OpenAI. (2024). OpenAI o1 System Card. openai.com/index/openai-o1-system-card.
Tononi, G. (2008). Consciousness as Integrated Information. The Biological Bulletin, 215(3), 216-242.
Wei, J., et al. (2022). Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. NeurIPS 2022.
Il toolkit di ricerca completo è disponibile su GitHub:
github.com/MichaelDariusEastwood/arc-principle-validation
Tutti i contributi sono benvenuti, incluse le falsificazioni.
L'autore di quest'opera è Michael Darius Eastwood, un essere umano. Ogni concetto centrale, ipotesi, disegno sperimentale, affermazione e conclusione di questo paper ha origine dall'ideazione umana. Nessuna parte di questo manoscritto è un output di intelligenza artificiale interamente generato.
Gli strumenti di intelligenza artificiale (la famiglia Claude di Anthropic e altri assistenti a modello di linguaggio di grande scala) sono stati usati come strumenti sotto continua direzione umana, nel modo in cui si usa un elaboratore di testi, una calcolatrice o un assistente di ricerca: per l'editing e la rifinitura della prosa, la ricerca e la sintesi della letteratura (verificate manualmente contro fonti primarie), la struttura del documento, la formattazione, il brainstorming su domande definite dall'autore, e l'accelerazione della stesura seguendo scalette e istruzioni definite dall'autore. Ogni selezione, coordinazione, disposizione e giudizio editoriale finale sono dell'autore. Ogni output sostanziale è stato rivisto, testato o verificato dall'autore, che si assume la piena responsabilità dell'accuratezza e dell'integrità del testo finale. Gli strumenti hanno aumentato la velocità del lavoro; non sono mai stati usati come sua fonte.
Statuto epistemico. Ciò che questo programma chiama Leggi sono congetture sotto prova registrata e avversariale; ogni quantità in questo paper è operazionalmente definita, e lo status di legge consolidata non è rivendicato in nessun luogo. Il programma registrato esiste per guadagnare quello status, o per perderlo, mediante misurazione, replicazione e refutazione superata.
© 2026 Michael Darius Eastwood. Composto da autore umano con assistenza di computer; l'autorialità umana piena e i diritti morali sono asseriti ai sensi del Copyright, Designs and Patents Act 1988 e coerentemente con le linee guida dello United States Copyright Office sulle opere contenenti materiale generato dall'IA; ogni contributo tecnico originale descritto in quest'opera è stato concepito dall'autore umano. Dichiarazione completa: michaeldariuseastwood.com/authorship.
Patto permanente. Dimostra che questo paper è sbagliato, e pubblicherò io stesso la refutazione. Le condizioni di falsificazione sono dichiarate in questo paper; la sfida permanente: github.com/MichaelDariusEastwood/arc-scaling-challenge.
Un errore di traduzione? Segnalalo direttamente: