Retour d'expérience sur l'utilisation de l'IA pour prouver des résultats sur les sommes d'Euler

David H. Bailey documente son expérience pratique de l'utilisation de chatbots IA pour tenter de prouver des identités mathématiques portant sur les sommes d'Euler. L'étude évalue les capacités et les limites actuelles des LLMs face à des raisonnements formels avancés. Les résultats mettent en lumière à la fois les apports et les lacunes persistantes de ces outils pour la recherche mathématique rigoureuse.