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

1. L'enregistrement gradué des convergences

Le siège canonique de cette preuve est le registre gradué à /research/convergences/ (30 lignes, générées le 2 août 2026 sous la politique de gouvernance des revendications). Aucun total numérique de convergence n'est publié ici ou là. Le registre sommé précédent a été assemblé rétrospectivement, sans règle de notation pré-résultat, sans horizon fixe, sans modèle de taux de base ni registre d'échecs complet, et ses lignes ne peuvent légitimement être sommées comme une seule grandeur probante. Le registre gradué attribue à la place à chaque ligne une classe de preuve primaire : à la génération du 2 août 2026, 1 formelle, 2 techniques qualifiées, 2 d'ingénierie, 4 institutionnelles, 5 de travaux antérieurs, 10 de contexte et 6 exclues, avec les lignes les plus fortes gradées modérées et les lignes d'ingénierie gradées faibles. Deux groupes de dépendance sont divulgués : la chaîne de limites formelles Hernández-Espinosa vers Gumbau est une lignée dépendante, non deux confirmations, et les lignes de gouvernance interconfessionnelle appartiennent à un mouvement institutionnel qui précède l'ancrage de décembre 2024. Le travail indépendant appartient à ses auteurs : un événement ultérieur peut montrer qu'une question importe sans établir la priorité de ce programme, une prédiction réussie ou la vérité de sa réponse.

Instantané supersédé, conservé comme registre daté de cet article (2 juillet 2026). Le tableau ci-dessous est le registre tel que cet article l'a publié pour la première fois, avant la politique de gradation du 2 août 2026. Ses classes par ligne (PRÉDICTION, CONVERGENT, CONCURRENT) et son arithmétique d'écart sont supersédées par le registre gradué ci-dessus. Les lignes qu'il gradait CONVERGENT sont désormais gradées diversement travaux antérieurs, contexte, institutionnel, ingénierie ou exclu ; sa ligne 2 en particulier (Willow) est gradée travaux antérieurs, car le résultat sous le seuil était public sous forme de préprint le 24 août 2024, avant le manuscrit du 8 décembre 2024, la version Nature suivant le 9 décembre 2024. La non-connaissance par l'auteur de ce préprint au moment de la rédaction du manuscrit de décembre 2024 est déclarée sur la ligne canonique comme attestation biographique ; cela ne fait pas bouger le grade, car l'ordre public n'est pas modifié par la connaissance, et maintenir cette ligne contre l'intérêt de l'auteur fait partie de ce qui rend crédibles les lignes favorables du registre. Les écarts dans la colonne Écart énoncés par rapport aux dates de soumission arXiv (lignes 1, 8, 9, 18, 19) portent un ancrage SINGLE-SOURCE-GROUP (arXiv Atom), et la première divulgation publique n'a pas été vérifiée séparément pour ces lignes.

Ligne 3, énoncée à sa pleine force et pas au-delà. La priorité de publication sur le résultat quantifié, le séquentiel battant l'auto-cohérence parallèle dans 95,6 pour cent des configurations à calcul apparié, revient à Sharma et Chopra (arXiv:2511.02309, 4 novembre 2025), crédités sans réserve ; la formalisation à calcul apparié du programme a suivi dans le Paper II (22 janvier 2026), conçu et exécuté avant d'avoir eu connaissance de leur article. Le manuscrit de décembre 2024 porte un énoncé directionnel unilatéral et une équation dans laquelle la largeur parallèle n'a jamais eu de terme, de sorte qu'un exposant parallèle proche de zéro est une conséquence structurelle plutôt qu'une surprise ; cette dérivation a été achevée en 2026 par la définition opérationnelle de R, et la conclusion porte la date de sa prémisse la plus récente. Les deux résultats ne sont jamais assimilés : le leur mesure le raffinement en chaîne face au vote parallèle sur des repères de raisonnement, le Paper II mesure la réduction d'erreur dans les chaînes de production ; direction convergente, instruments différents.

