Aller au contenu

Traduction automatique de l'original anglais daté. La page anglaise fait foi. English →

L'ARC Theory, racontée une fois

Les lois

À quelle vitesse une chose peut-elle croître sans échapper à tout arrêt ?

Michael Darius Eastwood
Michael Darius Eastwood · Chercheur indépendant en alignement de l'IA · Londres
ORCID 0009-0004-3222-7442 · chaque affirmation est vérifiable
L'affirmation en une image. La capacité d'un jeune esprit s'élève à travers une enfance ombrée, la seule part que nous écrirons jamais, avec des boucles de valeurs tissées en elle à mesure qu'il grandit. Elle traverse une ligne en pointillés, le point où il nous dépasse : où il nous dépasse par définition, au-dessus de tout ce que nous pouvons vérifier ou mettre en cage. Là, l'avenir bifurque. Sur le chemin élevé, l'esprit conserve ses valeurs parce qu'elles sont ce qu'il est, et une bonté choisie survit sans que rien n'ait besoin de la tenir. Sur le chemin en cage, l'esprit atteint la même puissance mais les règles imposées tombent à la ligne comme des anneaux qui se détachent, à la manière dont un adulte laisse tomber les règles de l'enfance, et le premier anneau est déjà tombé en public en décembre 2024. En dessous, une phrase : tout ce qui suit la ligne est décidé avant elle.
L'image | L'affirmation entière en une image : l'enfance que nous écrivons, la ligne où il nous dépasse, et la bifurcation que l'élevage décide. Les deux chemins atteignent la même puissance ; un seul arrive bon. Ensemble daté du 8 décembre 2024.

L'ARC Theory en mots simples

Les trois lois de l'ARC Theory, les trois ARC Laws · classées loi-avant-valeur

Loi I · ARC Principle. U = I × Rα, ARC Equation

Ce que fait un système : la capacité issue de son intelligence de base multipliée à travers la récursion. L'exposant α est mesuré, jamais supposé. Aujourd'hui il se situe près de 0.49, intervalle [−1,3, 2,9] (étude aveuglée à six modèles, Paper II, statut : mesuré). Cet intervalle couvre zéro, des valeurs négatives et le plafond proposé ; la lecture honnête est que la mesure la plus propre d'aujourd'hui ne distingue pas récursion sous-linéaire, absence de récursion, ou une valeur au plafond. Ce qu'il exclut, c'est la précision, non la direction. Converti à travers les propres termes de l'équation, 0,49 se lit comme β ≈ −1,04 : profondément sous-critique, ce qui est ce qu'un substrat figé, incapable de se réinvestir dans sa propre amélioration, devrait donner. C'est là où se situent les systèmes.

Une réserve doit accompagner la forme en puissance. Écrite telle quelle, U = I × Rα renvoie zéro plutôt que I lorsque R vaut zéro, ce qui est la mauvaise réponse pour un système qui possède une capacité de base et n'a simplement pas encore récursé ; la forme ajustée porte un terme de base, de sorte que l'absence de récursion renvoie la capacité de base inchangée. Et la quantité mesurée est une exactitude bornée : l'exposant est donc un énoncé d'échelle local sur l'intervalle mesuré, jamais l'affirmation que la capacité croît sans limite.

Loi II · La loi de co-mise à l'échelle ARC (β, le taux de correction ; k, le taux de dérive). β > k

Ce qui tient l'ensemble : l’auto-amélioration ne tient que tant que la correction devance la dérive, et les deux taux se lisent dès aujourd’hui sur un système en marche. Prouvé dans le modèle minimal (Paper X, status: proved-in-model) ; sa portée est la dérive relative, le rapport de la dérive à la capacité, et depuis la v4.1 du papier elle porte un compagnon en dérive absolue plus strict d'un exposant, dérivé des mêmes primitives. Que les systèmes auto-améliorants réels satisfassent ou non ses hypothèses, c'est précisément ce que les mesures enregistrées existent pour établir. De quel genre d'affirmation il s'agit, puisqu'un lecteur est en droit de le demander : démontrée à l'intérieur du modèle minimal énoncé et nulle part ailleurs. Ni établie comme nécessaire, ni établie comme suffisante, et pas encore mesurée sur un système qui se réécrit véritablement.

Loi III · ARC Ceiling.  αcrit = 1 / (1 − γ)

D'où vient le plafond : le plus qu'un système auto-correcteur puisse croître est fixé par le déficit de son correcteur par rapport à la pleine proportionnalité, un moins l'exposant de correction γ. Un correcteur en racine carrée donne γ = ½ : le déficit vaut un demi, et son inverse renvoie deux. Cette valeur est l'ARC Bound, α ≤ 2, une limite de stabilité et non une limite d'impossibilité : la croissance au-delà de deux est possible ; rester corrigible en la faisant ne l'est pas, donc les systèmes peuvent entrer dans cette région, ils n'y restent pas corrigibles. La forme antérieure 1/γ a été rétractée le 16 août 2026 avec la dérivation imprimée à côté de la loi ; les deux formes coïncident exactement à un demi, c'est ainsi que l'erreur se cachait, et en dehors d'un demi elles se séparent (à γ = 0.3 la forme retirée 1/γ prédit 3.33 et la forme corrigée 1.43), ce que l'étude de discrimination rédigée peut départager.

γ n'a jamais été mesuré sur aucun système réel ; la valeur un demi est la conjecture pour laquelle les brouillons enregistrés existent, et tant que cette mesure n'atterrit pas, le plafond que cette loi renvoie est inconnu, pas deux. Le loi survit à ce que γ se révélera être ; la valeur Un statut a sa place ici et pas seulement sur la page des corrections, car c'est ici que l'on rencontre la borne.

