Imagina a un chef que dedica cuarenta años a perfeccionar una salsa insignia, convencido de que el equilibrio entre acidez y grasa es matemáticamente perfecto. De pronto, un adolescente entra en la cocina, prueba una sola cucharada y señala que si añades exactamente tres granos de una sal concreta, toda la estructura del sabor se desploma. El adolescente no ha reescrito el libro de cocina ni ha inventado una nueva forma de cocinar; simplemente ha dado con esa única variable específica que rompe la regla.
OpenAI acaba de hacer el equivalente matemático. Según su reciente anuncio, uno de sus modelos ha refutado una conjetura central en geometría discreta. Para quienes no pasan los fines de semana pensando en las propiedades de los conjuntos discretos, esto significa esencialmente que el modelo ha dado con un contraejemplo: un caso concreto donde una creencia matemática largamente mantenida simplemente deja de ser válida. Puedes leer los detalles del hallazgo aquí.
Es un despliegue de fuerza impresionante. Mientras la mayoría sigue intentando que los LLM dejen de alucinar con la cantidad de 'r's en la palabra 'strawberry', este modelo anda por ahí desmantelando conjeturas de geometría. Esto sugiere que la cadena de razonamiento al estilo o1 —ese monólogo interno donde el modelo itera y revisa su propio trabajo— es capaz de ese tipo de búsqueda rigurosa e iterativa que normalmente exige un doctorado y una pizarra carísima. Es una señal clara de que la fase de «razonamiento» de la IA está superando los simples acertijos lógicos para adentrarse en el territorio del descubrimiento real.
Pero aquí es donde debemos tener cuidado. Encontrar un contraejemplo es fundamentalmente distinto de demostrar un teorema. En matemáticas, una demostración es un puente lógico que une una premisa con una conclusión con certeza absoluta. Un contraejemplo, en cambio, es un problema de búsqueda. Consiste en escudriñar un espacio masivo de posibilidades hasta dar con esa única excepción extraña que rompe la regla.
¿Se trata de una verdadera intuición matemática o simplemente de una forma cara de jugar a un juego multidimensional de «adivina el número»? (Sospecho que la factura de cómputo para esta búsqueda concreta fue desorbitada).
Con suficiente potencia de cómputo y una heurística razonablemente eficiente, puedes acabar topar con la excepción. Es parecido a cómo se resolvió finalmente el Teorema de los cuatro colores: no con un humano frente a una pizarra, sino con un ordenador revisando cada configuración posible de un mapa. El modelo no «entendió» por qué la conjetura era errónea como lo haría un matemático humano; simplemente encontró la pieza que no encajaba. Es, en esencia, una búsqueda de la excepción a la regla a velocidad extrema.
Esto genera una fricción extraña a la hora de valorar la «inteligencia» de la IA. Queremos creer que el modelo está pensando, pero lo más probable es que solo sea un filtro increíblemente eficiente. Puede descartar millones de callejones sin salida más rápido que cualquier humano, dejando atrás ese único punto de datos que importa. ¿Lo convierte esto en un matemático? No exactamente. Lo convierte en un auditor de clase mundial.
Es un motor de búsqueda de casos límite con un bonito disfraz.
La verdadera consecuencia aquí no es el problema de geometría concreto que se haya resuelto, sino la toma de conciencia de que el «espacio de búsqueda» del conocimiento humano se está indexando ahora mediante fuerza bruta y heurísticas ingeniosas. Estamos entrando en una era en la que los problemas «intratables» son en realidad problemas «demasiado caros de buscar». Una vez que el coste de los tokens y las horas de GPU baje lo suficiente, cualquier conjetura que pueda refutarse con un contraejemplo finito estará, en la práctica, ya muerta.
Para el tercer trimestre del próximo año, este método concreto de búsqueda automatizada de contraejemplos se utilizará para invalidar al menos otras tres conjeturas de larga data en la teoría de grafos.
Seguiremos necesitando al matemático humano para explicar por qué existe el contraejemplo y qué implica para el resto del campo. Pero el acto del descubrimiento —el momento del «¡Eureka!»— se está externalizando a una caja negra que ni siquiera sabe lo que es una forma. Solo sabe cómo seguir adivinando hasta ganar.