Discipline du registre : un événement externe par ligne, une source primaire par ligne, avec hyperlien vers la source officielle partout où une URL canonique stable existe (arXiv, DOI, éditeur, office des brevets, diffuseur, fournisseur) ; les lignes sourcées dans la presse nomment leurs organes et date à la place. Les écarts sont mesurés à partir de la date d'artefact nommée, énoncée par ligne. Douze lignes candidates supplémentaires sont conservées sur une liste en attente de source et ne sont ni comptées ni affichées jusqu'à ce que chacune porte une source primaire vérifiable ; l'engagement du lecteur avec le travail (par exemple des exemplaires offerts) est journalisé séparément et n'est jamais compté comme convergence. La priorité est créditée vers l'extérieur partout où les dates l'exigent (ligne 3). Le registre complet avec les listes de quarantaine et d'engagement : michaeldariuseastwood.com/research/evidence-spine.html.

2. Trois degrés de neurodivergence

Degré 1 - Le chercheur (Paper C, PNP). Michael Darius Eastwood. Diagnostiqué TDAH. Diagnostiqué autiste. Diagnostic à l'âge adulte. Cerveau qui connecte des domaines que les penseurs uniformes ne voient pas comme adjacents. Construit un cadre de 221 236 mots à travers les domaines tout en se représentant lui-même dans des procédures juridiques complexes. Le PNP (Profil Polymathe Neurodivergent) fournit le cadre clinique descriptif. La documentation clinique existe et est conservée de manière privée. La méthode EST l'hypothèse.

Degré 2 - La preuve de protection (Hernández-Espinosa et al., 2026, PNAS Nexus). Oxford, King's College London, Alan Turing Institute, Université de Tokyo. Gödel et Turing démontrent que l'alignement externe est impossible. Solution : la diversité cognitive. La pensée neurodivergente n'est pas un défaut. C'est l'architecture protectrice. L'article ne cite pas Eastwood. Il ignore son existence. De façon indépendante, et à propos d'agents machines, son argument est que la diversité cognitive est l'architecture protectrice ; le parallèle avec les humains revient à l'article C, non à eux.

Degré 3 - La preuve formelle (Gumbau Mezquita, 2026, arXiv:2606.28639). University Jaume I, Espagne. Lit Hernández-Espinosa. Étend avec le Mur de Trakhtenbrot. Deux théorèmes formels : Invérifiabilité de l'Alignement + Trilemme Solidité-Complétude-Traitabilité. Crédite Hernández comme fondation conceptuelle. Ne cite pas ce travail. La direction est convergente, et le registre grade la paire comme une chaîne dépendante : contexte, non confirmation.

Aucun des deux groupes extérieurs n'avait connaissance des travaux de l'auteur. Parce que l'article de Gumbau s'appuie sur celui d'Hernández-Espinosa, le registre traite les deux comme une lignée unique. Personne n'a planifié cela. La chaîne est découverte, non fabriquée.

3. La boucle fermée

La boucle fermée a quatre propriétés structurelles :

1. La méthode EST l'hypothèse. L'architecture cognitive qui a produit le cadre, une reconnaissance de motifs neurodivergente traversant les domaines, fait écho à ce qu'Hernández-Espinosa et al. défendent pour les agents machines : que la diversité des styles de raisonnement protège un écosystème. Le parallèle est suggestif, argumenté dans l'article C, et rien de plus. Le chercheur n'est pas une personne qui se trouve avoir une théorie. Le chercheur EST la première preuve de la théorie. Le cerveau qui la porte présente le même type de diversité de raisonnement que l'article de PNAS juge nécessaire entre agents machines.

2. Le cadre EST sa propre preuve. Les lignes du registre enregistrent des programmes arrivant à la même conclusion structurelle sans se connaître ni connaître le cadre. Ce n'est pas une revendication de causalité. C'est une observation de convergence. La configuration tient à travers la sécurité de l'IA, le calcul quantique, la physique classique, la fabrication de semi-conducteurs, la doctrine vaticane, la gouvernance de l'ONU, le capital-risque et la logique mathématique. Une configuration qui apparaît à travers des domaines aussi différents est découverte, non fabriquée ; combien elle confirme est une question graduée, ligne par ligne.

