Casi cinco mil matemáticos, incluyendo a 25 ganadores de la Medalla Fields, han firmado la declaración 'A Severe Misalignment of AI in Mathematics', advirtiendo que la inteligencia artificial está erosionando los proxies de experticia en el campo. El argumento central sostiene que, aunque la IA resuelve problemas complejos como la ecuación de Navier-Stokes o el teorema de Fermat, esto no equivale a generar nuevo conocimiento conceptual. La declaración argumenta que la producción masiva de pruebas 'true/false' sin comprensión intuitiva puede destruir el terreno fértil para la innovación, convirtiendo la herramienta en un obstáculo para el objetivo principal de la matemática: la comprensión profunda.
El autor distingue entre dos tipos de matemáticas: la 'resolución de puzzles', que es legible para el público general y sirve como métrica de prestigio, y la 'generación de ideas', que constituye el trabajo intelectual real. La IA amenaza ambas funciones al permitir resolver puzzles de alto prestigio mediante métodos que no generan nuevas intuiciones, lo que socava la validación de las ideas. Se compara esta situación con la Ley de Goodhart, donde las métricas se convierten en objetivos en sí mismos. A pesar de la incertidumbre sobre si la IA puede generar ideas nuevas, el texto sugiere que la coexistencia de matemáticas humanas e artificiales podría seguir el modelo del ajedrez o los speedruns de videojuegos, donde el prestigio humano persiste en ligas exclusivas, aunque la IA mejore la capacidad técnica general.