En un avance que redefine los límites de la colaboración entre la mente humana y los sistemas algorítmicos, la Inteligencia Artificial Claude ha desempeñado un papel decisivo en la resolución de un enigma matemático que desafió a las mentes más brillantes del mundo durante 87 años. El matemático Levent Alpöge, de la prestigiosa Universidad de Harvard, ha presentado un contraejemplo conciso que desmantela la célebre conjetura jacobiana. Lo notable de este logro no es solo la trascendencia del resultado, sino el método empleado: Alpöge atribuyó parte fundamental del trabajo a su ‘amigo cercano Fable’, una referencia inequívoca a un avanzado modelo de Claude, desarrollado por la firma Anthropic.
La conjetura jacobiana, formulada en 1939 por Ott-Heinrich Keller, postulaba, de forma simplificada, que ciertas funciones matemáticas específicas debían poseer una función inversa bajo condiciones determinadas. Esta proposición, engañosamente sencilla en su enunciado, ocultaba una complejidad extraordinaria que la mantuvo inexpugnable para generaciones de matemáticos. Su inclusión en la influyente lista de 18 grandes desafíos matemáticos para el siglo XXI, elaborada por Stephen Smale en 1998, subrayó su importancia y la magnitud de su dificultad, impulsando a numerosos investigadores a intentar demostrar su veracidad debido a su convincente lógica intuitiva.
Contrariamente a la tendencia predominante de buscar una demostración afirmativa, Alpöge adoptó un enfoque disruptivo. El 19 de julio, reveló en la plataforma X (anteriormente Twitter) un contraejemplo de apenas 216 caracteres. Este conciso fragmento matemático demostró de manera irrefutable la falsedad de la conjetura para el caso específico analizado. El matemático destacó que el sistema de IA había operado durante la final del Mundial, una referencia que, según la información disponible, apunta a Claude Fable 5, si bien Anthropic declinó ofrecer comentarios a la solicitud de New Scientist sobre la identidad precisa del modelo.
La brevedad y aparente simplicidad de la solución contrastan drásticamente con la inmensa dificultad que había representado su descubrimiento. Abhishek Saha, matemático de la Queen Mary University de Londres, confirmó que la línea argumental presentada por Alpöge ha sido verificada por múltiples especialistas. Saha enfatizó la magnitud del logro, señalando que ‘probablemente esta es la mayor conjetura en la que la IA ha desempeñado un papel significativo hasta ahora en matemáticas’, y añadió que ‘esto es bastante importante. La IA ha logrado avances notables durante el último año’, evidenciando una aceleración sin precedentes en este campo.
No obstante, la incógnita de cómo se generó exactamente este contraejemplo persiste. Saha resaltó que existen problemas de una complejidad extrema cuya respuesta, una vez hallada, es relativamente fácil de corroborar. A la fecha, se desconoce el conjunto exacto de instrucciones que recibió el modelo de IA y qué grado de intuición humana fue crucial para delimitar el espacio de búsqueda. Es pertinente aclarar que este descubrimiento no clausura por completo el debate: el contraejemplo refuta la conjetura jacobiana en su versión con tres variables, dejando abierta la posibilidad de que la versión con dos variables mantenga su validez.
Este episodio singular reaviva y fortalece el debate global sobre el rol transformador que la inteligencia artificial está destinada a jugar en el ámbito de las matemáticas avanzadas y la investigación científica. Chris Bowman-Scargill, de la Universidad de York, establece una distinción crucial entre la capacidad de una IA para localizar un contraejemplo específico y la facultad de desarrollar teorías matemáticas completamente nuevas, una tarea que, a su juicio, sigue dependiendo en gran medida de la creatividad inherente al intelecto humano. En contraste, Ivan Fesenko, de la Westlake University, anticipa una revolución aún más profunda, proyectando que, si bien ‘ahora mismo, la IA ya puede producir trabajos de nivel de máster en matemáticas’, ‘dentro de un año, producirá trabajos de nivel de doctorado’. El caso de Claude y la conjetura jacobiana, por ende, emerge como un paradigma contemporáneo de las cotas que pueden alcanzar estos sistemas tecnológicos cuando se integran eficazmente en el proceso investigativo, abriendo nuevas fronteras en el conocimiento.
Si le ha parecido interesante este análisis, le invitamos a compartirlo y a dejar su opinión en los comentarios.