3. La preuve EST indépendante du chercheur. Les théorèmes formels de Gumbau Mezquita ne dépendent pas du fait de croire Eastwood. Ils ne dépendent pas des méthodes d'Eastwood. Ils ne dépendent pas de ses sources. Dérivés du mur de Trakhtenbrot et de la théorie des modèles finis, crédités à Hernández-Espinosa et publiés sur arXiv le 26 juin 2026, ce sont des résultats mathématiques formels. Ou ils tiennent, ou ils ne tiennent pas ; tels que publiés ils tiennent, et rien ne les a réfutés à l'heure où ces lignes sont écrites. Et ils disent ce qu'Eastwood a dit 18 mois plus tôt.

4. Chaque maillon de la chaîne est vérifiable indépendamment. manuscrit → résultats formels ultérieurs dans la même direction → le registre gradué qui refuse de les surévaluer → Paper C énonçant le cadre humain sur ses propres termes. Chaque date est vérifiable indépendamment. Chaque source est publiée. Chaque hash SHA-256 correspond. La boucle fermée n'est pas un argument. C'est une chaîne de preuves.

4. Méthode

Les convergences ont été identifiées par recherche systématique dans la littérature 2025-2026 sur la sécurité de l'IA, le calcul quantique, le matériel, la politique des semi-conducteurs, la doctrine vaticane, la gouvernance, les neurosciences et les mathématiques. Chaque convergence a été testée contre : (a) l'origine indépendante (aucune citation, personnel ou financement partagé avec Eastwood ou entre elles), (b) la correspondance structurelle (même principe, substrat différent), et (c) l'écart temporel (date de l'articulation d'Eastwood vs. date de la confirmation indépendante). Le manuscrit du 8 décembre 2024 a été vérifié au niveau de la ligne contre les fichiers sources. Tous les fichiers .eml ont été vérifiés par SHA-256. Tous les DOI et identifiants arXiv externes ont été confirmés.

5. Travaux connexes

L'instrument rival

Le travail le plus proche de la question de ce programme, et donc l'article contre lequel celui-ci doit être pesé, est Engels, J., Baek, D., Kantamneni, S. et Tegmark, M., « Scaling Laws For Scalable Oversight », arXiv:2504.18530, mis en ligne le 25 avril 2025 à 17:54:27 UTC (SINGLE-SOURCE-GROUP, arXiv Atom ; poster Spotlight NeurIPS 2025, confirmé le 15 août 2026 sur la page virtuelle NeurIPS du poster 115536, comme consigné dans le dossier de références de l'article de synthèse). Il demande comment la supervision elle-même croît et répond quantitativement : le succès de la supervision est modélisé comme un jeu entre joueurs de capacités inégales dont l'Elo propre à la supervision est une fonction linéaire par morceaux de l'intelligence générale avec deux plateaux, et le nombre optimal de niveaux de supervision est dérivé numériquement, et analytiquement dans certains cas, pour la supervision imbriquée à échelle variable, où des modèles de confiance supervisent des modèles plus forts non fiables qui deviennent ensuite les modèles de confiance de l'étape suivante.

L'instrument est la différence. Leur variable est l'écart de capacité entre superviseur et supervisé, mesuré en Elo. La variable de ce programme est la classe de composition du correcteur, mesurée à travers l'exposant d'échelonnement du correcteur lui-même. Leur cadre ne contient aucun terme pour ce dont le superviseur est fait : pas de substrat, pas de structure de corrélation d'erreurs, pas d'identité réciproque entre un exposant de correction et un taux de croissance critique, et pas de dépendance à l'architecture. Nested Scalable Oversight est une supervision itérée de même classe par construction, et la prédiction centrale de ce programme est que l'échelle de même classe est bornée quel que soit le nombre de barreaux ajoutés, tandis qu'un correcteur inter-classes ne l'est pas. Les deux cadres sont donc en désaccord sur une grandeur mesurable, ce qui est la relation la plus productive que deux programmes de recherche puissent avoir.

Antécédents et quasi-manquements

Sur la question. Hutter a demandé directement si l'intelligence peut exploser (« Can Intelligence Explode? », arXiv, 28 février 2012, READ-AT-SOURCE), en séparant « la vitesse de l'explosion d'intelligence » et en s'engageant à « considérer les bornes possibles sur l'intelligence », augmentant l'analyse de Chalmers de 2010. La question et la distinction vitesse-versus-structure ont donc au moins quatorze ans. Ce que cette littérature ne contient pas est un nombre : pas d'exposant mesurable, pas de plafond dérivé, pas de dépendance à l'architecture.

