Un matemático usa IA para refutar conjetura centenaria
PUBLISHED Aug 1, 2026, 10:55 AM ET
Read, Watch or Listen
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.
By James Porter | JQJO News
Timeline of Events
- 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.
News Intelligence
- 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.
- Articles Published:
- 14
- Right Leaning:
- 0
- Left Leaning:
- 0
- Neutral:
- 14
- Distribution:
- Left 0%, Center 100%, Right 0%
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.
Publicación en redes sociales de Levent Alpöge del 19 de julio de 2026. https://x.com/alpoge/status/2079028340955197566
Coverage of Story:
From Left
No left-leaning sources found for this story.
From Center
Un matemático usa IA para refutar conjetura centenaria
SciTechDaily / Mathematical Research Reports SciTechDaily DataCamp Wikipedia New Scientist MIT Technology Review Nature Science Phys.o TechCrunch Ars Technica ZDNET The Verge WiredFrom Right
No right-leaning sources found for this story.
Comments