Mathathon de Caltech : l'IA au service des mathématiques

Une coalition de mathématiciens du Caltech a annoncé une refonte majeure de l'événement Mathathon, qui se tiendra les 13, 14 et 15 novembre. Cette restructuration fait suite à un échange approfondi au sein de la communauté académique, aboutissant à un nouveau thème : Anciens problèmes, nouvelles preuves. L'objectif affiché est de recentrer l'IA sur l'approfondissement de la compréhension mathématique plutôt que sur la simple résolution de défis non résolus. Le format a été repensé pour privilégier la pédagogie et l'exposition. Les participants disposeront de quarante heures pour se plonger dans un problème mathématique dont la preuve traditionnelle est complexe ou peu intuitive. Ils auront ensuite deux mois pour rédiger une démonstration alternative ou une explication accessible. La restitution prendra la forme d'un document, d'une vidéo, d'un jeu interactif ou d'un autre support, accompagné d'un dépôt sur la plateforme GitHub. Cet espace technique devra documenter l'ensemble des outils utilisés, y compris les historiques de conversation avec les grands modèles de langage, afin de garantir une transparence totale sur le rôle de l'intelligence artificielle. Contrairement aux éditions précédentes, le soutien des éditeurs de modèles IA propriétaires a été supprimé. Les organisateurs offrent désormais une subvention aux participants pour qu'ils acquièrent eux-mêmes les ressources nécessaires, qu'il s'agisse de crédits de calcul, de licences logicielles ou de papier et crayon. L'usage des modèles fermés est toléré, mais l'initiative encourage spécifiquement le recours aux solutions open source. La Foundation for Science and AI Research (SAIR) soutiendra cette orientation en fournissant la puissance de calcul, en organisant des ateliers et en décernant des récompenses aux équipes privilégiant les outils libres. Le principal mécène de cet écosystème, XTX Markets, y a apporté un soutien financier significatif. Les organisateurs insistent sur le fait que la résolution de problèmes ne constitue qu'une fraction du travail mathématique. La généralisation des théorèmes, l'invention de nouvelles notations et la clarification des démonstrations sont des activités tout aussi fondamentales. En traitant l'IA comme un outil d'aide et non comme un substitut, Mathathon vise à explorer comment les technologies génératives peuvent renforcer l'apprentissage et la transmission des connaissances. Le succès de cette édition servira de base à la réflexion sur l'intégration future de l'IA dans la recherche, la révision par les pairs et l'enseignement universitaire. Cet événement rassemblera un panel diversifié de juges et de candidats, allant des étudiants aux chercheurs établis, et couvrant un large spectre d'opinions sur l'intelligence artificielle. Plutôt que de proposer une réponse définitive, les créateurs présentent Mathathon comme un premier projet expérimental. L'ambition est de démontrer que, placée au service de l'humain et d'une communauté scientifique unie, l'IA peut accélérer les avancées conceptuelles tout en préservant la rigueur et la clarté au cœur des mathématiques.