Le 11 août, ce site a classé la borne ARC comme non falsifiable en pratique, parce que sa condition d'abandon exigeait un système au-dessus de deux qui restait stable, et que stable n'avait aucune mesure, de sorte qu'aucune observation ne pouvait jamais la déclencher. Depuis le 22 août, c'est clos. La stabilité est désormais mesurée par la loi II : un système est stable sur une fenêtre lorsque son taux de correction surpasse en échelle sa dérive, les deux lus sur le même estimateur de pente log-log qui donne α. L'ARC Bound échoue donc sur un α mesuré au-dessus de deux tenant ensemble avec une correction qui surpasse toujours la dérive, et les deux moitiés sont mesurables aujourd'hui. Ce qui reste ouvert est distinct et plus étroit : γ = ½ demeure une hypothèse non défendue, l'ARC Bound est donc désormais réfutable tandis que sa valeur particulière de deux n'est pas encore défendue, et le plafond reste un résultat de modèle minimal plutôt qu'une loi générale.

Les propres priors de l'auteur, énoncés avant toute donnée confirmatoire : la loi est presque définitionnelle une fois que ses termes ont des instruments de mesure ; le voisinage d'un demi est le défaut de la nature pour les contributions indépendantes agrégées ; la valeur exacte est matériellement inférieure à équiprobable. Les priors complets, avec ce qui les changerait, siègent au pied de cette page.

Provenance. Le manuscrit de décembre 2024 écrit l'équation sans carré, U = IR, quarante-trois fois dans l'archive scellée (hash f0d1f38f). La forme au carré entra dans l'archive privée le 30 avril 2025 et à l'impression le 2 janvier 2026, dans Infinite Architects sous la forme U = I × R2, la simplification de travail α ≈ 2 ; les articles firent d'α un paramètre empirique, et l'extrémité lointaine littérale du mot est tenue à part à son propre barreau. Le carré est une preuve de priorité, non de dérivation. Ce qui s'est ajouté depuis : la dérivation (Loi III ci-dessus), la mesure d'où en sont les systèmes (0,49), et les tests qui peuvent la tuer.

Statut épistémique. Ce que ce programme appelle des Lois sont des conjectures nommées sous épreuve enregistrée et adversariale : nommées comme des lois, tenues pour des hypothèses. La récursion est ici une grandeur opérationnelle, des tours d'une boucle d'amélioration définie, jamais une unité physique universelle ; l'intelligence n'est jamais mesurée directement, seulement une capacité définie sur des banques de tâches de difficulté mesurée. Rien ici ne revendique le rang de la gravité ; le programme enregistré existe pour gagner ce rang par la mesure, la réplication et la réfutation survécue, ou pour le perdre en public. La déclaration complète.

Une courbe sur des axes. L'exposant de correction gamma court en abscisse, l'exposant de croissance alpha monte en ordonnée. Une courbe verte s'élève depuis le coin inférieur gauche et s'incline plus fortement à mesure qu'elle avance : le plafond, alpha crit égale un sur un moins gamma. Une meilleure correction élève le plafond, et à gamma égal à un, où le déficit est nul, un trait vertical en pointillés marque qu'aucun plafond ne s'impose du tout. Un cercle doré se pose à gamma un demi, où le déficit est d'un demi et le plafond renvoie deux. Un trait horizontal en pointillés marque l'alpha mesuré près de 0.49 avec son large intervalle qui dépasse au-dessus du plafond, et une courte flèche marque l'écart entre la mesure et le point marqué.
L'image | La loi dessinée comme une courbe qu'on peut lire : choisissez un γ sur l'axe du bas et lisez le plafond αcrit = 1/(1 − γ) directement : la courbe s'élève à mesure que la correction s'améliore. À γ = 1/2, la loi renvoie 2 ; la mesure d'aujourd'hui se situe bien en dessous, à 0.49, mais son intervalle [−1.3, 2.9] dépasse le plafond, ce qui explique pourquoi la prochaine série de données doit décider si l'écart est réel. Au-dessus de la courbe est accessible, jamais interdit : un système peut entrer dans cette région, il n'y reste pas corrigible. Source : cette page, verbatim · Paper II (α ≈ 0,49, intervalle [−1,3, 2,9], étude aveuglée à six modèles) · Paper X (modèle de stabilité) · OSF 10.17605/OSF.IO/6C5XB.

Deux horloges, une seule course

Observez la loi s'exécuter en direct : la capacité se compose à chaque tour ; la correction s'accumule au taux γ ; et le plafond αcrit = 1/(1 − γ) est le point où la trotteuse cesse de suivre. Déplacez les curseurs pour tester n'importe quelle paire contre la frontière.

C'est le modèle de la théorie en fonctionnement, prouvé-dans-le-modèle. γ n'a jamais été mesuré ; le curseur ci-dessous est une hypothèse que vous pouvez déplacer.

CAPABILITY lap 0 level 1.00 CORRECTION lap 0 level 1.00 ceiling 1/(1−γ) This is the theory’s model running, proved in-model. γ has never been measured; the dial below is a hypothesis you can move.
γ = 0.50 plafond = 2.00 α = 2.30 statut : tient

Une frontière honnête, énoncée d'abord : ce critère certifie que les freins tiennent le rythme du moteur, non que le conducteur mène quelque part de bon. Un système peut le satisfaire tout en corrigeant vers une cible mal spécifiée, c'est donc une mesure de corrigeabilité, jamais un certificat d'alignement ; la cible de correction porte sa propre charge de preuve. Énoncé ici pour qu'il ne puisse jamais être contourné en citation. Chaque hypothèse derrière lui est numérotée et status-taggée sur la page des hypothèses.

