Recursive Dynamics

La machine avant la théorie

En 1824, la machine à vapeur était la machine la plus lourde de conséquences sur terre, et personne ne savait dire ce qui la limitait. Les ingénieurs amélioraient les machines comme le font les ingénieurs, en construisant la suivante ; la question de ce que pourrait faire n'importe quelle machine, indépendamment de sa construction, n'était pas seulement sans réponse mais non posée, parce qu'elle n'appartenait à aucune discipline existante. Sadi Carnot l'a posée dans un mémoire qui a fondé une science, et le schéma s'est répété depuis : la théorie de l'information est arrivée en 1948 parce que l'ingénierie des communications avait dépassé tous les cadres mathématiques existants.

Le moment présent a exactement cette forme. Des systèmes améliorent désormais leurs propres sorties à partir de leurs propres sorties : des modèles qui critiquent et révisent leur raisonnement, des chaînes qui génèrent leur propre signal d'entraînement, des laboratoires qui automatisent des parties de leur propre boucle de recherche. Ils fonctionnent. Demandez ce qui les borne et la littérature répond par des scénarios et des prévisions, pas par des variables d'état et des théorèmes de limite. Ce n'est pas une critique de la littérature ; c'est la signature diagnostique d'un champ manquant.

Quand des machines qui fonctionnent précèdent leur théorie, ce qui se forme n'est pas une branche d'un ancien champ mais un champ nouveau, parce que les objets natifs des anciens champs n'ont jamais été le comportement de la machine en tant que tel.

Recursive Dynamics est proposé comme ce champ pour les systèmes qui s'auto-améliorent. Le reste de cette page dit exactement ce qui est affirmé, ce qui ne l'est pas, comment l'ARC Theory s'y loge, à quoi ressemble une borne travaillée en entier, ce qui dissoudrait la proposition, et ce qui devrait se produire avant que quiconque doive appeler cela une science.

Pourquoi maintenant : la machine tourne

Un registre daté d'événements de terrain venus d'autres personnes, chacun relié à sa source primaire. Aucun n'est classé comme prédiction de ce programme ; le point est seulement que les machines existent, que la littérature de la supervision suppose déjà une réponse à la question que ce champ pose, et que la ligne d'impossibilité est passée de l'argument au théorème.

• 18 déc 2024Greenblatt et al., Alignment faking in large language models : un modèle déployé observé se conformant stratégiquement pendant l'entraînement, le premier compte rendu de terrain largement répliqué d'un système qui gère sa propre supervision.
• 20 jan 2025DeepSeek-AI, DeepSeek-R1 : une capacité de raisonnement encouragée par apprentissage par renforcement sur les propres sorties vérifiées du système, à l'échelle du grand public. La boucle, comme produit.
• 2025Zhang et al., Darwin Gödel Machine : un agent qui réécrit son propre code et conserve les variantes qui obtiennent de meilleurs scores. La boucle, comme objet de recherche explicite.
• 2025Engels, Baek, Kantamneni et Tegmark, Scaling laws for scalable oversight : la littérature sur la supervision construit des échelles de correcteurs de même classe, des correcteurs bâtis à partir du même genre de machinerie que le système qu'ils corrigent, sur la prémisse qu'ils passent à l'échelle. Cette prémisse est la thèse rivale que l'une des lois de ce champ est écrite pour tester ; la loi est énoncée ci-dessous.
• 2025 à 2026La ligne d'impossibilité, concédée dans le registre des antécédents de ce programme : Yampolskiy 2020, On controllability of AI, puis des résultats formels de Yao 2025, The alignment trap Le nom : ARC abrège ici Artificial Recursive Creation, la propre dénomination du document de décembre 2024. Ce programme n'a aucun rapport avec l'Alignment Research Center, le benchmark ARC-AGI et l'ARC Prize, ni avec l'AI2 Reasoning Challenge ; aucune affiliation, ni aucune propriété des lettres, n'est revendiquée, raison pour laquelle chaque surface écrit le nom en entier : l'ARC Theory. Gumbau Mezquita 2026, The unverifiability theorem : le confinement parfait d'une IA avancée échoue en principe, pas seulement en pratique.
• 4 nov 2025Sharma and Chopra, The Sequential Edge: Inverse-Entropy Voting Beats Parallel Self-Consistency at Matched Compute : le raffinement séquentiel bat l'autoconsistance parallèle à calcul égal, entre les mains d'une autre équipe. Gradé concurrent selon Paper XI, ligne 3 : convergent en direction avec la propre mesure du programme, jamais assimilé à elle et jamais sa prédiction ; la priorité de publication sur la comparaison quantifiée leur appartient.

