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 demostrarse 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 de manera inversa. En 1998, el matemático Stephen Smale la incluyó en su lista de problemas no resueltos, considerados un desafío para los matemáticos del siglo XXI.
Alpöge no ha detallado el método utilizado para alcanzar este resultado, pero mencionó en un tuit que parte del mérito se lo atribuye a su «amigo cercano Fable», refiriéndose al 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, no había intentos previos de refutarla. Por su parte, Chris Bowman-Scargill, de la Universidad de York, subrayó la diferencia entre encontrar contraejemplos y desarrollar nuevas ramas de las matemáticas, que aún requieren creatividad humana.
Varios expertos han validado la refutación, que resultó ser relativamente sencilla de comprobar. Saha consideró que este avance de la IA en matemáticas es significativo, afirmando que podría ser la conjetura más importante en la que la IA ha tenido un papel relevante hasta ahora.
Aunque este contraejemplo refuta la conjetura con tres variables, queda la posibilidad de que una versión con solo dos variables sea cierta. Los matemáticos están comenzando a aprovechar estas herramientas en su trabajo. Ivan Fesenko, de la Universidad Westlake en China, comentó que los modelos de IA están avanzando rápidamente y planteó la inquietante pregunta de si realmente se necesitan tantos matemáticos si la IA puede realizar estas tareas de manera efectiva.