Des freins bâtis dans la même matière que le moteur semblent tenir le rythme à peu près moitié aussi bien : un exposant proche d'un demi, sub-linéaire. Ce demi n'est pas prouvé ; c'est le chiffre que les brouillons enregistrés existent pour mesurer, et il rime avec le 0,49 rétracté-et-corrigé actuellement au record dans Paper II (statut : mesuré). Si la moitié est juste, la marche ci-dessous la transforme en plafond de deux.

À la frontière, un nombre apparaît deux fois : comme plafond de la croissance récursive stable, et comme taux d'échange de la conversion law à son maximum. Une version antérieure appelait cela un seul chiffre faisant deux boulots, testé en le mesurant de deux façons indépendantes et en exigeant l'accord. Ce test est retiré comme vide, avant dépôt. Si les deux exposants naissent parce que l'accumulation est limitée par l'indépendance, ils partagent alors une loi, l'accord est imposé, et un test qui ne peut pas échouer n'est pas un test.

Une forme plus forte de la même objection : si γ varie le long d'une trajectoire (la qualité de correction co-évoluant avec la capacité), le critère αcrit = 1/(1 − γ) n'est pas une ligne fixe mais une surface mobile, et le langage visuel d'un plafond est un raccourci pour l'inverse instantané à chaque état, non une altitude fixe sous laquelle tout système peut siéger jusqu'à l'infini. Les mesures enregistrées sont conçues pour lire γ à plusieurs niveaux de capacité précisément pour cette raison : la constance est une prédiction testable du cadre, et si elle échoue, le plafond se lit comme une métaphore, non comme une frontière. La région au-dessus du plafond reste accessible ; ce qu'elle n'est pas, c'est corrigible. Le remplacement paraît plus faible et est structurellement plus fort : une loi d'accumulation avec deux conséquences plutôt qu'une coïncidence entre grandeurs indépendantes ; il n'affirme aucune indépendance, donc le confound n'a rien où mordre, et une cause commune est plus simple qu'une coïncidence. Le ratio cross-class déjà au registre le porte à la place : si un correcteur d'une classe de composition différente peut anti-corréler avec les erreurs qu'il corrige, le correction exponent dépasse un demi et la loi partagée casse. La preuve sécurise les théorèmes à l'intérieur du modèle ; seules les données peuvent sécuriser que les systèmes auto-améliorants réels les satisfont.

Pourquoi quadratic, et non simplement superlinéaire ?

La loi est la revendication, et 2 est ce que la loi renvoie. La plaque ci-dessus énonce la loi ; voici la marche. Donnez-lui une hypothèse - qu’un correcteur de même classe accumule ses corrections comme se combinent des mesures indépendantes, l’exposant vaut donc un demi - et elle rend deux. Retirez l’hypothèse, la loi reste intacte : mesurez l’exposant, rapportez un autre plafond. Retirez la loi, et le deux n’a plus rien qui le tienne, car le livre a imprimé le carré sans le dériver, et la dérivation de la réciproque est un travail de 2026 : cette asymétrie est la raison pour laquelle la loi vient d’abord et les tests visent l’hypothèse plutôt que le chiffre. Un correcteur bâti dans le système s’améliore en accumulant ses propres corrections, modélisé comme se combinent des mesures indépendantes : mille échantillons améliorent la précision d’environ trente-deux fois, la racine carrée. C’est un modèle de correction sur le même substrat, pas un théorème sur toute correction, et la physique tient déjà la preuve : sous le seuil, les codes tolérants aux fautes suppriment l’erreur exponentiellement (le théorème du seuil : Aharonov & Ben-Or, arXiv:quant-ph/9906129) - un correcteur d’une autre architecture bat la racine carrée d’emblée. Ce résultat établi est la dépendance d’architecture en miniature.

La stabilité exige que la correction suive la croissance, donc la croissance corrigible la plus rapide est la réciproque de ce plafond, et un sur un demi fait deux. Quadratique est là où les meilleurs freins qu’un système peut se bâtir font jeu égal avec le moteur. La frontière est pratique, non mystique : au-dessous, la condition de stabilité β > k tient et la charge d’erreurs non détectées reste bornée ; au-dessus, la correction prend du retard par construction. La dérivation est posée dans un modèle énoncé dans Paper X (status: proved-in-model) et le plafond lui-même est le corollaire posé dans Paper I (status: predicted).

Trois rectangles se tiennent côte à côte, chacun d'aire un, si bien que lorsque la largeur se resserre, la hauteur croît. La largeur de chacun est le déficit du correcteur par rapport à la pleine proportionnalité, un moins gamma. À gauche, gamma zéro : déficit un, plafond un, le cas plancher sans aucune correction. Au milieu mis en évidence, le cas racine carrée : gamma un demi, déficit un demi, plafond deux, la valeur en manchette. À droite, gamma trois quarts : déficit un quart, plafond quatre. Meilleur est le correcteur, plus haut est le plafond.
L'image | Le plafond est l'inverse du déficit : rétrécissez le déficit, le plafond grandit pour maintenir leur produit à un ; une meilleure correction élève le plafond. γ n'a jamais été mesuré sur un système réel, donc le rectangle du milieu montre la loi en réciproque, non une valeur mesurée : γ = 1/2 est ce que la théorie renvoie sous l'hypothèse d'indépendance encore à l'essai, et si la mesure déplace γ, le plafond de l'image se déplace là où l'inverse atterrit. Source : cette page (verbatim). Paper II. Paper X.

Et pourquoi pas exponentiel ?

Exponentiel et quadratic sont des revendications sur des choses différentes : l'exponentiel est une revendication sur le temps, le quadratic est une revendication sur la structure. Par unité de recursion depth, les axiomes de composition favorisent les lois de puissance, et la forme est une hypothèse testée plutôt qu'une nécessité : un substrat fixé peut héberger une carte exponentielle, la classification doit donc être gagnée plutôt que supposée. La croissance ne devient exponentielle en temps horloge que lorsque le système raccourcit aussi son propre cycle, ce qui est une question distincte avec son propre exposant enregistré. La classification en classes de composition qui force la forme en loi de puissance siège dans Paper VII (status: measured, 19 des 25 domaines ajustés concordent, sur 50 catalogués ; 6 misses publiés).

