Trois physiciens théoriques mobilisent Claude et GPT

Trois physiciens de premier plan ont récemment reconnu dans leurs prépublications scientifiques l’usage de modèles d’IA pour travailler sur un problème central de physique théorique. Edward Witten, chercheur majeur en théorie des cordes et en physique mathématique, a récemment mis en ligne sur arXiv un article consacré à la définition sur réseau de théories de jauge contenant des fermions chiraux. Il indique que Claude Opus 5.5, développé par Anthropic, lui a proposé une construction mathématique permettant de mieux raccorder les informations d’une maille à la suivante et de simplifier une extension complexe. Witten ajoute que le modèle l’a aussi aidé sur de nombreux détails techniques. En juin, il avait déjà mentionné Claude Opus 4.8 pour avoir étendu un calcul à des cas plus généraux. Le sujet porte sur une difficulté connue: simuler sur ordinateur, à l’aide de réseaux représentant un espace-temps discrétisé, des particules présentant une propriété de chiralité, assimilable à une orientation gauche ou droite. La mise sur grille peut engendrer un phénomène de duplication des fermions, un obstacle mis en évidence en 1981 par une limitation théorique. Witten propose de placer d’abord les champs de jauge sur le réseau, puis de les prolonger dans le continu pour les combiner aux fermions chiraux. L’IA intervient précisément dans la conception des règles de prolongement. Le mouvement ne concerne pas Witten seul. Le 6 octobre, Nathaniel Craig a publié sur arXiv un travail connexe sur la description des fermions chiraux. Il écrit que GPT-6 Astra, modèle d’OpenAI, a été essentiel au résultat. Selon lui, l’IA a contribué à plusieurs parties de la démonstration, ensuite révisées par l’auteur. Craig a aussi recouru à Lean, un outil de vérification formelle, pour transformer les calculs en objets inspectables par un ordinateur et repérer d’éventuelles erreurs. Peu après, Stephen D. H. Hsu a déposé un article adoptant une voie différente: traiter certains champs sur réseau tout en gardant d’autres grandeurs dans le continu. Il précise avoir largement utilisé GPT et Claude, surtout pour des éléments techniques des annexes, en restant responsable du contenu scientifique. Le 6 novembre, il a indiqué sur X avoir échangé avec Witten: leurs approches sont proches, mais lui s’appuie davantage sur GPT pour produire les développements, tandis que Claude sert surtout à vérifier et chercher des erreurs. Il estime que les modèles les plus faibles peuvent utilement détecter des problèmes avant qu’un modèle plus performant ne tranche. Ces travaux suscitent une discussion sur la place de l’IA dans la recherche. Le mathématicien Peter Woit y voit un encouragement, car des IA aident des scientifiques de haut niveau dans des tâches techniques, mais il rappelle que ces résultats restent des avancées partielles dans un programme déjà existant. Le physicien Matt Strassler souligne que des textes très denses, dont un dépasse la centaine de pages, rendent la compréhension humaine et la revue par les pairs plus coûteuses, même lorsque l’auteur a présenté le matériel de façon lisible. Les trois prépublications n’ont pas encore reçu l’approbation complète de la communauté. Leur portée principale tient donc surtout au changement de méthode: l’IA est passée, dans certains laboratoires de pointe, du statut d’outil d’écriture à celui d’auxiliaire de recherche mathématique, capable de proposer des constructions, de générer des calculs et d’assister la vérification, au risque de déplacer l’effort vers la validation.