L'attaque d'une IA sur les ensembles sans progression : registre de ce qui a bloqué

TL;DR. Un assistant IA a travaillé sur deux problèmes concernant les ensembles sans progression : un argument pour le problème de la somme des inverses et une borne quasi polynomiale pour chaque longueur fixe...

Points clés

Deux tâches, dont une seule a jamais été revendiquée. Le matériau se divise en deux tâches, et il vaut la peine de bien distinguer leur statut.
La décroissance de la densité n'est pas synonyme de sommabilité. Le premier obstacle apparaît au niveau de l'architecture même de l'argument, avant toute analyse de Fourier.
Conserver la structure, et pourquoi le cas à trois termes ne se généralise pas. Un remède proposé consiste à conserver la structure au fil du processus.
Aligner les fréquences une seule fois plutôt que plusieurs. L'alignement séquentiel des fonctions de fréquence est l'endroit où le problème d'accumulation se fait le plus sentir.

La chose la plus utile qu'une preuve inachevée puisse vous dire est exactement là où elle se brise, et celle-ci se brise à une douzaine d'endroits précis.

Résumé exécutif

Le travail comporte deux tâches. La première développe un argument pour le problème de la somme des inverses. La seconde cherche une borne quasi polynomiale pour chaque longueur de progression fixe, et cet objectif n'est pas atteint.

La base de référence est le résultat sur la somme des inverses à trois termes de Bloom et Sisask. La décroissance qualitative de la densité ne fournit pas à elle seule la sommabilité dont l'argument a besoin.

De nombreuses approches ont été tentées : ensembles ambiants structurés, alignement simultané des fréquences, lemmes de comptage creux, lissage de Croot-Sisask, relèvement et itération, coins et entropie à l'échelle p = log M. Chacune s'est heurtée à une obstruction explicite.

Le calcul final a été laissé inachevé, sans lemme de restriction ni principe de comptage creux.

Pour les fondateurs et les responsables techniques, la leçon porte sur la méthode : un registre d'échecs nommés est un livrable plus fiable qu'une esquisse trop assurée.

Deux tâches, dont une seule a jamais été revendiquée #

Le matériau se divise en deux tâches, et il vaut la peine de bien distinguer leur statut. La première développe un argument pour le problème de la somme des inverses. La seconde cherche une borne quasi polynomiale pour chaque longueur de progression fixe. Les verbes comptent. La première tâche est décrite comme le développement d'un argument. La seconde cherche seulement une borne. Rien dans le dossier n'indique que le second objectif ait été atteint, et je le traiterai comme une cible tout au long de cet article.

L'assistant ne part pas de rien. Il utilise le résultat sur la somme des inverses à trois termes de Bloom et Sisask comme base de référence. Tout ce qui suit est une tentative de dépasser cette référence, soit vers des progressions plus longues, soit vers un énoncé quantitatif plus fort. La notation est fixée très tôt. Pour chaque k, r_k(N) désigne la taille maximale d'un sous-ensemble de {1, ..., N} ne contenant aucune progression non triviale à k termes. Un ensemble A de densité α = |A|/N est l'objet étudié, et la fonction normalisée est f = 1_A/α.

Cette normalisation guide l'essentiel de ce qui suit. On définit μ = 1_A/α, de sorte que E[μ] = 1, et on pose M = α^-1. La parcimonie logarithmique est alors p = log(1/α), ce qui équivaut à log M. Plus l'ensemble est creux, plus M et p deviennent grands. Chaque obstruction ci-dessous exprime, sous une forme ou une autre, ce qui se produit lorsque cette parcimonie augmente.

La décroissance de la densité n'est pas synonyme de sommabilité #

Le premier obstacle apparaît au niveau de l'architecture même de l'argument, avant toute analyse de Fourier. Le dossier indique clairement que la décroissance qualitative de la densité ne fournit pas à elle seule cette sommabilité. Savoir que les densités diminuent à mesure que l'on change d'échelle ne suffit pas. Le problème de la somme des inverses exige que cette diminution soit suffisamment quantifiée pour pouvoir être sommée.

Une issue tentante consiste à recourir à une relation de récurrence. Les notes indiquent qu'une récurrence suffisamment forte pour les densités extrémales sans progression pourrait donner la sommabilité à travers des échelles exponentielles. Cette phrase est formulée avec prudence, et elle doit le rester. Elle décrit ce qu'une récurrence forte hypothétique pourrait accomplir, mais n'en établit aucune.

