Une annonce inattendue agite le monde des mathématiques : selon les éléments rapportés, un chercheur lié à Harvard et à Anthropic, Levent Alpöge, a révélé qu’un modèle d’intelligence artificielle nommé Fable 5 avait permis de faire tomber un problème ouvert depuis 87 ans. Le point central de cette avancée serait un contre-exemple extrêmement court, long de seulement 216 caractères.
L’information a émergé au moment où l’attention du public était tournée vers une finale de Coupe du monde entre l’Espagne et l’Argentine. Dans un message publié sur X, le mathématicien a signalé ce résultat, présenté comme une remise en cause de la conjecture de Jacobi. Si la formulation est brève, ses implications sont potentiellement majeures pour la recherche mathématique.
Ce qui frappe le plus les observateurs, c’est la compacité du contre-exemple. En mathématiques, trouver un simple cas qui invalide une conjecture suffit à bouleverser des décennies de travail théorique. Le fait qu’une IA soit associée à une telle découverte renforce aussi le débat sur le rôle que peuvent jouer ces systèmes dans la production de résultats scientifiques de haut niveau.
La réaction de la communauté oscille pour l’instant entre enthousiasme et prudence. D’un côté, la perspective qu’une IA contribue à résoudre une question ancienne semble marquer un tournant. De l’autre, un résultat de cette nature doit être vérifié avec soin avant d’être pleinement accepté. Cette annonce illustre déjà à quel point l’IA est en train de prendre une place nouvelle dans la recherche fondamentale.
