Un matemático de Harvard, Levent Alpöge, ha utilizado la 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 también de manera inversa. En 1998, el matemático Stephen Smale incluyó esta conjetura en su lista de problemas matemáticos no resueltos.
Alpöge no ha detallado el proceso que utilizó para llegar a este resultado, pero mencionó en redes sociales que parte del mérito corresponde a su «amigo cercano Fable», el modelo de Anthropic. Abhishek Saha, de la Universidad Queen Mary de Londres, destacó que la forma de abordar el problema fue inesperada, ya que, aunque la conjetura parecía intuitivamente correcta, nadie había intentado refutarla hasta ahora.
Chris Bowman-Scargill, de la Universidad de York, subrayó la diferencia entre encontrar contraejemplos que refutan conjeturas y desarrollar nuevas ramas de las matemáticas, lo que aún requiere creatividad humana. Varios expertos han validado la refutación, que, según Saha, representa un avance significativo en el papel de la inteligencia artificial en matemáticas.
A pesar de este avance, quedan preguntas abiertas, ya que el contraejemplo presentado refuta la conjetura con tres variables, pero una versión con solo dos variables podría ser cierta. Ivan Fesenko, de la Universidad Westlake en China, comentó que los modelos de IA están cada vez más capacitados y planteó la inquietante pregunta de si realmente se necesitan tantos matemáticos si la IA puede realizar estas tareas.
