Una IA refuta una conjetura de casi un siglo en matemáticas
El pasado domingo, mientras España celebraba su segunda Copa del Mundo, el matemático Levent Alpöge de Harvard desafiaba a la IA llamada Fable 5 a refutar la conjetura de Jacobi, una incógnita matemática que ha desconcertado a expertos durante casi 90 años.
La conjetura, propuesta por Ott-Heinrich Keller en 1939, planteaba la posibilidad de una función matemática inversa, desafiando las normas establecidas. En 1998, Stephen Smale incluyó este enigma en su lista de problemas matemáticos no resueltos.
El impacto de la IA en la refutación matemática
Alpöge no ha revelado detalles sobre el proceso que llevó a la refutación, aunque mencionó a Fable como un aliado clave en este logro. Expertos como Abhishek Saha de la Universidad Queen Mary de Londres destacan la importancia de desafiar conjeturas establecidas, mostrando la capacidad de la IA para abordar problemas matemáticos de manera innovadora.
Chris Bowman-Scargill de la Universidad de York señala que encontrar contraejemplos en matemáticas es fundamental, aunque la creatividad humana sigue siendo esencial para el desarrollo de nuevas teorías matemáticas complejas, como sucedió con el teorema de Fermat resuelto por Andrew Wiles en 1994.
¿Qué papel juega la IA en el futuro de las matemáticas?
Expertos han validado la refutación de la conjetura de Jacobi como un hito significativo en el uso de la IA en matemáticas. Sin embargo, surgen preguntas sobre el alcance de esta herramienta en el campo, ya que, si bien puede refutar conjeturas complejas, la creatividad humana sigue siendo crucial para el avance matemático.
Ivan Fesenko de la Universidad Westlake plantea la pregunta provocativa sobre la necesidad futura de tantos matemáticos si la IA puede desempeñar funciones matemáticas con precisión. Este avance plantea desafíos sobre el papel de la inteligencia artificial en el mundo matemático y su impacto en el trabajo de los expertos.
