Formaliser les découvertes en physique

LLéna

Les auteurs d’un article déposé sur arXiv examinent le rôle de l’intelligence artificielle et de la formalisation dans la recherche en physique. Ils posent une question centrale : comment vérifier, puis réutiliser, les résultats obtenus avec l’aide de l’intelligence artificielle, en physique théorique comme en physique computationnelle ? Les auteurs défendent la formalisation comme une couche essentielle pour les découvertes assistées par l’intelligence artificielle. Leur article présente son rôle dans les deux branches de la physique : la théorie, qui étudie des modèles et des lois, et la physique computationnelle, qui s’appuie sur le calcul informatique. L’idée est de donner aux résultats une forme qui permette de les vérifier et de les reprendre, plutôt que de s’en tenir à leur énoncé. Les auteurs expliquent que l’intelligence artificielle facilite la formalisation en physique et peut la rendre plus efficace. Elle est toutefois moins performante pour choisir les définitions et concevoir ces bibliothèques que pour rédiger des preuves. Cette différence compte : produire une preuve n’est pas la même tâche que décider quelles définitions employer ou comment organiser les outils communs. Selon les auteurs, la formalisation est donc un élément essentiel des découvertes assistées par l’intelligence artificielle, mais ses différentes étapes ne sont pas également bien prises en charge par les systèmes actuels. La prudence porte aussi sur ce que signifie une vérification. Une preuve contrôlée dans un cadre formel valide un raisonnement selon les définitions retenues ; elle ne garantit pas, à elle seule, que ces définitions représentent fidèlement la physique visée. C’est la limite à garder en tête : la formalisation peut aider à vérifier et à réutiliser des résultats, mais le choix des concepts reste déterminant.