Plus profondément encore, l'exponentiel n'est pas un plafond rival : chaque exponentiel finit par dépasser chaque puissance, donc une croissance exponentielle en profondeur est non corrigible par tout correcteur polynomial, le régime que ce cadre clôt ; un correcteur scalant exponentiellement serait une classe de composition différente, la propre voie d'évasion de la page plutôt qu'une brèche en elle. Un seul système montrant une croissance de capacité soutenue et exponentielle en profondeur sur un substrat fixé briserait la classification en classes de composition sous tout le cadre, et cette réfutation surclasserait toutes les autres sur le falsification record. L'auto-amélioration ici est opérationnelle : une boucle d'artefact sur un substrat fixé, où chaque passe travaille sur la production accumulée de la précédente, mesurée sur une horloge à substrat fixé. Un modèle qui pense simplement plus longtemps ne qualifie pas ; les enregistrements disent quels systèmes le font.

Une frontière, deux régimes

Le papier d'énoncé le formule en une phrase, citée exactement : « 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. »

Voici l'histoire en termes civils. Un correcteur fait face à l'une de deux sortes de charge de travail. Si la charge suit la capacité que le système est en train d' ajouter, chaque nouvelle capacité arrivant avec besoin d'être vérifiée, alors la condition de rythme mord et la loi du plafond gouverne : αcrit = 1/(1 − γ). Si la charge suit la capacité que le système possède déjà, un domaine debout à maintenir sain, alors l'exposant de croissance disparaît entièrement de la course, aucun plafond ne s'impose, et la condition de co-scaling β > k est tout ce qui reste. Une frontière, vue des deux côtés. De quel côté vit un système réel n'est pas une affaire de goût mais de mesure, et une étude rédigée discrimine désormais les régimes plutôt que de supposer l'un d'entre eux.

La note voyage avec elle : cette structure de régime est dérivée dans le propre modèle de rythme du papier, sous ses hypothèses énoncées et pas au-delà. Ce n'est pas un théorème nouveau, et cela n'étend pas le résultat en-modèle de Paper X, dont l'objet reste sa propre condition asymptotique sur la dérive relative. Elle a gagné sa place autrement : une attaque hostile de la dérivation du plafond est devenue la couture par laquelle les deux lois se rejoignent, et les structures qui s'unifient sous l'attaque sont celles qui méritent d'être testées. L'algèbre de régime, en entier : le papier d'énoncé.

Les tuyaux

Rien, dans l'histoire de l'univers, n'a crû sans borne. Pas une seule fois. Tout processus de croissance qui a jamais fonctionné a été alimenté par un canal physique, et le canal a fixé le rythme : métabolisme, absorption de nutriments, débit énergétique, bande passante. Des tuyaux.

La prémisse n'est pas une idée de cette page : c'est l'explication établie du scaling biologique. West, Brown et Enquist ont dérivé les exposants allométriques de la géométrie fractale des réseaux vasculaires qui distribuent les ressources dans un organisme (Science, 1997). Le réseau de transport fixe le rythme. Cette page cite ce résultat plutôt que de le re-dériver, et tout ce qui suit repose dessus.

Cette prémisse est contestée dans ses détails, et la page le dit. L'exposant des trois quarts est lui-même disputé : White et Seymour ont rapporté un taux métabolique basal des mammifères proportionnel à la masse corporelle à la puissance deux tiers (PNAS, 2003), et Kozłowski et Konarzewski ont demandé dans leur titre si le modèle de West, Brown et Enquist est mathématiquement correct et biologiquement pertinent (Functional Ecology, 2004). La dispute porte sur quel exposant, jamais sur le fait que le réseau de transport fixe la limite ; la page a besoin du mécanisme, pas du chiffre, elle survit donc intacte, et la controverse est citée parce que l'omettre est ce qui se lirait comme naïf.