Sur l'impossibilité. Trois articles arXiv de 2025 argumentent que le contrôle parfait est inatteignable : Yao, « The Alignment Trap: Complexity Barriers » (arXiv:2506.10304, v1 12 juin 2025 02:30:30 UTC, SINGLE-SOURCE-GROUP, observé indépendamment par l'Internet Archive le 13 juin 2025 ; cité par arXiv:2512.03048) ; Yao, « On the Mathematical Impossibility of Safe Universal Approximators » (arXiv:2507.03031, 3 juillet 2025, le seul article dans le corpus des résumés arXiv contenant la phrase « irreducible uncontrollability », total de recherche de résumé égal à un, mesuré le 12 août 2026) ; et Ball, Gluch, Goldwasser, Kreuter, Reingold et Rothblum, « On the Impossibility of Separating Intelligence from Judgment » (arXiv:2507.07341, 9 juillet 2025). Les trois sont dans le pire cas et qualitatifs : mesure zéro, coNP-complétude, dureté cryptographique. Aucun ne rapporte un exposant d'échelonnement en cas moyen ou un taux. Le troisième, notamment, conclut que l'alignement « doit à la place être intégré dans l'architecture et les poids du modèle », un argument indépendant, à partir de l'intractabilité du filtrage, dans la même direction que la dépendance à l'architecture de ce programme ; c'est un soutien convergent sur cette branche, non un rival. Deux des trois articles sont d'un seul auteur ; la description « une vague » surestime l'étendue de la littérature, bien que non le sérieux de l'article à six auteurs.

Sur le mécanisme. Que des estimations anti-corrélées se moyennent mieux que des estimations indépendantes est une réduction de variance de manuel (variables antithétiques). Le mécanisme n'est pas la revendication. La revendication est que l'architecture détermine si l'anti-corrélation est disponible du tout, et que cela plafonne un exposant lié à la sécurité.

L'analogue structurel le plus proche. Le théorème du seuil de la correction d'erreurs quantiques convertit également une inquiétude qualitative en une valeur critique. Il concerne des taux d'erreur physiques dans une architecture fixe, non l'exposant d'échelonnement d'un correcteur, il s'agit donc d'un quasi-manquement plutôt que d'un occupant ; l'analogie est de méthode. Cet analogue a été identifié par la propre recherche du programme plutôt que par un référent, et est divulgué en conséquence.

Sur la rétroaction et la stabilité (classique). La proposition générale selon laquelle un gain correctif inadéquat par rapport au gain du système cause l'instabilité a une longue lignée en théorie du contrôle (théorèmes de petit gain). Le différentiel : ce sont des conditions de gain sur des systèmes interconnectés, non un critère d'exposant de loi de puissance sur l'échelonnement d'un correcteur avec la capacité d'un système récursivement en amélioration. Cité pour que la proposition générale ne soit jamais revendiquée ; la formulation d'exposant, la dynamique et l'estimateur sont la surface de contribution.

