Una conjetura matemática que llevaba 87 años sin resolverse acaba de caer, y el protagonista fue un modelo de IA. Para entenderlo sin fórmulas: una conjetura es una afirmación que los matemáticos creen cierta pero que nadie ha logrado demostrar (o refutar) con certeza absoluta. La conjetura del Jacobiano, planteada en 1939 por el matemático Ott-Heinrich Keller, decía algo así: si tienes una función que transforma varios números en otros varios números, y esa transformación cumple cierta condición matemática (su "determinante jacobiano" es una constante distinta de cero), entonces la transformación debería poder deshacerse siempre, de forma exacta. Durante 87 años, nadie pudo demostrar que esto fuera cierto, pero tampoco nadie encontró un caso que lo contradijera. Este fin de semana, mientras veía la final del Mundial, Levent Alpoge, investigador de Anthropic, le planteó el problema a Claude Fable 5 (el matemático Akhil Mathew, de la Universidad de Chicago, fue quien originalmente...