Un matemático de Harvard ha utilizado inteligencia artificial para refutar un problema de larga data en álgebra que los expertos habían intentado demostrar durante décadas. Levent Alpöge anunció el hallazgo en redes sociales el 19 de julio con un breve contraejemplo.
Alpöge publicó un contraejemplo matemático de 216 caracteres en X, demostrando que la conjetura jacobiana es falsa. La conjetura, propuesta por Ott-Heinrich Keller en 1939, también había aparecido en una lista de importantes problemas sin resolver compilada por Stephen Smale en 1998.
El trabajo involucró a Claude Fable 5, un modelo de IA de Anthropic. Alpöge reconoció en su publicación la asistencia del sistema durante la final de la Copa del Mundo.
Abhishek Saha, de la Queen Mary University of London, calificó el resultado como la conjetura más importante abordada hasta la fecha con una contribución significativa de la IA. Señaló que el contraejemplo funciona para tres variables, aunque la versión de dos variables aún podría ser válida.
Chris Bowman-Scargill, de la University of York, e Ivan Fesenko, de Westlake University, afirmaron que el desarrollo destaca el creciente papel de la IA en las matemáticas, al tiempo que subraya que la intuición humana sigue siendo esencial para construir nuevas teorías.