Cuando el Estudiante de Grado Supera a los Expertos

Algo increíble acaba de pasar: durante décadas, los matemáticos creyeron que una famosa conjetura sobre cómo invertir funciones matemáticas probablemente era cierta. Solo que nadie lograba demostrarla. Entonces alguien usó una inteligencia artificial para buscar un contraejemplo y encontró uno tan pequeño que cabe en un solo tweet.

No sé tú, pero a mí esta historia me parece fascinante.

Levent Alpöge, trabajando en Anthropic (la empresa detrás de la IA Claude), anunció recientemente en X que había usado Claude Fable 5 para encontrar un contraejemplo de la conjetura de Jacobian. Y cuando digo "encontró", me refiero a que descubrió pruebas de que la conjetura es falsa, al menos para ciertas dimensiones.

No es solo otra historia de "la IA hizo algo genial". Hay algo casi poético en cómo se desarrollaron los hechos.

¿Qué Es Exactamente la Conjetura de Jacobian?

Voy a intentar explicarlo de forma que tenga sentido, porque la versión de Wikipedia me da dolor de cabeza.

Imagina que tienes una función, que básicamente es una máquina: metes números y te salen otros números siguiendo alguna regla. La conjetura de Jacobian pregunta si siempre puedes revertir esa máquina, es decir, si existe otra función que deshaga lo que hizo la primera.

Piénsalo así: si tu función mueve puntos en el espacio, la conjetura dice que mientras la función no aplaste ni doble el espacio de cierta manera (los matemáticos miden esto con algo llamado "determinante jacobiano"), deberías poder encontrar una función inversa que lo devuelva todo a su lugar.

Suena razonable, ¿verdad?

El problema es que nadie había logrado demostrar que esto fuera siempre verdadero. Y ahora, gracias a una ayuda de la IA, sabemos que en realidad es falso en ciertos casos.

El Giro Inesperado: Más Simple de lo Que Nadie Imaginar

Esto es lo que tiene a los matemáticos realmente emocionados: el contraejemplo que encontró Alpöge es diminuto. Ridículamente pequeño. Cabe en una sola publicación de redes sociales.

Verás, lo complicado de encontrar un contraejemplo para esta conjetura es que necesitas construir un tipo muy específico de función: una que ni doble el espacio Y que no pueda ser invertida. Esas exigencias parecen contradictorias, pero de alguna manera pueden coexistir en ciertas dimensiones.

Y aquí viene lo mejor: los expertos pensaban que ejemplos así quizás no existían, o serían increíblemente complejos. En cambio, Claude encontró algo tan corto y elegante que, como señaló un usuario de Math Stack Exchange hace años, "algún estudiante de grado inteligente podría simplemente escribir una fórmula" que rompería todo el asunto.

Bueno, resulta que ese usuario tenía razón. La fórmula es tan corta que otros matemáticos la verificaron casi de inmediato después de que Alpöge la publicó.

¿Por Qué Debería Importarte?

Sé lo que estás pensando: "Genial, algún asunto matemático que probablemente no afecta mi vida. ¿Por qué debería importarme?"

Pregunta justa. Aquí va mi opinión: esta historia en realidad no se trata de las matemáticas. Se trata de lo que representa.

Estamos viviendo un momento donde la IA se está convirtiendo en una auténtica compañera de la creatividad y el descubrimiento humano. No solo es una herramienta que hace tareas específicas, sino algo que realmente puede ayudarnos a pensar de formas nuevas. El hecho de que un modelo de IA lanzado hace apenas unas semanas haya podido ayudar a resolver un problema que tiene casi 90 años es notable.

Esto también sigue un patrón que vemos cada vez más: la IA haciendo contribuciones genuinas a campos que parecían inmunes a la automatización. Matemáticos, físicos, programadores... no eran profesiones que la gente esperara ver "interrumpidas" por la IA. Pero aquí estamos.

La versión original de dos dimensiones de la conjetura (¡de 1884!) sigue sin resolverse, por cierto. Así que todavía hay trabajo por hacer. ¿Pero para dimensiones tres y superiores? Caso cerrado.

El Panorama General

Lo que más me interesa es lo que esto nos dice sobre la intuición en matemáticas. Durante décadas, los expertos creyeron que la conjetura de Jacobian probablemente era verdadera. Construyeron carreras alrededor de esa creencia. Y ahora, una búsqueda rápida de una IA ha demostrado que esa intuición estaba equivocada, al menos para dimensiones superiores.

Hay una lección ahí sobre cómo incluso personas brillantes pueden pasar por alto algo obvio cuando buscan en la dirección equivocada. Quizás a veces solo necesitas un par de ojos frescos, o un conjunto fresco de redes neurales, que señalen lo que está justo frente a todos.

Independientemente de tu opinión sobre la IA, creo que todos podemos estar de acuerdo: son tiempos extraños y emocionantes para estar vivos.

Fuente: ScienceDaily