L’IA résout un problème ouvert vieux de 20 ans en 30 minutes ; la vérification prend 5 jours

Dimitris Papailiopoulos, un scientifique de Microsoft Research, a utilisé GPT-5.6 et Claude Fable 5 pour résoudre une question ouverte depuis 2001 : savoir si le problème de détection MIMO peut être résolu par un algorithme polynomial rapide partout où cela est statistiquement possible. Les modèles ont indépendamment affirmé qu'il n'existe aucun écart et ont fourni des preuves pour différents algorithmes. Papailiopoulos a choisi l'algorithme de Claude Fable — une estimation linéaire grossière avec arrondi suivie de basculements de bits gourmands — et a demandé à GPT de corriger sa preuve, qui était « en grande partie fausse mais récupérable ». Il a ensuite passé cinq jours à itérer avec les deux modèles pour simplifier l'argument en une forme vérifiable, rejetant toute étape qu'il ne pouvait pas suivre, même en acceptant des constantes moins bonnes. La preuve finale est élémentaire, s'appuyant sur des techniques connues des années 2010. Cependant, le résultat n'a pas encore été évalué par les pairs, et le modèle de canal idéalisé signifie qu'il n'améliorera pas les routeurs réels. Papailiopoulos suggère également que les modèles distillent l'intuition humaine collective et que de nombreux problèmes abandonnés attendent des solutions similaires.