On pensait que l'IA devrait d'abord aider les mathématiciens à prouver des théorèmes, mais Terence Tao lui a confié sa vieille page web vieille de 30 ans. En une journée, 560 articles et prépublications ont été déplacés, et elle a même découvert deux bugs dans son ancien code écrit il y a plus de vingt ans, qu'il ignorait totalement.
Site créé en 1997, où modifier une ligne nécessitait d'ouvrir un terminal et de taper du HTML à la main, une maintenance qui a duré près de trente ans.
Récemment, Terence Tao a confié sa page personnelle à un agent intelligent IA.
En seulement un jour, 560 articles et prépublications, 374 enregistrements de voyages, 68 cours, 19 livres et 29 petits programmes mathématiques ont été extraits en masse d'une architecture vieille de près de 30 ans pour trouver un nouveau foyer sur GitHub Pages.
Ce qui est plus intéressant que le déménagement, ce sont les découvertes faites en chemin.
L'IA a déterré, dans l'ancien site vieux de près de trente ans, une série d'informations contradictoires, d'entrées obsolètes et de liens morts. Ces erreurs, c'est lui-même qui les avait laissées s'accumuler petit à petit sur trente ans.
Elle a aussi pris le temps de migrer ces vieux petits programmes écrits en Java 1.0 vers JavaScript, et a trouvé, dans le code écrit de sa propre main par Terence Tao il y a plus de vingt ans, deux bugs dont il n'avait jamais eu connaissance.
Cette fois, l'IA n'est pas allée prouver des théorèmes. Ce qu'elle a fait pour le mathématicien, c'est le « ménage numérique » qu'ils détestent le plus.
Une architecture vieille de près de 30 ans, il a tenu jusqu'en 2026
La page d'accueil de Terence Tao a été créée en 1997. À l'époque, il était encore professeur assistant Hedrick à UCLA, et sa page affichait une longue liste de liens externes triés à la main, allant du groupe de discussion sci.math à sa série préférée, « La Roue du Temps ».
Du Web 1.0 standard. Une page, un thème, un écran plein de liens textuels, entretenus entièrement à la main.
Le 21 mai 1997, Terence Tao, alors professeur assistant, et sa page d'accueil fraîchement créée.
Depuis près de trente ans, cette architecture n'a plus jamais changé.
Terence Tao n'a cessé d'y ajouter des choses : des pages de détails pour plus de trois cents articles, des enregistrements d'enseignement, des agendas de voyage, un CV, des errata de livres. La méthode est toujours restée la même : modifier page par page, puis téléverser manuellement, en tapant à la main avec vi dans son compte Unix au début.
Le seul compromis qu'il a fait avec le XXIe siècle a été d'utiliser un éditeur web moderne pour générer le HTML, au prix d'un code bien plus lourd que la version qu'il tapait à la main à l'époque.
Le contenu a augmenté de manière linéaire, mais le coût de maintenance a été exponentiel. En chemin, il a déplacé les pages de livres et les conseils professionnels vers un blog, ce qui a apporté un léger soulagement, mais le processus restait maladroit.
Lorsque le contenu s'est accumulé, le coût des modifications est également devenu de plus en plus élevé, atteignant un point critique où l'on commence à tolérer que ces erreurs restent en place.
Ces petits programmes Java sont morts encore plus définitivement. Les navigateurs ont abandonné Java 1.0, et il n'avait pas la force, à lui seul, de migrer une vingtaine de programmes vers un nouveau langage. Les pages sont donc restées telles quelles, pendant dix ans.
Le YAML est la vérité, la page web n'est qu'une « impression »
Terence Tao dit qu'il a récemment réalisé : avec un agent intelligent IA, migrer ce vieux système de près de trente ans aurait dû être une routine.
Ensuite, il a essayé. Le processus a été « assez indolore », a-t-il déclaré.
La clé est qu'il n'a pas demandé à l'IA de réécrire un tas de HTML, mais de reconstruire un pipeline de données.
Ce nouveau dépôt s'appelle tao-web, et sa logique est similaire à celle d'une imprimerie.
Le manuscrit de base est le YAML dans le répertoire data, avec un dossier pour chacun des huit types de contenu ; le schéma (schema) gère le format, en spécifiant à quoi chaque champ devrait ressembler.
Deux scripts Python, un pour vérifier la marchandise et un pour imprimer. Si la vérification échoue, le code ne peut tout simplement pas être poussé. Les pages web imprimées sont placées dans le répertoire site, hors du contrôle de version.
Une dernière poussée sur la branche principale, et GitHub Actions vérifie automatiquement, imprime et publie.
Le dépôt tao-web. Le README indique clairement : le YAML est la seule source de vérité, les pages web sont générées. (Source : GitHub teorth/tao-web)
Une phrase dans le README du dépôt soutient toute l'architecture : le YAML est la seule source de vérité, les pages web sont générées.
Elle est suivie d'une règle opérationnelle : modifiez les données, ne modifiez jamais le HTML généré dans le répertoire site.
Dans l'ancien système, chaque page était un fait indépendant. La même information dispersée sur cinq pages, si on en oublie une, elles commencent à se « battre ».
Dans le nouveau système, le fait n'existe qu'en un seul exemplaire. La page web est rétrogradée au niveau de la couche d'affichage, comme une feuille de papier qu'on peut réimprimer à tout moment.
Ainsi, la base de connaissances d'une personne est passée d'un tas de documents à une base de données.
L'IA a déniché deux bugs dans son vieux code
Après avoir migré les données, Terence Tao a mené une seconde expérience.
À partir de 1999, pour créer des visualisations pour ses cours d'analyse complexe et d'algèbre linéaire, il a écrit une série de petits programmes en Java 1.0. À l'époque, ils étaient bien reçus.
Plus tard, les navigateurs n'ont plus supporté cette version de Java, et tous ces programmes sont devenus obsolètes.
Maintenant, il a demandé à l'agent intelligent de les migrer vers JavaScript. Une vingtaine de petits programmes, quelques heures, tous ressuscités.
Les grands modèles de langage produisent du code avec toutes sortes de bugs évidents ou cachés. Dans cette migration des petits programmes, Terence Tao n'en a trouvé qu'un : un petit programme d'analyse complexe se comportait bizarrement lorsqu'on le faisait glisser hors du cadre d'affichage principal.
À l'inverse, l'agent intelligent a trouvé, dans son code original, deux bugs dont il n'avait jamais eu conscience.
Un pour un, son jugement est : la qualité du code s'est équilibrée.
Un lauréat de la médaille Fields, dont l'IA a déniché deux erreurs dans son code écrit il y a plus de vingt ans.
Il a immédiatement établi une frontière à cette conclusion : ces petits programmes sont des outils visuels auxiliaires, ils ne font pas partie intégrante des démonstrations mathématiques, et les conséquences d'un bug sont donc de faible risque.
Un glissement hors du cadre, l'utilisateur le remarque tout seul. Mais une erreur dans une démonstration, c'est un accident professionnel.
Cette frontière est précisément la clé de la méthodologie de Terence Tao.
Le programme d'analyse complexe était à l'origine écrit en Java par Terence Tao entre 1998 et 2000. Aujourd'hui, chacun est accompagné de la mention : migré avec l'assistance de Claude Code. (Source : teorth.github.io/tao-web)
Les erreurs ne sont pas terribles, c'est l'impossibilité de les corriger qui l'est
Terence Tao n'a pas éludé le problème des hallucinations.
Il a clairement dit que l'IA moderne a toujours tendance à halluciner et qu'il est possible que de nouvelles erreurs aient été introduites lors de la migration.
Mais après vérification de sa part, le taux d'erreur actuel « semble effectivement plus bas qu'avant ». Et surtout, il est devenu beaucoup plus facile de corriger les erreurs à grande échelle.
Bien sûr, c'est son impression après une revue manuelle, pas un chiffre obtenu après des tests.
Terence Tao ne compare pas l'IA à la « perfection », mais compare « l'IA plus une revue humaine » à sa propre « maintenance purement manuelle pendant trente ans ».
La maintenance manuelle est elle-même une machine à produire des erreurs en continu, sauf qu'elle en a produit pendant trente ans sans que personne n'ait l'énergie de les vérifier.
La plupart des débats sur l'IA se bloquent sur la seule question : « Est-ce qu'elle se trompe ? » Terence Tao évalue principalement qui a le taux d'erreur le plus bas et le coût de correction le plus faible.
Les erreurs accumulées ne sont pas terribles, ce qui est terrible, c'est de ne pas pouvoir les corriger. Sur l'ancien site, modifier une information nécessitait de fouiller cinq pages. Sur le nouveau site, modifier une ligne de YAML reconstruit automatiquement tout le site.
Une idée mise de côté pendant 27 ans, réalisée en deux heures
Après avoir migré les vieux programmes, il a décidé d'aller un peu plus loin.
En 1999, il avait eu une idée ambitieuse : créer un outil de visualisation pour la relativité restreinte.
Il voulait une sorte de tableau de dessin pour la relativité : on place une trajectoire de mouvement, on change le point de vue de l'observateur, et tout le graphique se déforme selon les règles de la relativité. Pour reprendre ses mots, un « Inkscape dans l'espace de Minkowski ».
Il avait même commencé à écrire du code Java, mais a finalement été découragé par la complexité du code, et le projet a été abandonné.
Il a « vibe codé » avec un agent intelligent pendant deux heures, et cette idée de 1999 a été réalisée.
Le 11 juillet, ce simulateur de diagramme espace-temps a été mis en ligne, devenant la première application originale sur le nouveau site. Il précise lui-même qu'il s'agit encore d'une version alpha.
Le simulateur de diagramme espace-temps, conçu en 1999 et mis en ligne 27 ans plus tard. Un même voyage interstellaire, dessiné selon deux référentiels différents (gauche/droite). (Source : teorth.github.io/tao-web)
Ce qui l'avait arrêté à l'époque n'était pas les mathématiques, mais la complexité du code. Vingt-sept ans plus tard, cette pièce manquante a été ajoutée.
Terence Tao a donné un commentaire final à toute cette affaire.
Il a dit que la maintenance d'un site web est probablement l'un des aspects les moins glamours et les moins excitants du flux de travail académique. Et ce sont précisément ces tâches routinières et fastidieuses qui se prêtent particulièrement bien aux plateformes modernes, comme GitHub, et aux outils d'automatisation, parmi lesquels on trouve à la fois l'IA moderne et les scripts déterministes traditionnels.
Combien de laboratoires, de revues, d'institutions de recherche sont encore encombrés par des décennies de HTML, d'Excel et de répertoires locaux. Le premier travail réaliste des agents intelligents pourrait bien être celui d'ingénieur de migration pour ces « actifs numériques ».
Bien sûr, cela prouve que l'IA est adaptée à la migration de données, à leur structuration et à la maintenance automatisée, mais cela ne signifie pas pour autant qu'elle peut déjà traiter de manière fiable toutes les données académiques, encore moins que la vérification humaine peut être supprimée.
Ce qui est réellement changé, c'est la relation entre un mathématicien et ses trente années d'accumulation : autrefois, il devait lui-même entretenir et gérer ces accumulations ; aujourd'hui, il est une personne qui valide en dernier ressort.
Références :
https://mathstodon.xyz/@tao/116893088594916122
https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/
https://github.com/teorth/tao-web
https://teorth.github.io/tao-web/https://news.ycombinator.com/item?id=48880170
Cet article provient du compte WeChat public « 新智元 » (Nouvelle Intelligence), auteur : ASI启示录