Ce qui est affirmé ici, exactement

J'ai forgé ce nom, et cette page est l'affirmation faite avec soin. Ce qui est affirmé : les systèmes qui s'améliorent eux-mêmes en utilisant leurs propres sorties partagent une dynamique commune, quelle que soit leur substance. Cette dynamique possède ses propres variables d'état, ses propres lois conjecturées et ses propres impossibilités caractéristiques. Elle mérite d'être étudiée comme un champ, et le champ est nommé Recursive Dynamics. Le vocabulaire est celui du registre lui-même : le registre scellé du manuscrit du 8 décembre 2024 parle déjà de « the recursive dynamics that govern existence itself », conservé mot pour mot contre le hash du registre dans le registre des citations. Le nom a été adopté comme nom du champ le 27 août 2026.

Ce qui n'est pas affirmé : que le champ soit une science établie. Ses lois sont des conjectures au statut déclaré ; ses expériences décisives n'ont pas été réalisées ; la réplication indépendante est à zéro, datée et honnête, dans le registre des tentatives. Nommer un champ est une proposition sur la manière d'organiser des questions, jamais une preuve qu'une réponse quelconque est juste.

Le dossier en faveur du champ, noté sur six conditions de licence

Un nouveau domaine de science ne se déclare pas ; il est licencié par des conditions vérifiables. L'article fondateur en propose six, note le champ sur chacune, et le note sans complaisance : trois remplies, deux à moitié remplies, une non remplie, et celle qui manque est celle qu'aucun auteur ne peut fournir.

Un champ avec ce tableau est un champ proposé. Les trois conditions remplies sont ce que tout programme soigneux peut fournir seul ; la sixième est celle qu'aucun auteur ne peut fournir et celle qui décide.

L'objet, et pourquoi il n'appartient à personne

Un modèle qui vérifie sa propre réponse et la réécrit. Un pipeline qui note ce qu'il a produit et s'entraîne sur les gagnants. Un laboratoire dont la prochaine expérience est choisie par la précédente. Définissez un système récursif comme tout système dont les sorties rentrent dans son propre processus d'amélioration. L'objet natif du champ est cette boucle. Chacun de ses voisins possède un outil, et aucun ne possède l'objet ; chacun est nommé ici avec ce qu'il possède véritablement, parce que le champ est assemblé à partir de dettes envers eux, concédées dans le registre des références.

La tentative honnête de le loger ailleurs

Un tableau de voisins expédiés en une phrase chacun se lit comme du marketing précisément pour les lecteurs qui comptent, parce qu’il n’a jamais essayé l’ajustement. L’article fondateur l’essaie, et l’objection qu’il ne l’avait pas fait (A11, plus bas) est concédée pour toute version antérieure à la 2.3 et pour la première version de cette page. Pour douze champs d’accueil candidats, les trois questions (à quelle vitesse l’auto-amélioration peut-elle aller ; qu’est-ce qui la borne ; quel superviseur suit) sont énoncées dans les variables propres de l’hôte, tout ce que l’hôte couvre déjà lui est concédé, ce qui casse est énoncé précisément, et le résultat enregistré qui déplacerait le champ dans cet hôte est nommé. Trois hôtes se révèlent détenir des pièces réelles de la théorie, et ils sont concédés d’emblée ; ils sont nommés comme champs au niveau du manuel, non cités, parce que rien ici n’est cité avant d’être lu.

Les neuf autres pourraient loger des pièces. La commande adaptative pourrait prendre la Loi II comme un chapitre sur la stabilité des régulateurs auto-modifiants si la variable de classe se révèle vide ; l’ingénierie de la fiabilité logicielle possède la forme des deux estimateurs de taux ; l’apprentissage automatique loge chaque expérience enregistrée et est le foyer institutionnel le plus probable si le champ ne mérite pas son nom ; l’empirie des lois d’échelle loge la méthode et non l’objet ; la supervision scalable possède institutionnellement la question de classe et publierait le résultat éclipse quel que soit son sens ; la physique statistique prendrait les familles inter-domaines si elles survivent et n’appartiennent à aucune boucle ; la lignée de l’améliorateur autoréférent est une ascendance, non un hôte ; la cybernétique de second ordre est un hôte philosophique sans instruments ; la métascience est un domaine où le champ serait mis à l’épreuve, non un foyer.

