Un matemático usa IA para refutar conjetura centenaria
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.
Prepared by Jonathan Pierce and reviewed by editorial team.
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