Un second coût s'ajoute au premier. L'assistant identifie l'accumulation de nombreuses corrélations faibles comme un coût supplémentaire. Chaque corrélation individuelle peut être inoffensive alors que leur somme ne l'est pas. Ce thème revient régulièrement : une étape peu coûteuse lorsqu'elle est isolée devient prohibitive lorsqu'elle doit être répétée.

Conserver la structure, et pourquoi le cas à trois termes ne se généralise pas #

Un remède proposé consiste à conserver la structure au fil du processus. L'assistant suggère de maintenir des ensembles ambiants structurés à travers les incréments successifs. L'idée, présentée avec réserve dans la source, est qu'il ne faudrait pas abandonner l'ensemble structuré trouvé à une étape lorsque l'on passe à la suivante.

Le cas à trois termes possède une caractéristique qui fait défaut aux progressions plus longues. Le mécanisme de positivité utile pour les progressions à trois termes ne s'étend pas directement aux comptages enracinés plus longs. C'est le premier de plusieurs endroits où l'obstruction est propre à k supérieur à trois. Une note ultérieure formule le même constat en termes généraux : les progressions plus longues introduisent de nouvelles obstructions d'ordre supérieur.

Le dossier comprend une esquisse par produit tensoriel visant à déterminer si des normes d'uniformité fixes peuvent contrôler des fonctions normalisées creuses. L'assistant ne termine pas cette esquisse. Je préfère rapporter ce fait plutôt que de laisser entendre que la question est tranchée dans un sens ou dans l'autre.

Aligner les fréquences une seule fois plutôt que plusieurs #

L'alignement séquentiel des fonctions de fréquence est l'endroit où le problème d'accumulation se fait le plus sentir. Si chaque alignement coûte un peu, une longue chaîne d'alignements coûte beaucoup. L'assistant propose d'aligner plusieurs fonctions de fréquence simultanément, au lieu d'accumuler les pertes par un alignement séquentiel. La note marginale le résume sans détour : « Aucune perte itérative si l'on aligne toutes les fréquences en même temps. » Comme la proposition qu'elle résume, cette phrase reste conditionnelle, car elle décrit ce que l'alignement simultané apporterait s'il fonctionnait.

La note précise ensuite ce qui manque encore. Il faudrait pouvoir reconstruire S_h à partir de fréquences présentant de fortes corrélations, d'au moins exp(-poly). Cela demeure une exigence, et non un résultat acquis. Les corrélations organisées ici sont celles des produits par paires f(x)f(x + h), avec f = 1_A/α et α = |A|/N.

Même en admettant cela, l'assistant doit encore préserver la corrélation relative et mener à bien l'argument de comptage. L'idée d'alignement simultané possède donc une propriété séduisante, l'absence de pertes itératives, mais s'accompagne d'une liste de conditions que personne n'a vérifiées. Une approche voisine se heurte à une limite similaire. La troncature des pics cohérents rares fonctionne pour des amas de fréquences indépendants, mais l'extension de cet argument à des amas dépendants reste non résolue.

Pièces vides rares et coût du remplissage adaptatif #

Lorsque l'argument passe de la comptabilité du côté de Fourier au comptage effectif des progressions, un problème structurel apparaît. L'assistant identifie une obstruction : les bornes supérieures de densité sur les pièces structurées autorisent de rares pièces vides. Une borne supérieure sur la proportion de A qui se trouve dans une pièce ne dit rien sur la présence effective d'éléments de A dans cette pièce. Une pièce rare et vide peut très bien figurer au sein d'une famille de pièces qui respectent toutes la borne.

Une réponse possible est le remplissage adaptatif, mais elle s'accompagne de sa propre facture. Le remplissage adaptatif introduit des conditions de faisabilité supplémentaires que l'assistant n'a pas démontrées. Un majorant constitue une manière naturelle d'exclure les rares mauvaises pièces. Le texte cité de l'assistant indique qu'un majorant sur tous les atomes rares est probablement irréaliste. La remarque est prudente, mais elle écarte le correctif le plus direct.

C'est ce schéma qui explique le reste du dossier. Un argument économique a besoin d'une borne inférieure quelque part, les outils disponibles fournissent des bornes supérieures, et l'écart entre les deux est occupé par des objets rares, creux et vides.

