Quand l'IA tue la poésie... mathématique

L'IA fait bien des malheureux ces jours-ci – parlez-en à Thélyson Orélien. Mais même les mathématiciens entretiennent des récriminations. Pourquoi sont-ils aussi mécontents, ceux-là ? C'est la question que je me suis posée en voyant des mathématiciens du monde entier s'insurger devant un exploit récent : l'entreprise d'intelligence artificielle OpenAI est parvenue à résoudre en moins de quatre jours un problème mathématique vieux de près d'un siècle. Pour tenter de comprendre, j'ai lu les récriminations qu'ils ont publiées et j'ai parlé à deux mathématiciens d'ici.