El problema del grafo 99 de Conway lleva d\u00e9cadas resistiendo a los mejores matem\u00e1ticos y cient\u00edficos de la computaci\u00f3n. La pregunta es aparentemente simple: \u00bfexiste un grafo fuertemente regular con par\u00e1metros srg(99,14,1,2)? Es decir, un grafo de 99 v\u00e9rtices donde cada v\u00e9rtice tiene 14 vecinos, dos v\u00e9rtices adyacentes comparten exactamente un vecino com\u00fan (\u03bb=1) y dos no adyacentes comparten exactamente dos (\u03bc=2).\n\nUn nuevo preprint en arXiv (2608.11211) revela que un agente de investigaci\u00f3n aut\u00f3nomo basado en IA ha realizado un ataque sistem\u00e1tico y totalmente reproducible contra este problema abierto, obteniendo la mejor cota verificada hasta la fecha: un 69,43% de las restricciones satisfechas, muy por encima del 68% que se lograba con grafos circulantas cl\u00e1sicos.\n\nLa contribuci\u00f3n m\u00e1s profunda no es solo el n\u00famero, sino la metodolog\u00eda. El agente ha demostrado exhaustivamente que ning\u00fan grafo circulant en el grupo cíclico Z/99 \u2014ni en el otro grupo abeliano de orden 99\u2014 puede superar el 68% de satisfacci\u00f3n (33 de 49 clases de diferencia). Esto cierra definitivamente una l\u00ednea de ataque cl\u00e1sica y obliga a buscar estructuras no abelianas.\n\nEl avance clave es una \u201creducci\u00f3n de estructura forzada\u201d. Aprovechando que \u03bb=1 convierte el vecindario de cada v\u00e9rtice en un emparejamiento perfecto (7 aristas disjuntas entre 14 v\u00e9rtices) y que \u03bc=2 pone a los 84 v\u00e9rtices externos en biyecci\u00f3n con las 84 parejas de vecinos no emparejadas, el problema colapsa a la existencia de un grafo 12-regular sobre 84 v\u00e9rtices. Esta instancias se codifica para CP-SAT (programaci\u00f3n de restricciones con SAT), un solver moderno que combina razonamiento booleano y propagaci\u00f3n de restricciones.\n\nLa validaci\u00f3n del marco es rigurosa: el mismo pipeline recupera el \u00fanico srg(9,4,1,2) conocido y el grafo de Paley srg(13,6,2,3), probando que la codificaci\u00f3n y el marco de \u00f3rbitas con automorfismos prescritos (acciones sin puntos fijos y con un \u00fanico punto fijo) son correctos.\n\nLo m\u00e1s intrigante es la convergencia: catorce m\u00e9todos distintos \u2014heur\u00edsticas, b\u00fasquedas locales, relajaciones SDP, enfoques algebraicos\u2014 ning\u00fano supera el 69,43%. Los autores argumentan que esta frontera es \u201crobusta\u201d y est\u00e1 \u201centrelazada\u201d con la pregunta de existencia: cualquier cota demostrable por debajo de 4.950 (el total de pares de v\u00e9rtices) constituir\u00eda una prueba de no existencia.\n\nPara la comunidad de IA, este trabajo es un caso de estudio de \u201cIA para matem\u00e1ticas\u201d (AI for Math) donde el agente no solo sugiere conjeturas, sino que ejecuta un pipeline completo de prueba formal, reducci\u00f3n combinatoria, codificaci\u00f3n para solvers y validaci\u00f3n cruzada. La reproducibilidad total \u2014c\u00f3digo, artefactos y trazas de ejecuci\u00f3n\u2014 eleva el est\u00e1ndar frente a resultados previos de \u201cscoperta asistida por IA\u201d dif\u00edciles de auditar.\n\nEl grafo 99 de Conway sigue sin resolverse, pero la frontera se ha movido. Si existe, debe ser no abeliano y escapar a las 14 t\u00e9cnicas que han topado en el mismo techo. Si no existe, la prueba de no existencia podr\u00eda emerger de refinar esta misma arquitectura CP-SAT o de una nueva idea te\u00f3rica que explique por qu\u00e9 el 69,43% es un muro infranqueable. De cualquier forma, la demostraci\u00f3n de que un agente aut\u00f3nomo puede orquestar este nivel de razonamiento matem\u00e1tico estructurado marca un hito en la investigaci\u00f3n automatizada.