Emprunter la machinerie du comptage creux, et constater que l'emprunt ne suffisait pas #

L'assistant s'est tourné vers la littérature existante sur le comptage creux pour tenter de franchir l'obstacle. Deux sources ont façonné cette tentative.

Concernant la densification de Conlon-Fox-Zhao, l'assistant a constaté qu'elle reposait sur des estimations de formes linéaires bilatérales. Ce point est déterminant, car le cadre étudié ici ne dispose que d'une structure de borne supérieure, et non d'un contrôle bilatéral. Une méthode construite sur un contrôle des deux côtés n'est pas utilisable lorsqu'un seul côté est connu.

Le lemme de comptage de graphes creux de Filmus, Hatami, Hosseini et Kelman a fourni le modèle pour les moments de grille asymétriques et le déséquilibrage semi-défini positif. Il a donc servi de modèle, et non de théorème directement applicable. Malgré cela, la même difficulté est revenue. Les bornes supérieures seules se sont heurtées à plusieurs reprises à des trous creux. Une subtilité supplémentaire rend les moments de grille difficiles à interpréter : de grands moments de grille centrés pourraient refléter une masse manquante plutôt qu'une concentration vers le haut. Un moment élevé ressemble à une preuve de concentration, mais il peut tout aussi bien être produit par une masse absente. Cette ambiguïté est le problème des trous creux vu sous l'angle des moments.

L'assistant a ensuite envisagé de petites pertes en puissance de M. Il n'a obtenu aucun théorème de comptage approprié. C'est un résultat négatif net, qui resserre le champ des possibles : même en autorisant l'argument à perdre une petite puissance de M, aucun théorème de comptage adéquat n'a été trouvé.

Le lissage était trop coûteux à appliquer #

Le lissage de Croot-Sisask est une voie classique pour régulariser un ensemble avant de procéder au comptage. L'assistant l'a envisagé et a jugé que la précision requise était trop coûteuse dans l'application proposée. La méthode n'était pas fausse, mais son prix dépassait ce que l'argument pouvait absorber.

La même économie gouverne les autres pistes. Pour les arguments de fibrés, les bornes sur les fibres ne se multipliaient pas automatiquement, et les sphères à norme constante ont fait obstacle à la forte décroissance espérée sur des alphabets de chiffres fixes. Une structure de produit laisse espérer que les bornes sur les composantes se combinent en une borne sur l'ensemble, mais ce ne fut pas le cas ici. Les tentatives de relèvement et d'itération perdaient encore trop sur le plan quantitatif.

L'approche de dualité approchée de Ben-Sasson-Ron-Zewi a été examinée ensuite. L'assistant a constaté que l'itération envisagée perdait trop quantitativement. C'est le même verdict que pour la tentative de relèvement, atteint depuis une autre direction, ce qui suggère que la difficulté réside dans l'itération elle-même et non dans une construction particulière. Je retiens cela comme une observation sur la structure du problème, et non comme un diagnostic démontré.

Une ligne d'optimisme, et l'arithmétique qui l'a contredite #

Le dossier contient un moment de progrès apparent. Le texte cité de l'assistant affirme que les fluctuations de degré des produits sont gérées avec une précision polynomiale, point d'exclamation compris. C'est une affirmation prudente, citée telle que l'assistant l'a écrite.

L'assistant a ensuite remarqué le problème. Les développements signés pouvaient avoir une masse absolue d'ordre 2^p, ce qui submerge la précision polynomiale. Rappelons que p = log M. Une précision polynomiale en M est une cible modeste, tandis qu'un développement signé dont la masse est d'ordre 2^p est exponentiellement plus grand. La précision est bien réelle, mais les annulations sur lesquelles elle repose ne peuvent pas absorber une telle masse.

Je trouve que c'est l'entrée la plus instructive du registre, car elle montre l'autocontrôle à l'œuvre. Une affirmation formulée avec un point d'exclamation a été réexaminée, et l'arithmétique dont elle dépendait s'est révélée insuffisante. C'est à cela que ressemble un journal de travail honnête : l'enthousiasme et la correction figurent tous deux dans le même document.

Les coins et les boîtes ne s'assemblent pas en progressions plus longues #

