Un matemático de Harvard, Levent Alpöge, ha utilizado el modelo de inteligencia artificial Fable 5 para refutar la conjetura de Jacobi, que había permanecido sin demostrar durante casi 90 años. Este hallazgo se produjo el mismo día en que España ganó su segunda Copa del Mundo de fútbol.
La conjetura de Jacobi, formulada por Ott-Heinrich Keller en 1939, sugiere que un tipo específico de función matemática podría funcionar a la inversa. En 1998, el matemático Stephen Smale la incluyó en su lista de problemas no resueltos, desafiando a los matemáticos del siglo XXI.
Alpöge no ha proporcionado detalles sobre el proceso que llevó a este resultado ni sobre el prompt utilizado, pero mencionó en redes sociales que parte del mérito se lo debía a su «amigo cercano Fable».
Abhishek Saha, de la Universidad Queen Mary de Londres, comentó que la forma de abordar el problema fue inesperada, ya que la conjetura parecía intuitivamente correcta, pero nadie había intentado refutarla. Chris Bowman-Scargill, de la Universidad de York, destacó la diferencia entre encontrar contraejemplos y desarrollar nuevas ramas de las matemáticas, lo cual sigue requiriendo creatividad humana.
La refutación ha sido validada por varios expertos, aunque Saha señaló que este avance de la IA en matemáticas es significativo. Según él, «probablemente sea la conjetura más importante en la que la IA ha tenido un papel relevante hasta ahora en matemáticas».
Sin embargo, quedan preguntas abiertas, ya que este contraejemplo refuta la conjetura con tres variables, pero no se ha determinado si una versión con solo dos variables podría ser cierta. Ivan Fesenko, de la Universidad Westlake en China, comentó sobre la creciente capacidad de los modelos de IA, sugiriendo que en el futuro podrían producir licenciados y doctorados en matemáticas, lo que plantea la cuestión de la necesidad de tantos matemáticos si la IA puede realizar estas tareas de manera efectiva.
