La crisis existencial de las matemáticas ante la IA

The Verge explora en su pódcast Decoder la crisis existencial que atraviesa la comunidad matemática por el avance de la inteligencia artificial. El periodista Robert Hart analiza cómo un modelo interno de OpenAI resolvió la conjetura de la distancia unitaria, un problema abierto durante 80 años, y cómo un segundo sistema, Astra, aceleró el debate sobre el futuro de la disciplina. Los modelos de IA actuales siguen siendo deficientes en aritmética básica —incluso fallan al contar letras o indicar la hora—, pero han alcanzado un nivel competitivo en matemáticas abstractas de alto nivel, donde pueden enlazar métodos antiguos con problemas nuevos y generar demostraciones verificables de forma autónoma. Esta brecha ha provocado una profunda inquietud entre matemáticos reconocidos, que debaten qué constituye el conocimiento matemático, cuál será el papel de los investigadores humanos y cómo deben reorganizarse la financiación académica y la formación de nuevas generaciones. Hart señala que las áreas más afectadas son los problemas teóricos autocontenidos, donde la verificación es inmediata, mientras que disciplinas como la topología siguen resistiéndose a los modelos. Aunque algunos sospechan que la atención mediática hacia las matemáticas responde a una estrategia de marketing de los laboratorios de IA, el consenso es que la transición ya es irreversible y que la disciplina debe redefinir su identidad ante una tecnología capaz de producir trabajo comparable al de investigadores profesionales.