Une stratégie différente consistait à utiliser un résultat connu plus fort comme tremplin. La borne quasi polynomiale sur les coins est l'outil pertinent, mais les coins obtenus ne s'assemblaient pas automatiquement en progressions plus longues. Un coin est un motif bidimensionnel tandis qu'une longue progression est un objet unidimensionnel, et le passage de l'un à l'autre n'a rien d'automatique.

Le comptage par boîtes à quatre termes présente une difficulté analogue. La positivité du comptage par boîtes à quatre termes ne contrôlait pas sa diagonale exceptionnelle. Un comptage positif peut rester dominé par des configurations dégénérées, et c'est précisément sur la diagonale que celles-ci résident.

Les notes suggèrent néanmoins une piste possible, formulée avec beaucoup de réserve. Les normes de boîtes complètes offrent un mécanisme possible pour déterminer si des comptages supérieurs seuls peuvent forcer des comptages inférieurs de progressions. Cette question, savoir si une information unilatérale peut imposer une borne inférieure, est celle autour de laquelle tout le projet ne cesse de tourner. Il existe toutefois une limite à la portée de cette approche : des contributions cubiques négatives font obstacle à une extension directe aux systèmes de progressions.

Passer à l'entropie à l'échelle p = log M #

Les voies de comptage direct étant bloquées, l'investigation s'est orientée vers l'entropie à l'échelle p = log M, en s'inspirant de l'utilisation des moments d'ordre élevé par Kelley et Meka. Le choix de l'échelle n'a rien d'arbitraire : p = log M correspond exactement à la parcimonie logarithmique définie dès le départ.

Le texte cité de l'assistant propose d'utiliser l'entropie au lieu de L2 grâce à la non-négativité et à la dissociativité fréquentielle (Chang). Il s'agit d'une proposition, pas d'un résultat. Le raisonnement est que μ = 1_A/α est non négative et que la dissociativité de Chang confère une structure du côté des fréquences, de sorte que l'entropie pourrait accomplir le travail qu'une quantité L2 ne permet pas.

Pour que cela fonctionne, l'assistant avait besoin d'un ingrédient analytique précis. Il cherchait une estimation de restriction de Fourier ||g_hat||_q = O(1) pour une fonction bornée g et un exposant fixe q > 2, sous des bornes supérieures locales appropriées. C'était une cible, et elle n'a pas été établie.

L'obstacle est apparu à l'étape suivante. L'extraction de structure à partir des moments d'ordre élevé perdait trop de masse. Les moments d'ordre élevé sont l'endroit où les arguments de type Kelley-Meka puisent leur force, et c'est aussi là que l'argument a perdu ce qu'il devait conserver.

Le calcul qui s'en est le plus approché #

Le calcul final mérite un examen particulier, car il comporte à la fois une réussite et un échec. Il atteint une borne complète au point limite sous ses hypothèses de convolution. C'est un résultat réel, présenté comme tel, assorti de la réserve explicite « sous ses hypothèses de convolution ». La borne tient lorsque ces hypothèses sont satisfaites.

Mais il ne parvient pas à franchir le seuil de l'exposant trois requis par l'argument de comptage proposé. L'extrait de l'assistant relève une borne l3 faible issue de la convolution et du plafonnement, et note qu'un exposant strictement meilleur (inférieur à 3) est nécessaire pour l'interpolation. En termes simples, le calcul atterrit exactement du mauvais côté de la ligne. Une borne à l'exposant trois ne suffit pas, et l'interpolation exige strictement mieux.

Il est tentant d'interpréter un tel quasi-succès comme un « presque abouti ». Je m'en garderais. Le dossier ne dit pas à quelle distance du seuil se situe le calcul, et un écart d'un seul exposant peut constituer l'intégralité du problème. Ce que le dossier indique clairement, c'est que l'assistant a laissé le calcul inachevé, sans établir ni le lemme de restriction ni le principe de comptage creux. Ces deux pièces manquantes constituent la dette ouverte du projet.

Ce que vaut ce registre #

Il serait facile d'écarter ce travail comme une simple tentative infructueuse. Je pense que ce serait mal lire les éléments disponibles, pour une raison qui dépasse largement la théorie des nombres.

Le document est précis. Il nomme l'obstruction à chaque embranchement : pièces vides rares, masse manquante dans les moments de grille, estimations bilatérales chez Conlon-Fox-Zhao, masse signée exponentielle en p, diagonale exceptionnelle du comptage par boîtes à quatre termes, contributions cubiques négatives. Il distingue une limitation démontrée d'un mécanisme espéré. Il signale la récurrence pour la sommabilité comme une piste susceptible de fonctionner, et la seconde tâche comme un objectif recherché. Il indique explicitement ce que l'assistant n'a pas terminé.