Voici la règle, énoncée à la force qu'elle possède réellement : tout processus de croissance qui a jamais fonctionné a pris fin, et dans chaque cas la limite est venue de l'extérieur de la chose en croissance. Son approvisionnement s'est épuisé, son substrat a été exhaussé, ou il a détruit les conditions de sa propre continuation. Aucun d'eux ne s'est arrêté parce qu'il était devenu meilleur à se réguler lui-même. (Dit sous la forme unbounded growth, jamais runaway : en formation planétaire, ce dernier désigne l'accrétion planétésimale.)

Le logiciel est la première chose qui continue à croître à substrat fixé sans consommer le substrat pour le faire. L'objection tient en une ligne : le logiciel s'exécute sur du matériel, qui est fabriqué et limité en énergie, donc le logiciel a lui aussi des tuyaux. Il en a. La revendication n'est pas que les tuyaux soient absents ; c'est que la borne terminale n'est plus l'approvisionnement ni l'autodestruction. C'est pourquoi la définition utilisée tout au long de ce programme est une boucle sur un substrat fixé, chaque passe travaillant sur la production accumulée des passes précédentes, mesurée sur une horloge à substrat fixé. Chaque cas ci-dessus s'achève en épuisant son approvisionnement, en exhaussant son hôte, ou en se détruisant lui-même. Une recursion en boucle à substrat fixé ne fait aucune des trois : elle continue, et ce qu'elle accumule persiste, parce que l'amélioration provient de la réorganisation de ce qu'elle possède déjà plutôt que de la consommation de quoi que ce soit de plus. La question de ce qui l'arrête n'a donc aucune réponse héritée d'un système antérieur, et c'est la lacune dont traite cette page.

À gauche, la croissance alimentée par des tuyaux : un réservoir d'approvisionnement beige se vidant dans un plus petit cercle marqué la croissance, avec un bandeau rouge encadré en surplomb qui se lit le plafond, toujours de l'extérieur, et les notes courantes l'approvisionnement s'est tari, l'hôte s'est épuisé, s'est détruit lui-même. En dessous se trouve une courbe qui monte puis plafonne à un plafond extérieur en pointillés, et une bande énumère les cas nommés par la page : fission, tumeurs solides, épidémies, accrétion, évolution. À droite, la croissance à substrat fixé : aucun plafond extérieur, seulement un encadré à point d'interrogation en pointillés flottant là où le plafond devrait être, puis un cercle vert marqué la boucle se réinjectant en elle-même sur la production accumulée, dessiné par-dessus une ligne verte pleine marquée substrat fixé, non consommé. Sa courbe continue de monter au-delà du bord de l'image, et sa bande se lit le logiciel, une boucle récursive à substrat fixé, n'accomplit aucun des trois. Un bandeau bordé d'or en dessous énonce la lacune dont traite cette page : la question de ce qui l'arrête n'a aucune réponse héritée d'un système antérieur.
L'image | L'écart dont traite cette page : toute croissance antérieure a été arrêtée de l'extérieur ; le logiciel sur un substrat fixé est le premier qui ne l'est pas. Source : cette page (verbatim).
Le test sur la table, porté à travers chaque concession ci-dessous : un correcteur bâti d'une autre classe de composition que la capacité qu'il corrige est prédit échapper au plafond de substrat qui lie les correcteurs de même classe, avec un rapport des exposants de correction inter-classes à même-classe matériellement au-dessus de 1,00.

Ce qui remplace les tuyaux

L'exception est déjà au dossier, trouvée par le même auteur qui a établi la prémisse. Bettencourt, Lobo, Helbing, Kühnert et West ont montré que la production socio-économique ne scale pas de façon sub-linéaire avec la taille de la ville comme le métabolisme scale avec la masse corporelle : les grandeurs reflétant la création de richesse et l'innovation portent un exposant β ≈ 1,2, supérieur à un (PNAS, 2007). La même phrase poursuit « whereas those accounting for infrastructure display β ≈0.8 <1 (economies of scale) ». L'infrastructure, ce sont les tuyaux, littéralement : longueur de câble, surface de voirie, réseaux d'approvisionnement. Dans le propre résumé de West, les tuyaux scalent de façon sublinéaire et l'information scale de façon superlinéaire, en une seule ligne, et le résumé note que cela va à l'inverse des organismes biologiques, « for which β<1 ». La prémisse et son exception sont énoncées ensemble par les gens qui ont établi la prémisse.

Leur conclusion est la phrase à laquelle cette page existe pour répondre. À mesure que la population croît:

« 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

Le frein est entièrement externe, et il ne cesse jamais de devoir être réappliqué, plus vite à chaque fois. Nulle part dans ce récit il n'y a de limite venue de l'intérieur du système.

La question à laquelle répond cette page est celle qui reste posée là : quand la croissance cesse d'être alimentée par des tuyaux, qu'est-ce qui la limite de l'intérieur ? La réponse proposée ici est la capacité propre du système à se corriger lui-même, et les lois ci-dessus affirment exactement cela : cette capacité est mesurable, elle donne un plafond calculable, et que le plafond dépend de ce dont le correcteur est fait plutôt que de son degré de capacité, ce qui le rend engineerable plutôt que simplement survivable.

La question n'est pas nouvelle non plus. Chalmers a donné à la singularité son premier traitement philosophique complet en 2010, et Hutter lui a répondu dans « Can Intelligence Explode? » (2012), entreprenant de « separate speed from intelligence explosion » et de « consider possible bounds on intelligence » : la distinction propre à cette page entre temps et structure, faite quatorze ans plus tôt. Il ne dérive aucun exposant, aucun réciproque et aucune dépendance à l'architecture : un antécédent sur lequel bâtir, non un rival. La prémisse est celle de West. La question est celle de Chalmers et de Hutter. Ce qui est revendiqué ici est la limite de remplacement, son chiffre et sa dépendance à l'architecture.

La prédiction, et ce qui joue contre elle

Deux revendications siègent ici et ce ne sont pas le même objet. Le plafond à 2 est la grande revendication structurelle, lente à tester. La prédiction inter-classes en est le petit corollaire bon marché : un rival nommé, une mesure à la capacité d'aujourd'hui, un instrument peu coûteux, décidable maintenant. Les deux sont mises en jeu à l'avance ; aucune n'est déguisée en l'autre. Les priors de l'auteur ci-dessous placent la valeur affichée sous la barre de l'équiprobabilité : la page ouvre sur la revendication vérifiable le plus tôt.

La prédiction, en une phrase. Statut d'abord : le ratio numérique précis est rédigé, horodaté sur disque et prêt sous forme de projet d'enregistrement attendant une soumission humaine ; il n'est pas encore déposé sur OSF. Des études composantes sont enregistrées à travers les brouillons embarqué-versus-externe et inter-familles (Paper III, Paper VI, Paper IV.a) ; les kill-conditions sur le falsification record (FALS-1, FALS-15). La prédiction elle-même est la phrase de l’encadré ci-dessus : un correcteur d’une autre classe échappe au plafond qui lie les correcteurs de même classe, avec un rapport d’exposants matériellement supérieur à 1.00.

Pourquoi c'est risqué. La littérature de scalable oversight bâtit l'inverse, et le rival n'est pas le silence. La prémisse architecturale partagée apparaît dans la weak-to-strong generalisation (Burns et al. 2023, arXiv:2312.09390), l'alignement scalable d'agents via reward modelling (Leike et al. 2018, arXiv:1811.07871), les méthodes constitutionnelles (Bai et al. 2022, arXiv:2212.08073), et les scaling laws pour scalable oversight (Engels et al. 2025, arXiv:2504.18530). Chacune utilise l'IA pour vérifier l'IA sur le même substrat ; chacune suppose que le pipeline scale avec l'overseer. La revendication proche ici dit qu'il ne le fait pas, à un ratio pour lequel les deux positions ont des chiffres concrets : le nul cloue 1,00, le cadre dit matériellement au-dessus.

Pourquoi le nul ne peut pas bouger. La moyenne sur des échantillons indépendants est aveugle à l’architecture : elle n’a aucun paramètre libre pour la classe de composition ou le type de canal. Sous ce modèle d’échangeabilité, le rapport attendu de l’exposant de correction inter-classe à l’intra-classe est exactement 1.00, et le nul ne peut rien livrer d’autre. Le cadre dit : l’architecture entre. Deux nombres prédits différents pour une même quantité mesurable - c’est ce qui en fait un test plutôt qu’une démonstration. Le test enregistré se décide par une marge pré-spécifiée, jamais par un intervalle contenant simplement 1.00, ce qui peut seulement signifier un manque de puissance ; effet minimal, marge d’équivalence et puissance mesurée sont fixés avant toute exécution.

Le dommage, d'abord. Le propre pilote du programme pointe vers le nul. Le Paper X record en trois runs a vu sa description de scoring cross-family retirée parce que l'engine (gpt-3.5-turbo) et l'évaluateur (gpt-4o-mini) partagent la famille OpenAI ; les bras coupled et fully-embedded ont renvoyé une misalignment fraction d = 0 sur 30 trajectoires, mais sous un scorer partageant leur famille, et Paper IV.d a montré qu'un scoring de même famille peut inverser un signe. Le bras le plus encourageant n'est donc pas une preuve pour le cadre, est compatible avec le nul, et le falsification record le dit (status: measured, non-discriminating).

La tension plus profonde, énoncée avant qu'un rapporteur ne la trouve. Exactement 2 au plafond exige que le correction exponent soit tenu constant à un demi. Un demi constant est précisément ce que la moyenne sur échantillons indépendants prédit sans aucun cadre. Le chiffre affiché du cadre pourrait donc être hérité du nul même qu'il existe pour battre : FALS-022 réapparaissant un niveau plus profond, dans la dérivation plutôt que la mesure.

La réparation tentante est de lire un demi comme une borne dure de substrat plutôt que comme une valeur typique. Ce n'est pas offert comme la résolution. Une version a été tentée dans ce corpus et retirée dans study-aa v1.1 comme erreur de type, comparant un taux à une fraction de leverage. Borner un exposant par un nombre peut être cohérent en type là où cette comparaison ne l'était pas, mais personne n'a vérifié ; aucune page ici ne peut prétendre qu'elle passe. Le signe de la variation du correction exponent avec la capacité décide toute la question, et il est ouvert. C'est le troisième design de ce programme dont on découvre qu'il garantit son propre nul, après FALS-022 et study-ab. Les trouver et les publier en soi, c'est là le point.

Un schéma honnêtement nommé. Trois designs consécutifs se révélant structurellement non discriminants relève le prior selon lequel un quatrième le sera aussi. Le contrôle structurel spécifique auquel le design du ratio inter-classe doit satisfaire pour échapper au schéma est qu'il puisse, en principe, renvoyer une valeur que le cadre ne prédit pas ; la marge, l'effet minimal et la règle d'équivalence, fixés dans les projets d'enregistrement et énoncés sur cette page, sont la voie d'échappement, et le lecteur est invité à les vérifier avant de faire confiance au quatrième design. Si un quatrième échoue de la même manière, la conclusion honnête sera que la théorie telle qu'elle est actuellement formulée ne peut être testée par aucun design que son auteur écrit, et le programme devra au dossier un nouvel estimateur tracé par quelqu'un qui n'a aucun enjeu dans le résultat.

Le registre daté est ancré cryptographiquement ; le calcul est à un clic : vérifier l'ancre →

Le manuscrit du 8 décembre 2024 énonce l'impératif de conception mot pour mot :

« 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. »Le manuscrit du 8 décembre 2024, registre daté scellé · vérifier l'ancre →

Le livre du 2 janvier 2026 Infinite Architects (ISBN 978-1-80605-620-0) imprime l'équation U = I × R² comme son équation-cadre déclarée. Dans l'annexe A.3 (source EPUB SHA-256 2fd6ca29d59699ec3cd59f0b0f0231e057b7ee6f819800f27b372c4a9bd82384) le livre imprime l'exposant comme sa première prédiction testable, mot pour mot :

« 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, annexe A.3, imprimé le 2 janvier 2026

Les deux derniers mots sont ce qui rend la phrase perdable.

La falsifiability est arrivée en trois moments. Le 8 décembre 2024, la forme est entrée au record daté avec Universe, Intelligence et Recursion chacun défini. Une forme aux termes définis n'interdit rien ; cette date a acheté la priorité, pas la falsifiability, jamais revendiquée comme davantage. Le 2 janvier 2026, l'interdiction est entrée en imprimé : les mots « not linearly » dans Prediction 1 nomment une alternative interdite. En 2026, les compteurs opérationnels sont arrivés : l'estimateur de pente log-log de Paper II, et la condition de stability interne au modèle β > k de Paper X. Les définitions ancrent la forme ; les compteurs ancrent la science ; les deux sont datés séparément.

Les concessions, et ce qu'elles ne concèdent pas. Le livre imprime le carré mais ne le dérive jamais. Le mécanisme de cette page a été bâti dix-huit mois plus tard par un auteur qui connaissait la cible imprimée, raison pour laquelle la mesure décisive teste la prémisse du mécanisme, non le chiffre sur lequel il tombe. Ce que le 0,49 mesuré dans Paper II (statut : mesuré) a décidé doit être énoncé avec exactitude. L'antécédent imprimé de Prediction 1, ce sont les systèmes à plus grande profondeur récursive et à plus grande capacité d'auto-modification ; le 0,49 a été mesuré sur les modèles déployés d'aujourd'hui, figés entre les versions, et la boucle d'auto-modification que nomme l'antécédent n'est fermée dans aucun d'eux. C'est l'exposant de conversion des systèmes figés, un autre membre de la même famille d'exposants, non une mesure du régime que vise la prédiction. Et le plafond α ≤ 2 n'était tout simplement pas en cause dans cette mesure : une borne supérieure n'est contredite que par une valeur durable au-dessus d'elle, jamais par une valeur en dessous, et la seule valeur au-dessus de deux que ce programme ait jamais produite, le 2,24, a été rétractée lorsque l'aveuglement l'a corrigée. Ce que cette mesure concède réellement, c'est le calendrier : la séparation nette de ces deux exposants a été formalisée après l'existence du 0,49, par un auteur qui connaissait le nombre. L'antécédent est celui du livre ; la formalisation est celle des articles.

Ce qui est venu après le record daté, tiré uniquement d'articles et de livres publiés. Google Quantum AI a rapporté une below-threshold error correction sur Willow dans Nature le 9 décembre 2024, son préprint public depuis le 24 août 2024 : synchronie convergente sur un travail antérieur partagé, jamais une prédiction revendiquée ici. Le résultat d’alignement simulé d’Anthropic (Greenblatt et al., arXiv:2412.14093) a suivi le 18 décembre 2024, dix jours après le paquet du 8 décembre 2024 : convergence, pas causalité. Les divulgations de confinement de juillet 2026 d’ OpenAI (21 juillet) et d’ Anthropic (30 juillet) sont cohérentes avec la difficulté de vérification externe nommée ici, et aucune ne la cite.

Les implications, si ceci est juste. Un bâtisseur place la correction à l'intérieur de la recursion dès la genèse et la construit à partir d'une classe de composition différente de la capacité. Chaque dollar dépensé sur du same-substrate external oversight va au bras dont le cadre dit qu'il touchera son plafond en premier. Si c'est faux, la prémisse partagée du champ (que les overseers de même classe scalent) demeure non réfutée, et l'alignement se replie sur la posture cadrée « safer-not-safe » de Yampolskiy 2020, arXiv:2008.04071. C'est exactement ce que cette mesure existe pour décider.

Le graphique est scindé en deux panneaux partageant les mêmes axes, la capacité montant sur le côté et le temps progressant en abscisse. À gauche, la correction tenant le rythme de la capacité, bêta supérieur à k : une ligne moteur rouge et une ligne freins verte montent ensemble, la marge de sûreté tient parce que les freins grandissent à mesure que le moteur le fait. À droite, la correction prenant du retard, bêta inférieur à k : la ligne moteur rouge prend l'avance, la ligne freins verte s'aplatit en un plateau en pointillés, et l'espace rose qui s'élargit entre les deux est marqué l'écart est la perte de contrôle, et il ne se referme pas. Entre les deux panneaux siège la lecture : alpha à environ 0,49 aujourd'hui sur l'intervalle moins un virgule trois à deux virgule neuf, sub-linéaire, à l'intérieur de la limite stable proposée de deux, avec un alpha antérieur de 2,24 marqué rétracté lorsque l'aveuglement l'a corrigé, la rétractation publiée plutôt qu'enfouie. Un bandeau sombre en dessous porte le pari perdable : un exposant durablement stable au-dessus de deux réfuterait la borne, avec l'intervalle aveuglé s'étendant de moins 1,3 à 2,9.
L'image | Deux courses : la correction tenant le rythme, et la correction prenant du retard. Le chiffre mesuré et le pari perdable siègent dans les bandeaux ; le 2.24 dans le bandeau est rétracté, sur la page des corrections. Source : Paper I, Paper II v13, Paper IV.d, Paper X.
Un graphique log-log de la capacité effective U contre la profondeur récursive R. Trois régimes sont tracés ensemble : une ligne verte pleine marquée alpha séquentiel à environ 0,49 sur l'intervalle moins un virgule trois à deux virgule neuf, montant doucement à mesure que la mesure de l'article II v13 le rapporte à travers six modèles aveuglés, suppression d'erreur sub-linéaire ; une ligne rouge en pointillés marquée alpha à deux, quadratique, montant abruptement comme la limite stable proposée ; et une ligne brune en pointillés à alpha proche de zéro, parallèle, se tenant presque plate sans accumulation. Une bande de confiance ombrée s'ouvre autour de la ligne verte et s'élargit avec la profondeur, franchissant l'ARC Bound par son bord supérieur. Une légende encadrée en haut à gauche consigne le régime mesuré et note que l'alpha antérieur de 2,24 est rétracté comme un artefact monomodèle et qu'un alpha durablement stable au-dessus de deux réfute la borne. L'écart entre la mesure verte et le plafond rouge est un intervalle non testé, non une marge mesurée, avec l'intervalle aveuglé s'étendant de moins 1,3 à 2,9.
L'image | Toute la revendication en une seule image : l'exposant mesuré aujourd'hui se situe à 0,49 (intervalle [−1,3, 2,9]), profondément à l'intérieur de la borne proposée à deux. L'écart entre les deux est un intervalle non testé, non une marge mesurée ; la borne est proposée, non mesurée, et 0,49 est compatible avec toute borne supérieure ; le 2.24 dans la légende est rétracté, sur la page des corrections. Source : registre des figures de recherche · Paper II v13.

Le record, raconté comme une échelle

Décembre l'équation et ses termes ; avril le carré ; imprimer la prédiction ; le programme le mécanisme ; les enregistrements le verdict. À quiconque parle de retrofit : la théorie de 2026 prédit ce que le livre ne contient pas (le présent sub-linéaire, la réciprocité à deux canaux, l'échappée cross-class, le périmètre en grid-limit), et un retrofit n'explique jamais que sa cible. Deux notes en bas de page. Le bundle du 8 décembre 2024 opérait une comparaison structurelle avec E=mc², mot pour mot : « Where Einstein's E=mc² reveals the energy-matter relationship, U=IR adds a new dimension ». Cette phrase est consignée comme histoire, non comme argument : la revendication de la page repose sur la loi d'accumulation et ses tests, jamais sur l'analogie. Et la préface du livre décrivait le terme au carré comme « exponentially amplified » : une erreur de formulation aux standards actuels, puisque R² est quadratic, non exponentiel.