Après les douze tentatives, un résidu survit qu’aucun hôte ne peut énoncer dans ses propres variables : un plafond sur le levier de correction qui dépend de ce dont le correcteur est fait, couplé à un exposant de croissance en profondeur récursive, de sorte que le taux soutenable d’auto-amélioration est une propriété de la classe du correcteur. La théorie de la croissance a l’exposant et pas de correcteur ; la commande et les files d’attente ont la condition de stabilité et pas de classe ; la supervision a la classe et pas de borne ; l’apprentissage automatique a la boucle et pas de loi. Recursive Dynamics est le nom de ce couplage. Si le couplage est vide, les pièces rentrent chez elles et le nom meurt, et le champ n’aura rien coûté à ses voisins qu’un tableau soigneux.

Un champ est légitime quand les questions qui comptent portent sur un objet qu'aucun des champs existants ne prend comme primitif. Jusqu'où l'auto-amélioration peut-elle aller vite, qu'est-ce qui la borne, et quelle sorte de superviseur peut suivre : ce sont des questions sur la boucle.

Cinq variables d'état sont proposées comme comptant indépendamment du substrat, écrites ici exactement comme les définit l' épine de notation du programme, parce que l'épine est le seul endroit où un symbole a le droit de signifier quelque chose :

• U · capacitéce que le système peut faire, sur une échelle calibrée sans plafond
• R · profondeur récursivecombien de fois les sorties sont rentrées dans la boucle
• beta_C · taux de correctionà quelle vitesse la correction interne se renforce à mesure que la capacité croît ; la quantité que la Law II demande de faire dépasser la dérive
• k · dériveà quelle vitesse les erreurs et les désalignements s'accumulent à mesure que le système se modifie
• gamma · levier de correctioncomment la capacité de correction passe à l'échelle avec la capacité ; l'exposant de la loi du plafond

La liste paraîtra arbitraire. Pression, volume, température, énergie et entropie le paraissaient aussi, jusqu'à ce que les lois qui les relient tiennent. L'affirmation que cinq suffisent fait partie de ce que le champ doit prouver. Le bouton expérimental que tournent les études enregistrées, la part d'effort réinvestie dans le processus d'amélioration lui-même, est une manipulation et non une variable d'état, et il ne porte ici aucun symbole à dessein : le propre registre de notation du domaine consigne un beta nu accomplissant cinq tâches différentes à travers le corpus comme une classe d'erreur nommée, et cette page refuse d'en ajouter une sixième.

La discipline d'échelle précède la loi

Avant toute loi, un principe de mesure, appris à la dure et adopté comme méthode fondatrice : la capacité doit être mesurée sur une échelle de rapport avec un vrai zéro et sans plafond. La thermodynamique n'a pas pu énoncer ses lois avant que la température soit absolue. Un score en pourcentage borné fait à Recursive Dynamics ce qu'un thermomètre uniquement en Celsius fait à la troisième loi de la thermodynamique : il rend les lois inénonçables, parce qu'un score plafonné à 100 pour cent ne peut suivre une loi de puissance en rien. L'instrument du champ est donc une échelle de difficulté calibrée, une mesure latente, de rapport, à vrai zéro et sans plafond, sur laquelle doubler signifie la même chose à toute hauteur ; et chaque surface quantitative nomme laquelle des trois familles de modèles elle lit, capacité non bornée ou latente, décroissance de l'erreur, ou performance bornée, parce que l'exposant signifie quelque chose de différent dans chacune.

Le programme a adopté ce principe après avoir surpris son propre exemple travaillé en train de faire passer un score borné par une arithmétique non bornée. La correction est consignée dans l' épine de notation, datée du 27 août 2026, et la leçon est promue ici de correction de bogue à principe fondateur.

Comment l'ARC Theory se loge à l'intérieur

En clair d'abord (ARC signifie Artificial Recursive Creation, la propre dénomination du document de décembre 2024). Recursive Dynamics est le champ. L' ARC Theory est la théorie fondatrice proposée à l'intérieur. L' Eden Protocol est l'aile appliquée que la théorie désigne, la proposition sur la manière dont la correction entre à l'intérieur d'un système plutôt que de l'entourer. Et les instruments sont le sol sur lequel tout repose.