Pour un fondateur ou un responsable technique qui évalue la recherche assistée par l'IA, c'est exactement ce qu'il faut rechercher. Un système qui renvoie un argument d'apparence complète et assurée est difficile à auditer. Un système qui renvoie une liste d'échecs nommés, avec le seul quasi-succès clairement signalé comme restant en deçà d'un seuil, peut être vérifié ligne par ligne. Quelqu'un peut reprendre le problème de l'exposant trois, ou celui des amas dépendants, en connaissant exactement la position de départ.

Une régularité mérite également d'être formulée directement. Beaucoup de ces échecs sont des échecs d'accumulation : des corrélations faibles qui s'additionnent, des alignements séquentiels qui se composent, des itérations qui perdent trop, des bornes sur les fibres qui ne se multiplient pas. Un remède proposé cible directement ce point en alignant les fréquences simultanément afin d'éviter toute perte itérative. Il reste conditionnel, et son prérequis, reconstruire S_h à partir de fréquences fortement corrélées, n'est pas démontré. C'est néanmoins la proposition du dossier qui répond le plus directement à la difficulté la plus fréquente.

La question ouverte que soulève ce registre est donc étroite et vérifiable. Peut-on obtenir une borne strictement meilleure que l'exposant trois sous les hypothèses de convolution qui fournissent déjà la borne au point limite ? Si oui, l'interpolation dispose d'une base de travail. Sinon, la voie de la restriction de Fourier et le principe de comptage creux, dont aucun n'a été établi, sont les prochains endroits où chercher.

Questions ? Réponses.

Quels étaient les deux problèmes mathématiques étudiés par l'assistant IA ?

L'assistant a travaillé sur deux tâches liées concernant les ensembles sans progression : développer un argument pour le problème de la somme des inverses et chercher une borne quasi polynomiale pour chaque longueur de progression fixe k. Bien qu'il ait utilisé le résultat à trois termes de Bloom et Sisask comme base de référence, la borne quasi polynomiale pour des longueurs de progression arbitraires n'a pas été atteinte.

Pourquoi les bornes supérieures de densité n'ont-elles pas permis d'obtenir le lemme de comptage requis ?

Les bornes supérieures de densité sur les pièces structurées autorisent de rares pièces vides, ce qui signifie qu'une borne supérieure sur la quantité d'un ensemble A présente dans une pièce ne garantit pas qu'il s'y trouve effectivement des éléments de A. À travers de multiples tentatives, les bornes supérieures seules ont rencontré à plusieurs reprises des trous creux, et de grands moments de grille centrés pouvaient refléter une masse manquante plutôt qu'une concentration vers le haut.

Où le calcul final s'est-il arrêté ?

Le calcul final a atteint une borne complète au point limite sous ses hypothèses de convolution explicites, mais n'a produit qu'une borne l3 faible qui n'a pas franchi le seuil d'un exposant strictement inférieur à trois requis pour l'interpolation. L'assistant a laissé le calcul inachevé sans établir ni le lemme de restriction de Fourier ni le principe de comptage creux.

Références #

Thomas F. Bloom et Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
Zander Kelley et Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
David Conlon, Jacob Fox, et Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
Ernie Croot et Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.

Dernière révision 2026-11-01.

Republier cet article

L'attaque d'une IA sur les ensembles sans progression : registre de ce qui a bloqué — Sebastien Rousseau

Un assistant IA a travaillé sur deux problèmes concernant les ensembles sans progression : un argument pour le problème de la somme des inverses et une borne quasi polynomiale pour chaque longueur fixe...

Cet article est sous licence Creative Commons Attribution 4.0 International. La republication nécessite l'attribution à l'URL canonique.

L'attaque d'une IA sur les ensembles sans progression : registre de ce qui a bloqué — Sebastien Rousseau

Un assistant IA a travaillé sur deux problèmes concernant les ensembles sans progression : un argument pour le problème de la somme des inverses et une borne quasi polynomiale pour chaque longueur fixe...

Originally published at https://sebastienrousseau.com/fr/2026-10-24-attaque-une-ia-sur-ensembles-sans/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FONDATEUR · INGÉNIEUR