Présentation
L'utilisation d'agents de codage modernes pour créer et enseigner les mathématiques est un sujet qui intéresse Terry Tao depuis 1999. À cette époque, il avait codé plusieurs applets en Java 1.0 pour visualiser des objets mathématiques tels que des honeycombs ou des ensembles de Besicovitch. Cependant, ces applets sont devenus obsolètes en raison de l'évolution des standards pour les pages web.
Migration et modernisation
Récemment, Terry Tao a migré ses anciennes données de page web et de blog vers un référentiel plus maintenable en utilisant l'assistance de l'IA. Il a demandé à l'agent de moderniser ses anciens applets en les portant vers un langage supporté (Javascript), ce qui a été réalisé en quelques heures. Les applets sont maintenant fonctionnels à nouveau, avec même quelques améliorations graphiques.
Fonctionnement et analyse
Les agents de codage basés sur les modèles de langage (LLM) peuvent introduire des bogues dans leur code, mais dans le cas de la migration de ces applets, seul un bogue mineur a été trouvé. L'agent a même identifié deux bogues dans le code d'origine qui n'avaient pas été détectés. Le processus de migration a été suffisamment simple pour que Terry Tao décide de créer de nouveaux applets, notamment un outil de visualisation pour la relativité restreinte et un outil de visualisation pour la conjecture de Gilbreath.
Implications et limites
Les résultats de cette expérience sont prometteurs, mais il est important de noter que les bogues introduits par les agents de codage LLM peuvent avoir des conséquences importantes dans des applications critiques. Cependant, pour des outils de visualisation secondaires, le risque est relativement faible. Les agents de codage modernes offrent des possibilités intéressantes pour la création d'outils de visualisation interactifs pour accompagner les articles de recherche et les cours en ligne.
