Alain Busser est agrégé de mathématiques mais enseigne l'informatique en lycée. Il est animateur IREM, notamment sur l'épistémologie, Python et les jeux mathématiques. Il est également développeur logiciel, notamment comme créateur du langage de programmation Sofus. L’auteur raconte comment il a demandé à une IA générative d’analyser le jeu Alquerkonane, en lui fournissant les règles rédigées par des élèves, afin d’obtenir une stratégie gagnante.
Les réponses produites par l’IA se révèlent fantaisistes : elle confond le jeu avec d’autres (dames chinoises, Alquerke), invente des éléments inexistants et affirme des résultats mathématiques sans justification. Même lorsqu’il pose des questions plus précises, l’IA persiste à répondre à côté, ignorant par exemple que le jeu Konane est démontré Turing complet. Cette expérience met en lumière les limites des modèles génératifs pour raisonner sur des objets mathématiques précis. L’auteur y voit une confirmation des réflexions de Leibniz sur l’imperfection du langage pour transmettre des idées mathématiques.