La IA resuelve en 30 minutos un problema abierto desde hace 20 años; la verificación tarda 5 días

Dimitris Papailiopoulos, científico de Microsoft Research, utilizó GPT-5.6 y Claude Fable 5 para cerrar una cuestión abierta desde 2001: si el problema de detección MIMO puede resolverse mediante un algoritmo polinómico rápido siempre que sea estadísticamente posible. Los modelos afirmaron de manera independiente que no existe ninguna brecha y proporcionaron pruebas para diferentes algoritmos. Papailiopoulos eligió el algoritmo de Claude Fable —una estimación lineal gruesa con redondeo seguida de inversiones de bits codiciosas— y pidió a GPT que corrigiera su demostración, que estaba "mayormente equivocada pero rescatable". Luego pasó cinco días iterando con ambos modelos para simplificar el argumento hasta una forma verificable, rechazando cualquier paso que no pudiera seguir a pesar de permitir constantes peores. La prueba final es elemental y se basa en técnicas conocidas de la década de 2010. Sin embargo, el resultado aún no ha sido revisado por pares, y el modelo de canal idealizado implica que no mejorará los routers reales. Papailiopoulos también sugiere que los modelos destilan la intuición humana colectiva y que muchos problemas abandonados esperan soluciones similares.