La IA en las Matemáticas: La IA Trabaja para los Humanos, y sobre Ellos

En mayo de 2026, OpenAI publicó un contraejemplo a la 'Conjetura de la Distancia Unitaria', refutando una conjetura de la teoría de grafos geométricos que había permanecido abierta desde 1946. Esto siguió a otras soluciones asistidas por inteligencia artificial a problemas de larga data, marcando un punto de inflexión. Matemáticos como Abhishek Saha ahora utilizan modelos de IA para manejar trabajo rutinario, describiendo su papel como el de un director de orquesta en lugar de toda la orquesta. Algunos, como Trefor Bazett, ven el potencial de una nueva edad de oro, haciendo referencia a un artículo de Carnegie Mellon que resolvió un problema de teoría de Ramsey utilizando solvers SAT, código generado por LLM y verificación formal de pruebas. Timothy Gowers, quien predijo esta era en el año 2000, tiene sentimientos encontrados, habiendo experimentado la IA resolviendo sus propios problemas de investigación. Teme la destrucción de la cultura matemática si los humanos dejan de construir experiencia. La Declaración de Leiden sobre IA y Matemáticas, firmada por más de 3000 matemáticos, busca establecer directrices. Epoch AI informó avances pero señaló que las categorías de referencia más difíciles siguen sin resolverse. Terence Tao compara la situación con la crisis fundacional de principios del siglo XX, viéndola como una oportunidad para fortalecer las matemáticas, mientras que el ensayo de Kirwin Hampshire 'La Noche Oscura de las Matemáticas' ofrece una visión más pesimista, sugiriendo que los consuelos son autodecepción.