Los matemáticos advierten de las amenazas de la IA a su profesión
La Unión Matemática Internacional (IMU) ha emitido una declaración de advertencia integral sobre el impacto creciente del sector de la IA en la investigación matemática académica. Según Ars Technica, la declaración pide a la comunidad matemática que reconsidere el cambio estructural que las empresas de IA están creando a través de la financiación, el acceso a datos y la dirección de la investigación.
La presidenta de la IMU, la profesora Hélène Esnault de la Universidad de Lyon, expresó las reservas de la organización al firmar la declaración de la siguiente manera: 'la integridad metodológica de las matemáticas no debería estar moldeada por proyectos ligados a prioridades comerciales; pero la financiación del sector privado que ha entrado en los departamentos de matemáticas en los últimos tres años está difuminando esta frontera.'
Entre los firmantes de la declaración figuran los jefes de los departamentos de matemáticas de la Universidad de Princeton, la Universidad de Oxford, la École normale supérieure y la Universidad de Stanford. El presidente del Departamento de Matemáticas de Princeton, el profesor Allan Sly, hablando con Ars Technica, dijo que 'las empresas de IA, incluidas DeepMind, OpenAI y Google Research, han proporcionado alrededor de 800 millones de dólares en financiación directa a cátedras académicas de matemáticas en los últimos tres años; esa cifra es casi igual a una década de financiación gubernamental tradicional.'
Una dimensión del problema es la presión económica que ha surgido en torno a los problemas matemáticos. Se ha documentado que en los próximos 5 a 10 años, las empresas de IA están ofreciendo fondos de investigación dedicados a problemas 'Millennium' como la hipótesis de Riemann y P contra NP, destinados a avanzar las capacidades de resolución de problemas matemáticos. El profesor Patrick Massot de la ÉNS Lyon dijo que 'el moldeado de las prioridades científicas por la presión del sector crea el riesgo de alterar el ritmo natural de las matemáticas.'
Otra dimensión técnica de la declaración es la propiedad de los sistemas automatizados que realizan comprobación formal de pruebas. Además de los sistemas de código abierto como Lean, Coq e Isabelle, las herramientas de código cerrado desarrolladas por las empresas de IA en los últimos tres años también han comenzado a difundirse en la comunidad matemática. La declaración de la IMU subrayó que la propiedad de las herramientas en el campo de la prueba formal por parte del sector privado va en contra del interés público a largo plazo.
Un incidente notable detrás de la advertencia es una tesis doctoral aceptada el mes pasado por el departamento de matemáticas de la Universidad Tsinghua. Se determinó que la tesis se había escrito utilizando el asistente de pruebas privado de OpenAI y que no estaba sujeta a acceso abierto debido a las políticas de confidencialidad de la empresa. Esta situación se convirtió en un indicador concreto de la tensión entre la tradición matemática académica y las políticas de confidencialidad de las empresas de IA.
El enfoque de las empresas de IA hacia la investigación matemática también atrae comentarios positivos. El matemático de Stanford, el profesor Tadashi Tokieda, dijo que 'las herramientas de IA pueden ofrecer a los matemáticos un apoyo significativo en las áreas de descubrimiento de problemas y generación de hipótesis; en lugar de miedos, debería debatirse la disposición del marco.' Tokieda explicó que apoya los argumentos centrales de la declaración de la IMU pero que lo que se propone no es el rechazo de las herramientas sino su limitación.
Otra capa de recomendación en la declaración es la documentación de la financiación realizada por las empresas de IA a las cátedras académicas de matemáticas a través de informes de transparencia. La IMU recomendó que los departamentos de matemáticas miembros compartan la financiación del sector privado anualmente en informes públicos a partir de 2027. Esta recomendación es una respuesta a la falta de transparencia en los informes de financiación de la NSF (Fundación Nacional de Ciencia de los Estados Unidos) en los últimos tres años.
La Dra. Anjuli Bamzai, responsable de las políticas de neutralidad de la Fundación Nacional de Ciencia de los Estados Unidos, dijo que 'en los casos en los que las empresas de IA financian los departamentos de matemáticas, tanto un informe público como la supervisión por un comité de prioridades científicas deben continuar.' Se ha indicado que la actualización de política que la NSF publicará en otoño de 2026 responderá a esta recomendación.
Esta declaración de advertencia de la comunidad matemática internacional forma parte de un debate más amplio sobre cómo se configurará la tensión entre la ciencia académica y el sector privado en la era de la IA. La profesora Marja Makarow, ex presidenta de la Fundación Europea de la Ciencia, dijo que 'las matemáticas pueden ser la primera comunidad académica en firmar esta declaración de advertencia; pero la física, la química y la biología también están en el umbral de tensiones similares.' Se están haciendo llamadas en el marco de la ley de IA de la Unión Europea para la formalización de la frontera entre la financiación académica y la financiación sectorial. Este artículo no constituye consejo personal de investigación o académico.