Este es un hecho notable que marca un antes y un después en la intersección entre la inteligencia artificial y las matemáticas. La conjetura de Jacobi, planteada en 1939 por Ott-Heinrich Keller y reconocida como uno de los grandes problemas pendientes tras ser incluida en la lista de Stephen Smale en 1998, permanecía sin resolverse durante casi 90 años. Su premisa sostenía que un tipo específico de función matemática conservaba su comportamiento al operar a la inversa; algo que parecía intuitivamente correcto y por lo que la comunidad matemática se había enfocado casi exclusivamente en intentar demostrarla, sin buscar activamente lo contrario. Ese giro estratégico —pedir refutarla en lugar de probarla— fue precisamente lo que Levent Alpöge, matemático de Harvard, planteó al modelo Fable 5 de Anthropic, logrando un contraejemplo de apenas 216 caracteres que desmonta la hipótesis.
El hallazgo, ya validado por especialistas como Abhishek Saha de la Universidad Queen Mary de Londres, es considerado el problema matemático más difícil resuelto con asistencia de IA hasta la fecha. Sin embargo, expertos como Chris Bowman-Scargill, de la Universidad de York, matizan su alcance: encontrar contraejemplos es un gran avance, pero construir estructuras teóricas completas —como hizo Andrew Wiles con el último teorema de Fermat— sigue dependiendo de la creatividad humana. Quedan, además, interrogantes técnicos: el contraejemplo funciona para la versión con tres variables, pero la variante de dos variables sigue abierta. La reflexión más profunda, lanzada por Ivan Fesenko de la Universidad Westlake, cuestiona el papel mismo de la disciplina: si la IA ya alcanza el nivel de graduados y previsiblemente pronto de doctores en matemáticas, la comunidad se enfrenta a una transformación de su labor y a una pregunta ineludible sobre su propio futuro.
¿Te gustaría que profundice en los detalles técnicos de la conjetura o en el funcionamiento de los modelos de IA aplicados a demostraciones matemáticas?