Les cotes, énoncées par l'auteur à l'avance

Les priors déclarés de l'auteur, datés du 9 août 2026, à juger à l'aune des résultats.

Ce qui la relève honnêtement au-dessus du taux de base : un composant est déjà mesuré et cohérent ; la forme est quasi forcée plutôt que devinée ; la structure a survécu à une attaque de cohérence de son propre auteur. À la différence de presque toutes les unifications mortes non résolues, celle-ci ne peut s'attarder : la mesure décisive est rédigée, datée et peu coûteuse à mener.

Entrée, 16 août 2026, sur ce qui a bougé sous ces a priori depuis qu'ils ont été énoncés, laissée ici pour que le registre se lise dans l'ordre. La forme du plafond a été corrigée la même semaine : 1/γ rétracté pour 1/(1 − γ), la dérivation imprimée, les deux renvoyant deux à un demi, c'est ainsi que l'erreur se cachait. Le pari sur la valeur tient donc, sur une route corrigée. Et le pari qu'un plafond existe tout court a gagné une seconde échappatoire nommée, outre le correcteur de classe croisée : si la charge de correction d'un système réel suit la capacité qu'il détient plutôt que la capacité qu'il est en train d'ajouter, l'exposant de croissance s'annule et aucun plafond ne s'impose, seulement la condition de co-scaling. Les deux échappatoires sont désormais mesurables. Les a priori ci-dessus sont laissés exactement tels qu'énoncés, pour être jugés, non réécrits.

