Matemáticos odian la IA pero no pueden dejarla: el dilema de la investigación

La inteligencia artificial se ha convertido en una herramienta indispensable para los matemáticos, pero también en una amenaza existencial para su disciplina. Los investigadores admiten que no pueden dejar de usarla porque les ahorra tiempo y les abre nuevas vías de exploración, aunque temen que termine sustituyendo su forma de pensar.

Contexto: de la calculadora al asistente que lo cuestiona todo

Hace una década, los matemáticos usaban software de cálculo simbólico como Mathematica o SageMath, herramientas predecibles y bajo su control. La llegada de modelos de lenguaje masivos como GPT-4 o Gemini cambió las reglas: ahora la IA no solo calcula, también propone conjeturas, redacta demostraciones y hasta señala errores en pruebas formales. Ese salto cualitativo ha generado una dependencia silenciosa en universidades y centros de investigación.

Detalles: utilidad probada y riesgos documentados

Un reciente reportaje de Wired recoge testimonios de matemáticos que usan IA a diario para tareas que antes les llevaban horas: generar casos de prueba, explorar conjeturas o escribir primeros borradores de demostraciones. Según la publicación, herramientas como Lean combinadas con modelos generativos han permitido verificar pruebas automáticamente, pero también han revelado que la IA puede producir razonamientos plausibles pero incorrectos. El debate se intensificó cuando varios investigadores admitieron que ya no saben trabajar sin estos asistentes, mientras otros advierten que delegar el pensamiento abstracto en una máquina erosiona la intuición matemática.

Análisis: quién gana y quién pierde con esta dependencia

Los ganadores son los investigadores con menos recursos, que acceden a un nivel de asistencia antes reservado a élites, y las empresas que desarrollan estos modelos, que obtienen datos y legitimidad. Los perdedores son los matemáticos tradicionales, cuya formación basada en la intuición y el esfuerzo manual pierde valor relativo. Mi opinión: la IA no va a reemplazar a los matemáticos, pero sí a los que se nieguen a usarla; el problema es que nadie está midiendo el coste cognitivo de esa adopción.

Implicaciones: hacia una matemática híbrida y regulada

A corto plazo, veremos más revistas y congresos exigiendo declarar el uso de IA en demostraciones, similar a lo que ocurrió con las calculadoras en los exámenes. A medio plazo, la formación matemática tendrá que incorporar alfabetización en IA sin sacrificar el razonamiento manual. Y a largo plazo, el riesgo es que la disciplina se divida entre quienes usan la IA como muleta y quienes la usan como telescopio.

La pregunta no es si los matemáticos deben usar IA, sino si podrán seguir llamándose matemáticos cuando lo hagan.

Fuente: Wired