La Machine produit des maths

Résultat d’une expérimentation en séminaire

Ce mardi 29 septembre 2026, au sein de mon laboratoire, le LaMME, un doctorant très talentueux, Félix Laplante, nous a proposé une séance de séminaire sobrement intitulée “atelier LLM”. En langage humain, cela signifie qu’il nous a partagé sa connaissance et sa pratique des outils d’IA pour la recherche en mathématiques.

En amont de ce séminaire, j’ai partagé avec lui un problème ouvert de mon domaine de recherche. Il concerne la découverte d’une borne théorique sur complexité de l’algorithm FPOP. J’en dirai plus un peu plus loin.

En collaboration avec Hugo Henneusse.