Des auteurs d'un preprint arXiv bornent l'auto-amélioration des agents à leur classe de vérification

Le preprint arXiv:2610.10611v1, classé en cs.AI, s'attaque à une question que l'évaluation des agents laisse généralement dans l'ombre. Un agent peut progresser parce qu'il a cherché une solution plus longtemps, parce qu'il a reçu un appui supplémentaire, ou parce qu'il a changé la manière dont il propose et vérifie ses réponses. Le score final d'un benchmark ne distingue pas ces trois cas. Les auteurs construisent un cadre formel qui rend ces différences visibles. Ils démontrent que les classes de problèmes atteignables avec une vérification bornée à aléa caché se situent entre Σₖᴾ et Σₖ₊₁ᴾ dans la hiérarchie polynomiale.

Comment fonctionne le modèle

L'unité de base du travail s'appelle une étape. Elle est définie par quatre éléments : les transcriptions d'interaction admissibles, des bornes polynomiales, un protocole de vérification alternant, et un vérificateur terminal qui rend le verdict final. L'étape fonctionne selon deux modes. Native reach s'appuie sur l'appui par défaut. Closure frontier autorise tout l'appui que l'interface admet déjà.

Pour que tout cela définisse de véritables langages formels, deux conditions sont nécessaires : un écart de probabilités uniforme point par point, et la task-relative soundness, c'est-à-dire une correction relative à la tâche concrète. Sous ces conditions, les classes sont définies rigoureusement et peuvent être comparées entre elles.

Ce qui est démontré

Les principaux résultats, tirés de l'abstract :

• l'amplification majoritaire indépendante préserve les deux langages, native reach et closure frontier ;
• l'acceptation selon le principe « il existe une bande aléatoire pour laquelle la vérification passe » peut laisser passer des réponses fausses ;
• la vérification exacte est un cas particulier à aléa nul, pour lequel on dispose de résultats de placement dans la hiérarchie et de complétude ;
• les classes à vérificateur randomisé satisfont Σₖᴾ ⊆ Σₖᴿⱽ ⊆ Σₖ₊₁ᴾ ;
• l'extension stricte et la séparation par profondeur exigent des hypothèses de complexité explicites ;
• avec BPP = P, on obtient des analogues exacts avec les mêmes bornes.

Une section distincte traite des représentations. L'acceptation invariante d'une réponse y est séparée des étiquettes « noyau ou appui », qui peuvent changer lors d'un refactoring du système. Redistribuer des fonctions à l'intérieur d'un agent ne prouve donc pas qu'il est devenu plus capable.

Auto-amélioration récursive

Pour les systèmes qui se modifient eux-mêmes, la conclusion est plutôt sobre. Si l'automodification est uniformément bornée, s'exécute sous un interpréteur correct commun et utilise un protocole de vérification fixe, le système reste dans la même classe de vérification. La seule capacité de se réécrire ne déplace pas cette frontière.

Un second problème se pose. Lorsque l'agent parcourt des candidats de manière adaptative, la probabilité de fausse sélection augmente. Les auteurs introduisent pour elle un budget d'erreur conditionnelle distinct. Une famille de problèmes de synthèse XOR à quotas imposés montre que le ratio de succès de la recherche peut croître sans borne, alors que les langages acceptés ne changent pas. Des audits exacts et probabilistes déterminent quelles preuves sont nécessaires pour cela.

Que vérifier en pratique

Le travail est théorique, il s'agit de la première version du preprint, et l'abstract ne mentionne aucune expérience sur des modèles réels. N'y cherchez pas de recommandations directes. Mais les engagements auxquels les auteurs rattachent les déclarations d'auto-amélioration se traduisent en questions d'ingénierie : ce qui compte comme une réponse correcte, quelles preuves sont admissibles, combien de ressources la vérification consomme, et quelle est l'erreur de sélection parmi les candidats.

Une équipe qui annonce la progression d'un agent gagnerait à séparer le budget de recherche de la modification du vérificateur, et à indiquer dans son rapport le nombre de candidats examinés. Si la vérification est aléatoire, le vote indépendant de plusieurs exécutions est plus fiable que l'acceptation sur n'importe quelle exécution réussie. Sans ces données, la hausse d'une métrique reste une observation, pas une preuve d'amélioration.