Una IA refuta una conjetura matemática que llevaba décadas sin resolver
Un modelo de inteligencia artificial ha refutado una conjetura matemática que llevaba décadas sin resolver en geometría discreta. El hallazgo, publicado el 22 de mayo, ha vuelto a agitar una pregunta que no tiene respuesta fácil: si la IA ya puede hacer matemáticas de verdad, qué papel le queda al investigador humano.
La geometría discreta no suena a gran cosa hasta que te asomas a sus problemas. Estudia cómo se organizan objetos geométricos discretos: puntos, líneas, poliedros. Sus conjeturas suelen enunciarse en dos frases. Llevan décadas sin respuesta.
Quien lo consiguió fue un modelo de OpenAI. La compañía lo publicó en su sección de investigación básica. Nada que ver con sus aplicaciones comerciales más conocidas. Según sus propias palabras, demuestra que la IA ya puede contribuir al conocimiento científico sin que nadie le marque el camino de antemano.
Por qué verificar y refutar no es lo mismo
Hasta hace poco, la IA en matemáticas hacía sobre todo una cosa: verificar demostraciones. Revisar que los pasos de una prueba ya construida por un humano fueran correctos. Útil. Pero pasivo. Refutar una conjetura es otra historia.
Refutar exige encontrar un contraejemplo o construir un argumento que tire por tierra lo que se asumía como probablemente cierto. Hay que decidir dónde buscar y qué camino tomar. El espacio de posibilidades es enorme. Que el modelo lo haya hecho sin que nadie le señalara la dirección es lo que hace que este resultado no sea una curiosidad menor.
Colaboración, no sustitución
La pregunta sobre qué papel tiene la IA en ciencia no es nueva. Lo que sí cambia con este resultado es la respuesta. Llevar años hablando de IA como herramienta de apoyo al investigador es una cosa. Que proponga soluciones donde los humanos se han atascado durante décadas es otra.
Eso no significa que el matemático quede de más. La propia OpenAI ha insistido en que el objetivo es la colaboración, no reemplazar a los investigadores. La idea es que cuando la IA cierra un problema abierto, el investigador puede ocuparse de los siguientes. Así lo presenta la empresa, al menos.
La geometría discreta no es solo teoría abstracta. Sus problemas abiertos tienen implicaciones directas en criptografía y diseño de algoritmos, dos áreas donde los avances matemáticos se convierten en aplicaciones reales con bastante rapidez.
Queda por ver si esto puede repetirse. La primera vez que algo así ocurre siempre levanta la misma duda: ¿fue un golpe de suerte del algoritmo o señal de una capacidad real? Sea como sea, el relato de la IA como simple herramienta de apoyo empieza a tener menos recorrido.
