Terence Tao lance le « Math 2.0 » : l’IA doit approfondir, et non remplacer, la compréhension mathématique

Terence Tao a donné une conférence majeure au Caltech sur les mathématiques à l’ère de l’IA et publié ses diapositives

Matériel de la conférence Math 2.0

Il a intitulé cette intervention « Math 2.0 », bien qu’il ait initialement prévu, en mai dernier, de la présenter sous le titre « Preuve assistée par machine ». Tao lui-même note que le contenu a considérablement évolué « en raison d’événements récents ».

L’idée centrale est la suivante : les mathématiques reposaient depuis longtemps sur l’hypothèse que résoudre un problème ouvert est extrêmement difficile et rare. Autour de ce postulat se sont développées des institutions, des incitations professionnelles et des traditions. En réalité, la résolution de problèmes n’est qu’un indicateur proxy ; l’objectif plus large de la science est l’exploration, la découverte de nouveaux problèmes et la compréhension de la manière d’appliquer les solutions dans le monde réel.

Cet indicateur proxy fonctionnait autrefois parce qu’en résolvant des problèmes, les mathématiciens accumulaient expérience et compréhension. Aujourd’hui, selon Tao, une optimisation aveugle supplémentaire de la seule résolution de problèmes est « activement nuisible à la santé à long terme des mathématiques ».

Si l’IA produit simplement des solutions en contournant les humains, elle stérilise le champ autour du problème : les pistes non explorées restent inexplorées, le cycle devient non renouvelable, la compréhension ne s’accumule pas, et la part des solutions qui « fonctionnent sur le papier » mais divergent des besoins réels du monde augmente.

Tao propose une expérience de pensée : si l’IA inventait un cocktail capable de tuer toutes les cellules cancéreuses, validé même par des essais cliniques de phase III, accepteriez-vous de l’injecter sans savoir qu’au moins un expert humain comprend son mécanisme ?

En guise de solution, Tao propose de déplacer le focus de la destruction des problèmes ouverts vers l’utilisation de l’IA pour renforcer la compréhension humaine. C’est ce qu’il appelle le « Math 2.0 ». L’IA peut véritablement accélérer les progrès si elle cherche des explications et de nouveaux principes, et explore les voisinages des hypothèses, plutôt que de se limiter à générer des preuves. Il s’agit d’un vaste domaine inexploité, et Tao affirme que la principale limitation n’est plus technologique, mais relève de l’imagination.