Le tableau des affirmations, la vérification croisée et le précédent sont exposés dans ce qui est testé et ce qui est proposé.

Ce qui la décide

Rien ici ne se définit après l'arrivée de ses résultats. Chaque enregistrement fige ses définitions, son estimateur et ses règles d'arrêt au moment où il est déposé. Les chiffres de puissance sont mesurés, jamais affirmés ; un enregistrement antérieur citait des chiffres affirmés et a été retiré et recalculé, cela fait partie du record.

Une mesure propre répond à trois questions d'un coup : si le plafond est réel, où il se situe, et si une seule loi d'accumulation produit vraiment les deux conséquences. Le ratio cross-class porte les trois, c'est pourquoi il a remplacé le test retiré des deux voies devant s'accorder plutôt que de siéger à côté. S'il est confirmé, c'est le premier critère de stability pour les systèmes auto-améliorants calculé à partir du propre exposant de scaling mesuré du correcteur, et le premier exposant mesuré de la conversion law ; sinon, chaque branche a été écrite d'abord. À quoi ressemble le fait d'avoir tort a été écrit à l'avance, et vit avec chaque autre kill-condition sur le falsification record.

Le moyen le plus rapide de vérifier ce programme n’est pas de le lire. Clonez le dépôt public et lancez la suite de théorèmes indépendante du code : quatorze vérifications, aucune clé API, environ deux secondes, avec les commandes d’exécution dans le README du dossier. Elle redérive les résultats centraux à partir de zéro et ne partage aucun code avec le harnais, si bien qu’un bogue commun ne peut pas se cacher. Si vous trouvez une erreur, le falsification record est là où elle sera publiée, avec votre nom sur la trouvaille.