Le voisin quantitatif le plus proche. Liu, A. et Meng, J., « Self-Correction as Feedback Control: Error Dynamics, Stability Thresholds, and Prompt Interventions in LLMs », arXiv:2604.22273 (SINGLE-SOURCE, résumé lu via la propre page html de l'article, 12 août 2026), reformule l'auto-correction comme un problème de contrôle en boucle fermée via un modèle de Markov à deux états paramétré par un Taux d'Introduction d'Erreur et un Taux de Correction d'Erreur, et dérive un seuil de stabilité directement mesurable : itérer seulement lorsque ECR/EIR dépasse Acc/(1 - Acc). Le différentiel, énoncé partout où il est cité : le leur est un seuil de taux par étape à un niveau de capacité fixe, décidant si une autre itération aide maintenant ; le critère de ce programme est une relation d'échelle à travers la capacité, décidant si la force corrective suit le rythme à mesure que le système s'améliore. Pas d'exposant d'échelonnement sur le correcteur, pas d'exposant de croissance de capacité, pas d'identité réciproque, pas d'architecture ni de terme de classe de composition. Régimes complémentaires ; aucun ne contient l'autre. Deux résultats empiriques 2026 adjacents issus de la même recherche, chacun à vérifier à la source avant d'être cité au-delà de son titre : arXiv:2601.00828 rapporte un paradoxe précision-correction, des modèles plus faibles atteignant des taux de correction intrinsèques matériellement plus élevés que ceux plus forts, preuve par étape directionnellement adjacente au plafond de même classe et à ne jamais citer comme une mesure d'exposant ; et arXiv:2507.02778 (Self-Correction Bench) rapporte un angle mort d'auto-correction systématique à travers les modèles ouverts.

Sur la création récursive. La sélection naturelle cosmologique de Smolin est l'antécédent des univers façonnés par la sélection, et les propres notes de l'époque de décembre du programme la citent contemporainement (« Faisant écho à la sélection naturelle cosmologique de Smolin, l'IA pourrait créer des univers récursifs avec leurs propres lois », READ-AT-SOURCE à partir des notes de l'opérateur).

Sur le domaine autour du registre. Les questions que ce registre suit de l'extérieur ont désormais un foyer nommé : Recursive Dynamics, proposé comme domaine dans son article fondateur (v2.6, DOI 10.17605/OSF.IO/HCPBU), dont l'objection A12 argumente de l'intérieur ce que ce registre documente de l'extérieur : que les questions forment une seule famille qu'aucun domaine existant ne revendique dans son ensemble. Le registre et la proposition de domaine sont une seule discipline pointée dans deux directions ; le registre grade ce qui est arrivé de l'extérieur, et l'article fondateur énonce ce qui vaincrait le nom.

6. Falsifiabilité

Cette revendication est réfutable, et les critères ci-dessous énoncent exactement ce qui la vaincrait. La force de la preuve convergente repose entièrement sur le fait que les convergences soient authentiquement indépendantes, ces tests sont donc adversariels par conception.

1. Échec d'indépendance. Chaque convergence doit provenir d'une source causalement indépendante des manuscrits de l'auteur et de chaque autre convergence (voir §4). La revendication s'effondre en biais de sélection si un ré-audit trouve qu'une fraction matérielle des convergences partagent une origine commune, se citent mutuellement, ou ont été produites par des parties ayant une connaissance antérieure documentée du manuscrit du 8 décembre 2024.
2. Seuil de défaite (décompte). Le décompte est lui-même une affirmation falsifiable. Lors d'un nouvel audit mené selon un protocole rédigé, daté et préparé comme enregistrement en projet en attente de soumission humaine, appliquant une déduplication stricte d'un événement par ligne et une vérification en source primaire, le motif est défait si le nombre de convergences indépendantes survivantes tombe sous le niveau distinguable d'une co-occurrence due au hasard, compte tenu de l'étendue des domaines fouillés. Les dix-neuf lignes de l'instantané conservé étaient ses seules lignes vérifiées. Puisque le registre gradué ne revendique aucun total, le test de défaite porte désormais sur l'indépendance des lignes graduées plutôt que sur un nombre, et les candidats encore en cours de vérification demeurent exclus tant qu'ils ne sont pas sourcés.
3. Dénominateur manquant (recherche disconfirmatoire). En tant que preuve, la revendication est vaincue à moins qu'une recherche également systématique des cas dis-confirmatoires (domaines où la profondeur récursive ajoutée ne produit pas de gains super-linéaires au-dessus du seuil) est conduite et rapportée. Sans le dénominateur (domaines cherchés versus domaines correspondants), le taux de convergence ne peut pas être montré comme excédant le hasard.
4. Effet look-elsewhere. À travers autant de domaines distincts que ceux sondés ici, une certaine similarité structurelle de coïncidence est attendue. La revendication est vaincue si le taux de convergence observé ne dépasse pas le taux de faux positifs attendu de la reconnaissance de configurations à travers ce nombre de domaines indépendants.
5. Causalité inverse. Une convergence ne compte que si le résultat externe n'a pas été, directement ou indirectement, influencé par la propre dissémination de l'auteur. Toute convergence traçable au livre, au site web, ou aux publications publiques plutôt que la précédant ou en résultant indépendamment est reclassée comme engagement, non comme confirmation indépendante, et retirée du décompte.
6. Échec prédictif. Le principe structurel produit des prédictions prospectives (que les futurs résultats de profondeur récursive montreront la même super-linéarité au-dessus du seuil). Des prédictions prospectives rédigées et datées comme projets d'enregistrement en attente de soumission humaine qui échouent à un taux incohérent avec l'universalité revendiquée vainquent la lecture structurelle, ne laissant qu'un ensemble de coïncidences historiques.

Ce qui ne vaincrait pas vaincre la revendication : la reclassification d'une convergence unique, ou une source se révélant plus faible que décrite : la revendication porte sur la configuration agrégée, non sur une ligne individuelle. Mais l'agrégat doit survivre aux tests d'indépendance, de dénominateur et de taux de base ci-dessus. En leur absence, une « preuve convergente » est indiscernable du biais de confirmation, et cet article le dit clairement.

7. Ce que cela signifie

Pour le programme ARC/Eden. Le cadre ne spécule pas dans le vide : les lignes du registre enregistrent des travailleurs indépendants atteignant les mêmes conclusions structurelles, et la corroboration ne vient pas d'alliés, de collaborateurs, ou de personnes qui connaissent le travail ; elle vient de personnes qui ne savent pas que le travail existe. Combien de poids cela porte est une question graduée, ligne par ligne, et aucun nombre unique n'est revendiqué pour cela ; le poids dépend entièrement du fait que les lignes soient authentiquement indépendantes, ce que le §6 explique comment tester.

Pour le chercheur. Le cadre PNP décrit l'architecture cognitive qui a construit ceci. L'article PNAS argumente que la diversité des styles de raisonnement protège un écosystème d'agents machines. Que le parallèle humain tienne est exactement ce que le Paper C met sur la table, comme cadre énoncé plutôt que comme preuve empruntée. La documentation clinique fournit le dossier médical. La boucle fermée est complète. La revendication d'expertise du chercheur n'est pas institutionnelle. Elle est probante. Le registre de preuves est publié. Les hash SHA-256 correspondent. Les sources .eml scellées sont disponibles sur demande, ancrées par hash.

Pour la sécurité de l'IA. Plusieurs programmes indépendants argumentent désormais que les contraintes d'alignement externes sont structurellement insuffisantes, et plusieurs arrivent à la correction intégrée qui co-échelonne avec la capacité comme direction, avant que le premier système récursif découplé ne soit livré. Cette configuration est contexte, non confirmation ; les tests décisifs sont les enregistrements rédigés (§6). La question est de savoir si une institution agira sur l'argument structurel avant que la preuve ne devienne un post-mortem.

8. Prédictions du cadre auxquelles la configuration de convergence pointe

L'éclipse. Le désaccord le plus vif du cadre avec la pratique actuelle porte sur ce dont la supervision est faite. Un correcteur bâti à partir du même substrat que le système qu'il corrige ne peut pas anti-corréler avec ses propres erreurs, de sorte que son exposant de correction est borné supérieurement, sous le modèle d'accumulation avec indépendance, par un demi, et se tient en pratique en dessous ; un correcteur d'une classe de composition différente ne porte pas cette borne. Le programme de supervision à échelle variable, la généralisation du faible au fort, le débat, l'amplification, la modélisation récursive de la récompense et les méthodes constitutionnelles sont bâtis très majoritairement à partir de correcteurs de même classe, et leur prémisse tacite est que cela croît. Ce cadre prédit que c'est plafonné. La loi et la valeur peuvent être séparées. Ce qui tient le terrain, c'est la loi : un système auto-améliorant ne reste corrigible qu'aussi longtemps que la correction suit le rythme, et son plafond est l'inverse de l'écart du correcteur à un, α_crit = 1/(1 − γ). Un demi est ce que cette loi prédit dès lors que l'hypothèse d'accumulation avec indépendance est accordée, et c'est cette hypothèse que les enregistrements rédigés mettent à l'épreuve. La grandeur décisive est le rapport de l'exposant de correction inter-classes à celui de même classe, dont le modèle nul, sous l'hypothèse que l'architecture et la structure des erreurs sont sans effet sur la croissance de la correction, vaut 1,00. La falsification se lit dans la forme à trois issues qu'emploient les enregistrements rédigés du programme, parce que réfuté-si-l'intervalle-contient-1,00 laisserait une étude sous-puissante réfuter par défaut : SOUTENU quand l'intervalle sur le rapport se situe entièrement au-dessus de 1 plus l'effet minimal fixé à l'avance ; RÉFUTÉ quand l'intervalle se situe entièrement à l'intérieur d'une marge d'équivalence autour de 1,00 fixée à l'avance (logique des deux tests unilatéraux), ou quand l'intervalle de l'exposant d'un correcteur de même classe se situe entièrement au-dessus d'un demi, ce qui tue le plafond d'emblée ; PRÉCISION INSUFFISANTE quand l'intervalle est plus large que la marge, rapporté exactement dans ces termes et jamais comme soutien ni comme réfutation. Les deux grandeurs sont mesurables à la capacité actuelle sur des systèmes existants. Les propres preuves pilotes du programme vont pour l'instant contre la prédiction, et la prédiction est portée malgré tout, rédigée et datée comme enregistrement en projet en attente de soumission humaine, parce qu'une prédiction consignée contre les preuves préliminaires de son propre auteur est la seule dont une confirmation ultérieure signifie quelque chose.

L'objection à devancer, car un physicien y arrive en une étape. La correction d'erreurs quantiques tolérante aux fautes supprime l'erreur logique exponentiellement en distance de code en dessous du seuil, ce qui ressemble à un contre-exemple à tout plafond en racine carrée. Deux faits de portée y répondent : la suppression exponentielle s'exécute sur l'axe de redondance à capacité fixe, non sur le couplage de la force corrective à la capacité du système corrigé, qui est l'exposant que ce programme mesure ; et le théorème du seuil lui-même exige un bruit physique suffisamment non corrélé, ce qui est la prémisse d'indépendance à nouveau, revêtue de matériel. De même, les bornes de concentration donnent une probabilité d'erreur exponentiellement décroissante tandis que la largeur d'estimateur tombe comme la racine carrée : différentes grandeurs, et les confondre fabrique une réfutation.

Une seconde prédiction du même mécanisme. Le même mécanisme produit une seconde prédiction mesurable : les dispositifs de supervision qui placent un humain dans la boucle, comme le font l'amplification et l'apprentissage par renforcement à partir du retour humain, sont inter-classes par construction, car le correcteur humain ne partage pas le substrat du modèle. Le cadre prédit donc que la supervision humain-dans-la-boucle montre un exposant de correction plus élevé que la supervision purement modèle, pour une raison structurelle plutôt que sentimentale. C'est testable sur les données existantes et ne nécessite pas de nouveaux systèmes.

Références

Statut épistémique. Ce que ce programme nomme des Lois sont des conjectures sous test enregistré et adversariel ; chaque grandeur dans cet article est définie opérationnellement, et le rang de loi établie n'est revendiqué nulle part. Le programme enregistré existe pour gagner ce rang, ou le perdre, par mesure, réplication et réfutation survécue.

© 2026 Michael Darius Eastwood. Ouvrage rédigé par un humain avec assistance informatique ; la pleine auctorialité humaine et les droits moraux sont revendiqués au titre du Copyright, Designs and Patents Act 1988 et en cohérence avec les orientations du United States Copyright Office relatives aux œuvres contenant du matériel généré par IA ; toute contribution technique nouvelle décrite dans cet ouvrage a été conçue par l'auteur humain. Déclaration complète : michaeldariuseastwood.com/authorship.

Alliance permanente. Prouvez cet article faux, et je publierai la réfutation moi-même. Les conditions de falsification sont énoncées dans cet article ; le défi permanent : github.com/MichaelDariusEastwood/arc-scaling-challenge.

Michael Darius Eastwood a conçu et dirige ce programme de recherche et est l'auteur de ce travail. Tout au long du programme, il a utilisé plus de six systèmes d'IA en parallèle, selon ses propres instructions, pour mettre ses arguments à l'épreuve, identifier d'éventuelles erreurs et aider à préparer des ébauches de texte à partir de ses propres plans. Il détermine ce qui est adopté, révisé ou rejeté et assume la responsabilité du contenu publié. Ces systèmes sont des outils, non des auteurs.