Miércoles 21 de octubre de 2026 ·
Un contraejemplo de 216 caracteres refuta la conjetura jacobiana de 1939 con ayuda de Claude
Útil para
El matemático Levent Alpöge, de la Universidad de Harvard, publicó el 19 de julio en X un contraejemplo de 216 caracteres que refuta la conjetura jacobiana en el caso de tres variables. Alpöge atribuyó parte del trabajo a un sistema que, según la información disponible, parece ser Claude Fable 5, de Anthropic. Abhishek Saha, de la Queen Mary University of London, señaló que numerosos especialistas ya han verificado la demostración, y que la versión con dos variables podría seguir siendo correcta. La conjetura, formulada por Ott-Heinrich Keller en 1939, figuraba en la lista de 18 desafíos que Stephen Smale propuso en 1998.
Qué significa
Muestra que un sistema de IA puede resolver un problema abierto durante décadas y cuyo resultado es fácil de comprobar, aunque la búsqueda haya requerido intuición humana. Para la matemática, el contraejemplo cierra la versión con tres variables, mientras que el caso con dos variables sigue abierto.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- El Confidencial TecnologiaLeer la noticia completa en El Confidencial Tecnologia
También ese día
Todas las noticias de IA del miércoles 21 de octubre de 2026 ->