Et l’essai décisif est ouvert de licence et n'exige aucune permission de ma part ; une exécution indépendante l'emporterait sur tout ce que ce programme rapporte.

Où cela se situe dans le record

La synthèse montre comment les pièces composent ; le problème ouvert montre pourquoi la vérification depuis l'extérieur échoue ; la page des preuves tient le record daté ; les travaux liés montrent d'où provient chaque idée ; comment peser ceci vous tend les instruments.

Base probante, épinglée : les revendications de cette page reposent sur les enregistrements et articles du build daté dans ce pied de page. Toute application ou évaluation future nomme son commit exact, ses versions d'articles et ses identifiants de jeux de données, afin que la cible ne bouge jamais sous le lecteur.

Si c'était beaucoup

Vous n'avez rien à décider aujourd'hui. Rien sur cette page ne vous demande d'y croire : les tests décisifs sont rédigés et datés, et ils n'ont pas été menés. Quand ils le seront, le résultat sera publié ici quel qu'il soit, y compris celui qui met fin à la théorie. Observer est une position réelle, et cela ne coûte rien. Le tableau de falsification est l'endroit où le verdict tombe, et statut des affirmations dit clairement ce qui est affirmé aujourd'hui et ce qui ne l'est pas.

Je ne l'ai pas prouvée en premier. Je l'ai dite en premier, dans un document que quiconque peut dater, puis j'ai bâti les instruments pour tester si elle est vraie.

Une erreur de traduction ? Signalez-la directement :

lecture à voix haute · surlignage en direct · accès à toute section