Un matemático usa IA para refutar conjetura centenaria
Tap title to read story
Levent Alpöge, un matemático de la empresa de IA Anthropic en San Francisco, informa haber encontrado un contraejemplo a la arraigada conjetura Jacobiana en dimensiones superiores, utilizando el modelo de lenguaje grande Claude Fable 5 de la firma. La conjetura, planteada hace 87 años, se refiere a funciones polinómicas cuyo determinante Jacobiano es una constante no nula y pregunta si tales funciones deben ser invertibles. El supuesto contraejemplo de Alpöge, compartido en una fórmula concisa en X poco después de la Final de la Copa del Mundo de la FIFA, desafía décadas de creencia predominante y ahora está sujeto a verificación independiente por expertos.
More context
Timeline
- El 1 de junio de 1884, el matemático checo Ludwig Kraus expuso la versión bidimensional inicial.
- El 1 de enero de 1939, Ott-Heinrich Keller generalizó globalmente el problema de geometría algebraica.
- El 15 de mayo de 1998, Stephen Smale incluyó el problema entre los desafíos matemáticos del siglo.
- El 1 de junio de 2026, Anthropic lanzó oficialmente el modelo de lenguaje grande Claude Fable 5.
- El 19 de julio de 2026, Levent Alpöge publicó en línea la solución polinomial generada por IA.
- El 20 de julio de 2026, matemáticos independientes verificaron rápidamente la corrección aritmética a través de software.
- El 1 de agosto de 2026, comunidades académicas y servidores de preimpresión difundieron desgloses completos de verificación.
- El 1 de septiembre de 2026, los investigadores anticipan la publicación formal revisada por pares de los hallazgos del contraejemplo.
- El 15 de octubre de 2026, talleres académicos planifican sesiones especializadas para analizar las metodologías de descubrimiento de IA.
- El 1 de enero de 2027, los matemáticos esperan investigaciones continuas sobre el caso bidimensional restante.
Why it matters
Los modelos de lenguaje de IA aceleran los descubrimientos en la resolución de problemas matemáticos complejos en todo el país. Los paradigmas automatizados de descubrimiento científico transformarán la investigación académica avanzada. Matemáticos, desarrolladores de tecnología, investigadores universitarios, ingenieros de software e instituciones académicas. Priorizar las comprobaciones verificadas del sistema de álgebra computacional sobre los comentarios especulativos.
Coverage notes
Izquierda: La evidencia fue insuficiente. Centro: Enfoque en la naturaleza colaborativa de las herramientas de IA y las matemáticas verificables. Derecha: La evidencia fue insuficiente.
Primary report
Publicación en redes sociales de Levent Alpöge del 19 de julio de 2026.
Sources
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
