Keynote – Can an AI Mathematician Be More Than Just a Black Box?

Les grands modèles de langage sont de plus en plus performants pour résoudre des problèmes mathématiques, mais lorsqu’on apprend les mathématiques, on veut plus qu’une simple solution : on veut comprendre les intuitions qui ont mené à cette solution. Celles-ci sont souvent difficiles à extraire de la sortie d’un LLM, même lorsqu’elle inclut une « chaîne de raisonnement ». Je présenterai les travaux menés par mon groupe de recherche pour améliorer cette situation.