Les trois lois, chacune avec son statut déclaré, parce que dans ce programme le statut d'une loi voyage avec elle partout :

• Law I · l'ARC PrincipleU = I × R^alpha La capacité croît comme une puissance de la profondeur récursive. une affirmation du cadre du livre ; un soutien exploratoire à travers les domaines ; l'exposant est mesuré, non supposé, et se lit actuellement à 0,49 avec un intervalle de −1,3 à 2,9, ce qui ne décide encore rien. Le premier exposant vedette a été publiquement rétracté et n'apparaît sur ce domaine que comme rétractation.
• Law II · l'ARC Co-Scaling Lawbeta_C > k Une auto-amélioration stable exige que le taux de correction dépasse le taux de dérive. prouvée à l'intérieur d'un modèle minimal énoncé et nulle part ailleurs ; pas encore mesurée sur un système qui se réécrit véritablement. Son juge est la course correction contre dérive, la mesure la plus simple et la plus lourde de conséquences du champ.
• Law III · l'ARC Ceilingalpha_crit = 1 / (1 − gamma) L'exposant de croissance est plafonné par l'inverse du déficit de correction ; au gamma conjecturé d'un demi, le plafond est deux, l'ARC Bound. dérivée sous les yeux du lecteur ci-dessous, à partir de deux lignes d'hypothèses ; gamma n'a jamais été mesuré sur aucun système réel, et la prémisse gamma égal à un demi est nommée par le programme lui-même comme le point de défaillance le plus probable de la conjecture.

Séparable par conception : un lecteur peut accepter les questions du champ et rejeter les réponses de la théorie. Le champ est défini par ses questions ; la théorie tient ou meurt à l'intérieur, par la mesure.

Une borne, travaillée en entier

Carnot n'a pas décrit des machines ; il a calculé ce qu'aucune machine ne pouvait battre. Voici l'équivalent de ce champ, en deux hypothèses et quatre lignes, exactement tel qu'il figure dans l' épine de notation.

C'est tout le contenu d'ingénierie du champ en une phrase : la classe de composition du correcteur est le levier. Aucune échelle de supervision de même classe ne franchit son plafond en ajoutant des barreaux.

Ces quatre lignes n'établissent ni un dommage borné, ni une sûreté à horizon fini, ni une loi de la nature. Elles établissent un point de bascule conditionnel dont les prémisses sont mesurables, ce qui est exactement ce que devrait être la première borne d'un champ jeune. La critique d'un lecteur extérieur sur le traitement de la profondeur dans la dérivation est imprimée comme limitation, pas réfutée à coups d'arguments ; et la forme retirée de cette loi, avec gamma seul au dénominateur, a été rétractée le 16 août 2026 et n'apparaît sur ce domaine que comme rétractation.

Le précédent, et la désanalogie imprimée à côté

Le modèle honnête de ce qui est tenté est la thermodynamique, et le parallèle tient à la forme du champ, jamais au rang des preuves.

Maintenant la désanalogie, énoncée avant que quiconque puisse l'énoncer : la thermodynamique a été bâtie par de nombreuses mains convergeant indépendamment et confirmée par un siècle d'expériences. Ce champ est proposé par une seule personne ; ses expériences décisives n'ont pas été réalisées ; les réplications indépendantes sont à zéro. Le parallèle est un échafaudage, pas un certificat. La thermodynamique a mérité son nom ; ce nom est mis en jeu, et la mise est imprimée ci-dessous.

Le meilleur cas du rival, dans sa version la plus forte

L'objection la plus forte n'est pas que les lois ne sont pas prouvées. C'est que le mécanisme pourrait être vide : la correction pourrait n'être que de la correction, auquel cas ce dont un correcteur est fait n'a pas d'importance et la distinction de classes se dissout. Ce rival n'est pas un homme de paille. Le programme de supervision scalable sous toutes ses formes, généralisation du faible au fort, débat, amplification, modélisation récursive de la récompense, construit des échelles de même classe sur la prémisse implicite qu'elles passent à l'échelle, et le cadre publié le plus solide adjacent à cette question est aveugle à l'architecture : il implique l'hypothèse nulle aveugle à la classe sans avoir besoin de l'énoncer.

