Loading
La descente de gradient n'est pas une métaphore pour dévaler une colline. C'est réellement dévaler une colline.
La descente de gradient n'est pas une métaphore pour dévaler une colline.
C'est réellement dévaler une colline. Les mathématiques sont identiques. Une balle dans un champ gravitationnel suit le gradient négatif de l'énergie potentielle par rapport à la position — elle se déplace dans la direction de la pente la plus forte, à une vitesse proportionnelle au gradient local, jusqu'à atteindre un minimum où le gradient est nul. Un réseau de neurones effectuant une descente de gradient suit le gradient négatif de la fonction de perte par rapport aux valeurs de poids — il se déplace dans la direction de la pente la plus forte dans l'espace des poids, à une vitesse proportionnelle au taux d'apprentissage, jusqu'à atteindre un minimum où le gradient est nul.
Ce ne sont pas des processus similaires. Ce sont le même processus — la même équation différentielle, les mêmes conditions de convergence, les mêmes modes d'échec — instancié dans des substrats physiques différents. Le lien n'est pas une analogie commode qui aide l'intuition. C'est une identité mathématique avec des implications réelles sur la façon dont nous devrions penser à l'entraînement, à l'optimisation et au comportement des grands modèles dans des conditions pour lesquelles l'intuition d'ingénierie existante n'a pas de cadre propre.
Les équations, placées côte à côte :
Dynamique newtonienne : x_{t+1} = x_t − γ · ∇_x V(x)
Descente de gradient : w_{t+1} = w_t − η · ∇_w L(w)x et w sont des positions dans leurs espaces respectifs. V et L sont les champs d'énergie à minimiser. γ et η sont la viscosité et le taux d'apprentissage — tous deux contrôlent avec quelle agressivité le système suit le gradient local. La seule chose qui diffère entre ces deux lignes, c'est ce à quoi les symboles pointent dans le monde physique.
Le même paysage peut converger, ramper ou dépasser selon la dynamique de l’optimiseur.
En mécanique classique, une particule se déplace dans l'espace physique. Son état est sa position. Les forces qui agissent sur elle sont les gradients du champ d'énergie potentielle. L'équilibre est un point où le gradient de l'énergie potentielle est nul — un minimum où le système est stable.
En apprentissage automatique, un modèle se déplace dans l'espace des poids pendant l'entraînement. Son état est le vecteur de toutes les valeurs de poids — des centaines de millions de nombres pour un grand modèle, des milliards pour les plus grands. Les forces qui agissent sur lui sont les gradients de la fonction de perte. La convergence est un point où le gradient de la perte est nul — un minimum où les prédictions du modèle sont localement optimales.
| Physique | Apprentissage automatique |
|---|---|
| Énergie potentielle | Fonction de perte |
| Force | Gradient |
| Position | Valeurs de poids |
| Friction / viscosité | Taux d'apprentissage |
| Quantité de mouvement | Momentum du gradient |
| Fluctuation thermique | Bruit de batch |
| Minimum d'énergie local | Solution sur-ajustée |
| Minimum global | Généralisation optimale |
Chaque entrée dans ce tableau n'est pas une analogie. C'est une équivalence structurelle entre deux domaines qui sont enseignés dans des départements séparés et rarement mis en conversation directe.
Pour le rendre concret : imaginez une seule étape d'entraînement. Une balle est sur un flanc de colline. Elle mesure la pente à sa position actuelle — le gradient du terrain. Elle roule une petite distance dans la direction descendante, proportionnelle à la pente et ralentie par la friction. Elle s'arrête, mesure à nouveau, roule à nouveau. C'est la descente de gradient. Le flanc de colline est la fonction de perte. La position de la balle est le vecteur de poids courant. La friction est le taux d'apprentissage. La vallée qu'elle trouve — si elle en trouve une — est le modèle entraîné. Chaque fois qu'on exécute la rétropropagation et qu'on applique une étape d'optimiseur, on effectue un roulement vers le bas de cette colline dans un espace à des centaines de millions de dimensions. La physique est identique. La géométrie est juste plus difficile à visualiser.
Le taux d'apprentissage joue le rôle de friction ou de viscosité dans le système physique. Un taux d'apprentissage très faible est une forte friction : l'optimiseur se déplace lentement, fait de petits pas, est peu susceptible de dépasser un minimum mais peut mettre un temps prohibitif à en trouver un. Un taux d'apprentissage très élevé est une faible friction : l'optimiseur se déplace vite, dépasse les minima, oscille et peut diverger complètement. Trouver le bon taux d'apprentissage, c'est trouver la bonne viscosité pour le paysage — une propriété du milieu, pas seulement de la fonction objectif.
Le momentum du gradient est littéralement de la quantité de mouvement : l'optimiseur accumule de la vitesse des étapes précédentes et la transporte en avant. En terrain vallonné, cela aide une balle à rouler au-delà de vallées peu profondes pour atteindre des plus profondes. En optimisation, le momentum aide l'optimiseur à s'échapper des minima étroits et aigus — des solutions qui correspondent étroitement aux données d'entraînement mais généralisent mal — et à atteindre des minima plus larges et plus plats qui tendent à mieux généraliser.
Affirmation clé : Ce ne sont pas des analogies. Ce sont le même objet mathématique vu sous deux disciplines qui n'ont pas encore fini de se parler.
La descente de gradient stochastique, où le gradient est calculé sur un sous-ensemble aléatoire des données d'entraînement plutôt que sur l'ensemble entier, introduit du bruit dans l'estimation de la force à chaque étape. C'est la fluctuation thermique — le même mécanisme qui permet à une molécule de s'échapper d'un puits d'énergie local malgré une énergie inférieure à la hauteur de la barrière. Le bruit de batch n'est pas un défaut à éliminer. C'est une ressource thermodynamique. Il permet à l'optimiseur d'explorer le paysage de perte plutôt que de tomber dans le minimum le plus proche, et les minima trouvés avec bruit ont tendance à être plus plats et à mieux généraliser — ce qui est l'analogue en apprentissage automatique de la stabilité thermodynamique.
« Les neurones qui s'activent ensemble se connectent ensemble. » Donald Hebb a proposé cela comme base biologique de l'apprentissage en 1949 : quand deux neurones s'activent à proximité temporelle rapprochée, la synapse qui les relie est renforcée. L'expérience creuse des sillons dans le réseau. Les chemins fréquemment empruntés deviennent plus faciles à emprunter.
C'est la loi d'Ohm appliquée à la biologie. Le courant circule le long des chemins de moindre résistance. Les chemins qui transportent plus de courant développent une résistance plus faible avec le temps. Le cerveau est un réseau électrique qui se recâble physiquement selon les voies qui transportent le plus de courant — le poids synaptique est la conductance électrique, et la règle de plasticité est une règle de mise à jour de conductance pilotée par la co-activité.
La rétropropagation — l'algorithme qui entraîne les réseaux de neurones artificiels — est une formalisation de ce principe étendue aux systèmes multicouches. Le crédit pour une sortie correcte est assigné en arrière à travers le réseau, couche par couche, aux poids qui y ont contribué. Les poids qui ont contribué positivement aux prédictions correctes sont renforcés. Ceux qui ont contribué négativement sont affaiblis. Le réseau devient meilleur à la tâche en renforçant les voies qui produisent des sorties correctes et en atténuant celles qui ne le font pas.
Les versions biologique et artificielle ne sont pas identiques. La règle de Hebb est locale : une synapse se met à jour en fonction de l'activité des deux neurones qu'elle connecte directement, sans avoir besoin d'informations venant d'ailleurs dans le réseau. La rétropropagation est non-locale : le crédit se propage à travers tout le réseau en utilisant des informations sur l'erreur de sortie, ce qui nécessite une connaissance globale de l'état du réseau. C'est l'une des questions de recherche actives en neurosciences computationnelles — comment le cerveau approxime-t-il l'assignation de crédit que la rétropropagation calcule globalement, en utilisant seulement des informations locales ? Plusieurs mécanismes plausibles ont été proposés, aucun n'a été définitivement confirmé.
Mais le principe sous-jacent reliant les deux est le même : renforcer ce qui fonctionne, atténuer ce qui ne fonctionne pas, mesuré par un signal qui encode le succès. Les deux systèmes découvrent la structure de leur entrée en renforçant les voies qui portent les régularités et en affaiblissant celles qui portent le bruit.
En 1948, Claude Shannon a défini l'entropie d'une distribution de probabilité comme H = −Σ p log p. En 1877, Ludwig Boltzmann a défini l'entropie d'un système thermodynamique comme S = −k Σ p log p, où k est la constante de Boltzmann. Shannon a explicitement reconnu le lien et a débattu avec ses collègues s'il devait appeler ça entropie, puisque le mot appartenait déjà à la thermodynamique. John von Neumann lui aurait dit : « Appelez ça entropie. Personne ne sait vraiment ce qu'est l'entropie, donc dans un débat vous aurez toujours l'avantage. »
Les deux quantités sont la même expression mathématique. La seule différence est la constante de proportionnalité et l'interprétation physique des probabilités. L'information et l'entropie physique sont la même chose, mesurées dans des unités différentes, développées dans des contextes différents, pas encore pleinement intégrées dans un cadre unique.
Ce que cela signifie pour les réseaux de neurones : un réseau initialisé aléatoirement a une haute entropie — sa distribution de poids est maximalement incertaine, et ses sorties sont proches du hasard. Un réseau entraîné a une faible entropie — ses poids se sont organisés en un schéma structuré qui capture les régularités des données d'entraînement. L'entraînement est un processus thermodynamique. Il réduit l'entropie de la distribution des poids en injectant de l'information — le signal d'entraînement — dans le système contre la direction du désordre naturel.
Ce recadrage rend plusieurs phénomènes d'entraînement plus intuitifs. Le surapprentissage est une réduction d'entropie excessive — le modèle s'est compressé pour correspondre aux instances spécifiques des données d'entraînement, y compris leur bruit, pas seulement la distribution sous-jacente. La régularisation est un plancher d'entropie — une contrainte qui empêche les poids de devenir trop organisés, trop spécifiquement adaptés à ce qui a été vu plutôt qu'à ce qui sera vu. Le dropout réintroduit de l'entropie dans le réseau pendant l'entraînement en mettant à zéro aléatoirement des activations, empêchant toute voie unique de devenir trop dominante et forçant le réseau à apprendre des représentations redondantes.
La source d'énergie qui pilote la réduction d'entropie pendant l'entraînement est le signal d'entraînement — l'écart entre les prédictions du modèle et les sorties correctes. En thermodynamique, la réduction d'entropie nécessite du travail, et le travail nécessite un gradient d'énergie. Dans l'entraînement, l'erreur du modèle est ce gradient, et l'optimiseur le suit. Le système refroidit d'une haute entropie vers une basse entropie, et ce en quoi il se refroidit est un modèle compressé du monde qu'il était entraîné à prédire.
Les réseaux de neurones ne s'améliorent pas graduellement et uniformément. Ils subissent des transitions de phase — des changements discontinus de capacité qui se produisent à des échelles spécifiques et à des moments spécifiques pendant l'entraînement, sans interpolation douce entre les états de chaque côté du seuil.
L'eau ne devient pas progressivement de la glace. À 0 °C, à pression standard, quelque chose change d'un seul coup. La structure moléculaire se réorganise, la chaleur latente est libérée, et les propriétés du matériau changent de façon discontinue. En dessous de la température de Curie, un ferromagnétique développe une aimantation spontanée — les moments magnétiques des atomes individuels s'alignent collectivement — et au-dessus, le matériau n'a pas de moment magnétique net. La transition est nette, dépend de l'échelle et est imprévisible depuis l'intérieur de l'une ou l'autre phase.
Les modèles de langage font la même chose. En dessous d'un certain nombre de paramètres, le modèle ne peut pas effectuer de façon fiable une arithmétique en plusieurs étapes. Au-dessus d'un seuil, la capacité apparaît et s'améliore rapidement. En dessous d'un certain budget de calcul d'entraînement, le modèle ne peut pas maintenir la coréférence sur de longs contextes. Au-dessus du seuil, la capacité est présente. Ce ne sont pas des améliorations graduelles qui deviennent significatives à un moment donné. Ce sont des transitions de phase — absentes en dessous du seuil, présentes au-dessus, avec un franchissement suffisamment net pour que des modèles dix pour cent en dessous et dix pour cent au-dessus semblent qualitativement différents sur la capacité affectée.
Des chercheurs chez Anthropic et DeepMind ont documenté des dizaines de ces transitions à travers différentes capacités, et le schéma est cohérent. Les mathématiques régissant ces transitions — la théorie de la percolation, les méthodes du groupe de renormalisation de la mécanique statistique — sont les mêmes que celles utilisées pour étudier les transitions de phase physiques. Le modèle à l'échelle critique est analogue à un matériau à sa température critique : les propriétés qui étaient absentes en dessous du seuil apparaissent toutes à la fois, pilotées par les mêmes mathématiques sous-jacentes du comportement collectif dans de grands systèmes en interaction.
Si les réseaux de neurones sont des systèmes physiques — non pas métaphoriquement mais structurellement, au sens où ils obéissent aux mêmes équations, exhibent les mêmes phénomènes et sont gouvernés par les mêmes mathématiques — alors les intuitions des physiciens sont aussi pertinentes que celles des ingénieurs pour les personnes qui les construisent.
Les physiciens pensent en termes de stabilité et d'instabilité, de lois de conservation et de brisure de symétrie, de diagrammes de phase et de points critiques, de lois d'échelle et de classes d'universalité. Ce ne sont pas des concepts décoratifs importés par analogie. Ce sont le vocabulaire technique correct pour ce qui se passe réellement quand on met à l'échelle un réseau de neurones, quand on ajuste le programme de taux d'apprentissage, quand on ajoute du momentum, quand on change le bruit dans l'estimation du gradient, quand on franchit un seuil d'échelle critique.
Ce recadrage a trois bénéfices concrets :
Une meilleure intuition diagnostique. Les courbes de perte sont des courbes d'énergie. Une perte oscillante est un système avec une viscosité insuffisante — réduire le taux d'apprentissage. Une perte qui plafonne tôt est un système piégé dans un minimum local — ajouter du bruit (plus grande variance de batch) ou du momentum pour en sortir. Le vocabulaire des modes d'échec de la physique se mappe directement sur les modes d'échec de l'optimiseur, et c'est plus précis que « l'entraînement est instable ».
De nouvelles directions de conception d'architecture. Les systèmes physiques ont des conditions de stabilité connues et des propriétés de symétrie qui contraignent leur comportement. Appliquer celles-ci à l'espace des poids — demander quelles architectures de réseau correspondent à des systèmes stables en énergie — est une direction sous-explorée. Les connexions résiduelles, par exemple, peuvent être interprétées comme des équations différentielles discrétisées ; cette interprétation a directement motivé les Neural ODEs et une classe d'architectures conçues par résolution, pas par tâtonnement.
L'apprentissage basé sur la simulation. Si un moteur physique modélise déjà les mêmes mathématiques qui régissent l'entraînement, utiliser des simulations physiques comme environnements d'entraînement — où le signal de récompense est une quantité physique, et l'agent apprend par optimisation basée sur le gradient sur le même paysage d'énergie — efface la distinction entre simuler un système et apprendre à le contrôler.
Les avancées les plus intéressantes de la prochaine décennie viendront probablement de personnes à l'aise dans les deux domaines — qui peuvent lire un article sur la théorie du groupe de renormalisation et un article sur les lois d'échelle des réseaux de neurones et voir le même problème décrit deux fois dans des vocabulaires différents.
Les réseaux de neurones ne sont pas des outils computationnels qui se comportent par hasard comme des systèmes physiques. Ce sont des systèmes dynamiques — régis par les mêmes équations, soumis aux mêmes conditions de stabilité, exhibant les mêmes transitions de phase — qui fonctionnent sur du silicium plutôt que sur de la matière. La frontière entre la physique et l'apprentissage automatique n'est pas une ligne disciplinaire. C'est un accident historique. Les mêmes équations ont toujours été des deux côtés.
Plus à lire
Les choses les plus intéressantes de l'univers n'ont jamais été conçues. Elles ont émergé.
Temps fixe, graines déterministes, monde toroïdal et hachage spatial : ce qui permet à deux mille particules de rester une expérience.
Chaque commande, quatre expériences, partage déterministe, découvertes, captures, JSON, CSV, mobile et dépannage.