Le Caltech Mathathon, qui se tiendra les 30 et 31 octobre 2026, sera le premier hackathon consacré aux mathématiques de niveau recherche. Cent équipes utiliseront des modèles d'IA de pointe pour résoudre des conjectures ouvertes et construire de nouvelles théories mathématiques, puis défendront leurs résultats devant des mathématiciens de premier plan. L'IA a récemment réalisé des progrès révolutionnaires en mathématiques pures, notamment en réfutant la conjecture de distance unitaire planaire d'Erdos (ouverte depuis 80 ans), en construisant le premier groupe non-sofic explicite (ouvert depuis 27 ans), et en montrant que la six-sphère admet une structure complexe (ouverte depuis 78 ans).

Ces avancées soulèvent des questions sur la manière dont l'IA peut accélérer la découverte mathématique et sur le rôle qui reste aux mathématiciens humains. Les participants recevront plus de 2 millions de dollars de crédits IA pour s'attaquer à des problèmes ouverts sur 40 heures. Des prix seront décernés pour les résultats les plus prometteurs, avec une seconde ronde après vérification communautaire.

L'événement aborde des questions fondamentales sur l'impact de l'IA sur la recherche et la collaboration mathématiques.