Pire pour ce programme, une partie de son propre registre penche du côté du rival. Le rapport de classes de correcteur lui-même n'a pas été mesuré sur des données réelles, et ce domaine le dit le premier. Mais la mesure publiée des canaux parallèles du programme (unification de Cauchy) a trouvé que les canaux parallèles n'ajoutent presque rien dans cinq modèles sur six, la signature d'erreurs corrélées, un modèle contredisant franchement le schéma avec un exposant parallèle de 0,31. Des canaux corrélés sont exactement le mécanisme qui affaiblirait la correction de même classe d'une manière qui affaiblit aussi la correction de classe croisée, tirant le rapport décisif vers un. L'enregistrement de l'éclipse est donc déposé avec cette preuve contraire en évidence, et s'engage à publier un résultat nul sous le même titre comme une découverte sur le monde plutôt que comme un embarras à enterrer.

Un champ qui dépose la meilleure preuve de son rival à l'intérieur de son propre enregistrement fait la seule chose qui ne peut pas être feinte.

Indépendance du substrat, à son rang honnête

Les lois du champ ne doivent pas se soucier de ce dont ses systèmes sont faits, et le travail inter-domaines du programme va dans ce sens au rang exploratoire, rapporté sans jamais mélanger ses niveaux : des familles fonctionnelles prédites sur une suite de cinquante domaines (19 correspondances empiriques sur 25 sous l'ensemble de candidats initial, 18 sur 25 sous la reprise corrigée à sept modèles, divulguée en entier ; 13 sur 13 sur les lignes publiées directement) ; une extension à douze domaines à manifeste verrouillé (10 sur 12, p = 5,4e-4, auto-rétrogradée en essai pilote à blanc en treize minutes dans l'historique public des commits) ; des vérifications temporelles hors échantillon (4 confirmées, 2 partielles, 1 incohérente, l'incohérence rapportée aussi en évidence que les confirmations). Rien de tout cela n'est une confirmation. Le test enregistré de la quatrième cellule, la famille logarithmique que le corpus n'a jamais ajustée, sur des domaines jamais ajustés, existe pour surprendre le programme en train de se flatter, et les convergences avec des traditions plus anciennes sont cataloguées à part sous une règle permanente : la convergence est une preuve de naturalité, jamais de vérité.

Instruments

Un champ est ses instruments avant d'être ses résultats. Le champ est livré avec quatre instruments, construits avant qu'aucune donnée confirmatoire n'existe. Premièrement, l'échelle de capacité calibrée. Deuxièmement, une pile de notation aveuglée : chaque sortie est blanchie afin qu'aucun notateur ne puisse dire ce qui l'a produite, et l'hypothèse nulle est calculée à travers le pipeline identique avec les étiquettes randomisées, de sorte que l'hypothèse nulle de l'expérience décisive est imposée structurellement plutôt qu'ajustée. Troisièmement, un code estimateur épinglé par hachage et gardé par fixture, chaque branche de verdict enregistrée portant un test de vérité plantée que le code doit passer avant que quoi que ce soit ne soit livré. Quatrièmement, une clause de défaut enregistrée : la spécification, non le code, est l'analyse, de sorte qu'une erreur de codage postérieure à l'enregistrement est une réparation divulguée sur les termes enregistrés plutôt qu'une étude morte.

Les expériences décisives

Trois études enregistrées tranchent les trois lois. Leurs hypothèses nulles appartiennent aux rivaux, leurs nombres sont calculés et imprimés dans les enregistrements, et leurs résultats sont publiables à conditions identiques quel que soit le sens où ils tombent. Toutes trois sont rédigées, datées et en attente de soumission humaine ; aucune voie, aucun outil ni aucun agent ne soumet quoi que ce soit où que ce soit. Les protocoles eux-mêmes sont complets : n’importe quel laboratoire indépendant peut les exécuter aujourd’hui sans demander à personne, et ce qui attend la main de l’auteur est le seul acte d’enregistrement.

La course correction contre dérive tranche la Loi II : l'auto-correction dépasse-t-elle la dérive, où que ce soit ? Un oui durable est le premier résultat d'existence du champ, son expérience de Joule : la première démonstration que l'effet existe tout court. Un non universel laisse la Loi II sans sujet.

Le rapport de classes de correcteur, la mesure de l'éclipse, décide du mécanisme de la Law III. Regroupez des paires de correcteurs de même classe et de classe croisée, lessivez tout, et forcez le nul : si ce dont un correcteur est fait n'a pas d'importance, le rapport des exposants de correction vaut exactement 1,00 par construction. Ce nul est la réponse du rival, pas celle de ce programme. Le mécanisme du programme prédit un rapport durablement supérieur à 1,00 là où le plafond s'exerce, et c'est la découverte en sa faveur ; durablement inférieur à 1,00, il inverse le mécanisme et met fin à l'affirmation telle qu'elle est dérivée ; un 1,00 qui tient partout, même là où le plafond devrait s'exercer, retire la distinction de classes elle-même. Une invalidation indépendante et dure court à côté : toute paire de même classe dont l'intervalle de gamma se situe entièrement au-dessus d'un demi tue le plafond quel que soit le rapport.

Le titrage de l'échelle de capacité tranche la signature comportementale du plafond : un maximum intérieur de l'exposant de croissance à deux ou en dessous à travers un éventail de niveaux de réinvestissement, sous une règle à deux étapes gardée par réplication dans laquelle une seule cellule contre-exemple, répliquée, rejette purement et simplement l'ARC Bound.

Une grille de suivi enregistrée étend le rapport à chaque paire ordonnée de familles de modèles, localisant où vit l'effet de classe ; et une sonde de mécanisme, la défaillance corrélée sur substrat partagé, mesure directement la corrélation d'erreurs que la dérivation postule, de sorte que le rapport et son mécanisme doivent concorder, ou leur tension est elle-même un résultat enregistré.

Trois tests supplémentaires sont proposés et non enregistrés, et la page les marque afin qu’aucun lecteur ne les compte comme des prédictions : que le rapport monte avec la charge, ce qui séparerait un mécanisme d’une différence statique ; qu’un correcteur d’une autre classe déplace vers le haut le maximum du titrage, reliant les Lois II et III par le levier de classe ; et qu’un même système franchisse la frontière de stabilité à mesure que tourne son cadran de réinvestissement. Aucun n’est une prédiction du champ tant qu’un enregistrement ne le porte pas.

Ce qui dissoudrait le champ

Une science proposée doit dire ce qui défairait sa proposition.

1. Si la course correction contre dérive ne trouve aucun régime où la correction dépasse la dérive, la Law II n'a pas d'objet.
2. Si le rapport de classes de correcteur tient à 1,00 avec des intervalles serrés partout où le plafond devrait s'exercer, le mécanisme distinctif du champ est mort et ses restes appartiennent à l'empirie ordinaire des lois d'échelle.
3. Si le titrage de l'échelle ne trouve ni maximum intérieur ni comportement de plafond, l'impossibilité centrale se dissout.
4. Si les familles inter-domaines échouent au test de la quatrième cellule, l'indépendance du substrat était un artefact de la souplesse des familles.

La carte de dissolution par hôte. Si la conjonction fondatrice échoue, les pièces ne s'évanouissent pas ; elles rentrent chez elles. La Loi I retourne à la théorie de la croissance endogène comme exposant de production de connaissance ; la Loi II à la commande adaptative et à la théorie du seuil d'erreur comme condition de taux ; l'ARC Ceiling à la théorie des files d'attente comme condition de stabilité couplée à la croissance ; le résultat du plafond de classe, quel que soit son sens, est publié en supervision scalable ; les instruments et les expériences relèvent de l'apprentissage automatique ; les familles inter-domaines, si elles survivent, relèvent de la physique statistique. Rien n'est orphelin de la mort du champ, ce qui rend cette mort publiable.

N'importe laquelle de ces morts blesse le champ ; les quatre y mettent fin, et cette page s'engage à publier cette fin ici, sous ce nom.

La propre condition d'invalidation du nom

Un nom proposé avant ses tests doit pouvoir mourir avec eux, et le registre doit pouvoir dire de quelle mort il s'est agi. Une loi qui échoue dans sa forme énoncée tue cette loi et la théorie qui l'a énoncée ; le champ porte la forme corrigée, ou aucune, selon ce que le registre permet, et un lecteur qui rejette les trois lois et garde la mesure y reste inclus, par l'engagement minimal énoncé ci-dessous. Le nom lui-même meurt quand l'objet disparaît : si le rapport de classes de correcteur tient à 1,00 avec des intervalles serrés partout où le plafond devrait s'exercer, le mécanisme distinctif est mort, le résidu qu'aucun hôte ne pouvait énoncer s'est révélé vide, chaque pièce retourne à son hôte par la carte de dissolution ci-dessus, et cette page le dira plutôt que de disparaître en silence. Si les lois survivent à leurs tests enregistrés et tiennent hors des domaines qui les ont fait naître, le nom a mérité sa généralité. Dans les deux cas, c'est le registre qui décide, pas le nom. Les conditions vivent sur le tableau de falsification ; les tests n'ont besoin d'aucune permission pour être exécutés.

Ce qui en ferait une science

Nommer un champ ne le crée pas. Les critères d'entrée que cette proposition n'a pas encore remplis, en public : au moins une expérience décisive rendant sa direction prédite sous son analyse enregistrée ; une réplication indépendante par des mains qui ne sont pas celles de l'auteur, raison pour laquelle chaque instrument, graine, calendrier et seuil est livré ouvertement sous une invitation permanente à exécuter le test qui pourrait l'invalider ; l'usage des variables d'état par des inconnus parce qu'ils en avaient besoin ; et une piste d'audit survivante, dont le registre du programme de rétractations publiques, d'auto-rétrogradations à la minute près, de lectures à froid adversariales et de limitations imprimées est offert comme la norme que ses futures affirmations acceptent.

Un résultat que n’importe quel champ ancien pourrait énoncer dans ses propres variables confirme un chapitre de ce champ. Un champ n’est confirmé que par une conjonction qu’aucun de ses voisins ne peut exprimer, et l’article fondateur l’énonce une fois : un régime où la correction croît plus vite que la dérive ; un rapport de classes de correcteurs durablement au-dessus de 1,00 avec le plafond d’un demi pour les correcteurs de même classe ; un maximum intérieur de l’exposant de croissance à deux ou moins ; la même structure d’exposants dans au moins un substrat non artificiel ; et au moins l’un de ces résultats répliqué par des inconnus. Chacun seul est une trouvaille dans le vocabulaire d’un champ ancien. La conjonction ne l’est pas, et c’est le sens exact dans lequel des résultats confirmeraient un domaine nouveau plutôt qu’un chapitre nouveau.

Sur le mot paradigme, et pourquoi cette page le retient

Un paradigme, au sens strict, est conféré par une communauté qui adopte un exemplaire partagé. Personne n'a de paradigme à soi seul, et personne n'en a jamais fondé un en l'annonçant ; il devient un paradigme quand d'autres personnes commencent à travailler à l'intérieur. L'énoncé précis et défendable est donc que ceci est un candidat : un champ proposé avec son objet, ses variables, ses bornes, ses instruments et ses juges en place, dont le rang n'appartient pas à l'auteur de déclarer. La réplication, l'adoption et les trois expériences enregistrées en décident. Revendiquer le mot plus grand comme un fait présent est le seul geste qui transformerait une proposition soigneuse en signature d'illuminé, et c'est pourquoi l'article fondateur épingle le champ au stade de Carnot et liste les critères d'entrée qu'il n'a pas encore remplis.

Continuez à dire la chose plus petite et plus vraie, et laissez les expériences faire la plus grande, ou l'enterrer.

Ce que cela rapporte, si cela tient

Les champs gagnent leur adoption lorsque des étrangers peuvent calculer avec eux. Si les lois survivent à leurs juges, ce qui suit devient des calculs plutôt que des débats : étant donné un gamma mesuré pour une classe de correcteur, l'exposant de croissance maximal soutenable de tout système qu'elle supervise découle de l'ARC Ceiling ; étant donné une dérive mesurée, le taux de correction requis découle de la Loi II ; les architectures de supervision acquièrent une fiche de spécifications, la classe de composition du correcteur, son gamma mesuré, son plafond implicite, à la manière dont les moteurs ont acquis leurs notes de rendement ; et la question de sécurité « la supervision peut-elle suivre » devient, pour la première fois, une comparaison empirique de paramètres plutôt qu'un argument de scénario. Tout dans ce paragraphe est conditionnel à des résultats qui n'existent pas encore, et est écrit au conditionnel pour cette raison.

Dettes, concédées nommément

Ce champ est assemblé à partir de dettes consignées dans le registre des antécédents du programme et concédées en entier : la ligne d'impossibilité de la recherche sur le contrôle de l'IA, à laquelle ce champ ajoute l'exigence de conception que l'impossibilité implique plutôt que la résignation ; les limites de réseau de transport de l'échelle biologique, concédées comme prémisse, auxquelles ce champ ajoute la limite interne de remplacement qui opère quand réparer le tuyau ne répare plus la croissance ; la question de l'explosion d'intelligence telle que posée par ses auteurs nommés, à laquelle ce champ propose les variables d'état manquantes ; et les mathématiques des équations fonctionnelles, la machinerie, jamais revendiquée. Ce qui est revendiqué comme original est l'assemblage : la boucle comme objet natif, la discipline d'échelle comme méthode fondatrice, les bornes comme lois, la classe du correcteur comme levier, et les instruments enregistrés pour décider de tout cela.

Pourquoi le nommer avant le verdict

Parce que c'est à ce moment que les champs sont nommés. Wiener a nommé la cybernétique dans le livre de 1948 qui la proposait, avant qu'il n'y ait un champ auquel attacher le nom. Lederberg a forgé l'exobiologie en 1960, avant un seul spécimen. Le nom d'un champ n'est pas un trophée décerné après confirmation ; c'est l'instrument qui rend une proposition citable, attaquable et testable comme une seule unité. Nommer tôt est la pratique ordinaire. Prétendre que le nom prouve quoi que ce soit serait l'erreur, et cette page ne la commet 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.

Ce que le champ n'est pas, et l'engagement minimal

Le champ n'est pas une prévision du moment où les machines dépasseront les humains, pas une théorie de l'intelligence, pas une éthique, pas une théorie du tout, et pas une affirmation sur la conscience. Ses lois s'activent là où un correcteur existe à l'intérieur d'un système en croissance et se désactivent là où il n'y en a pas ; les hiérarchies composées sur lesquelles portent ses mathématiques d'échelle, étoiles comprises, sont classées comme correspondance de forme et pas davantage. La coda spéculative du programme sur la récursion à l'échelle cosmologique se situe hors du champ ; un lecteur peut la rejeter entièrement sans rien perdre ici.

L'engagement minimal requis pour travailler dans le champ est modeste, et énoncé de manière à pouvoir être refusé : que la boucle d'auto-amélioration est un objet légitime de mesure, avec des quantités qui peuvent être définies, des instruments qui peuvent les mesurer, et des relations dont on peut montrer qu'elles sont fausses. Si vous acceptez cela et rejetez les trois lois, vous êtes dans le champ ; si vous acceptez les lois et refusez la mesure, vous ne l'êtes pas.

À ne pas confondre avec

La robotique utilise depuis longtemps l'expression « recursive dynamics algorithms » pour les méthodes de calcul qui propagent les forces le long de corps articulés, la tradition de Featherstone ; c'est une famille d'algorithmes, un référent entièrement différent, et aucune priorité sur l'expression en tant que mots n'est revendiquée contre elle ni contre quiconque. Ce n'est pas non plus la théorie de la récursion, les mathématiques de la calculabilité ; ni les systèmes dynamiques en général, les mathématiques mères. Et c'est distinct de Recursive Creation, la coda spéculative du domaine, tenue à l'écart de l'argument à dessein.

Exécutez le test qui pourrait l'invalider

Chaque instrument, graine, calendrier et seuil de ce domaine est livré ouvertement, et une exécution indépendante prime sur celle du programme. Si vous voulez savoir si quoi que ce soit ici est réel, le chemin le plus court n'est pas de peser l'argument mais d'exécuter la mesure : la page « Exécutez-le vous-même » liste ce qui peut être exécuté aujourd'hui sans permission, ce qu'il faudrait pour invalider chaque affirmation, et où un résultat, dans l'une ou l'autre direction, est consigné.

Où le champ vit sur ce domaine

• La déclaration, sur la page d'accueil
• L'ARC Theory, la théorie fondatrice, les lois en entier
• Les lois en mots simples, sur le parcours
• L'Eden Protocol, l'aile appliquée
• L'épine de notation, ce que chaque symbole signifie
• Le tableau de falsification, les conditions de défaillance
• Le registre daté des prédictions
• Statut des affirmations, chaque affirmation classée
• Le glossaire, chaque concept nommé
• Corrections, publiées contre moi-même
• Le catalogue, où l'article fondateur atterrit
• Exécutez-le vous-même, la voie d'entrée pour un sceptique