La IA y el futuro de las matemáticas: un dilema creciente

La IA y su impacto en las matemáticas

En una conferencia celebrada en Filadelfia, Terence Tao planteó una inquietante posibilidad sobre la inteligencia artificial en matemáticas y su capacidad para resolver problemas matemáticos. Según Tao, “Estamos muy, muy cerca de que un resultado matemático importante quede demostrado y verificado sin que ningún humano pueda comprenderlo y explicarlo”. Este comentario ha generado un amplio debate entre matemáticos sobre el futuro de la disciplina.

Puntos clave sobre la IA en matemáticas

A continuación, se presentan algunos puntos clave sobre el impacto de la IA en las matemáticas:

• Los modelos de IA han superado a sus contrincantes en olimpiadas de matemáticas.
• Han resuelto problemas complejos que han atascado a matemáticos durante décadas.
• Jacob Tsimerman, ganador de la Medalla Fields, afirmó que la IA pronto será “robustamente sobrehumana” en matemáticas.
• Yu Deng sugirió que los humanos crearán teorías mientras las máquinas se encargarán de los detalles técnicos.

Uso cotidiano de la IA por matemáticos

A pesar de estas afirmaciones, el uso cotidiano de la IA por parte de los matemáticos es menos apocalíptico. Actualmente, utilizan la IA para:

• Consultar bibliografía poco conocida.
• Buscar ejemplos difíciles de construir.
• Revisar borradores.

El papel de la IA en el trabajo matemático

Terence Tao describió cómo su trabajo ha cambiado gracias a la IA y defendió que esta debe asistir y ampliar el pensamiento humano, no sustituirlo. Existen lenguajes como Lean, que convierten argumentos matemáticos en objetos que un ordenador puede validar. Sin embargo, Lean valida que una demostración matemática funciona, pero no explica cómo o por qué es válida.

Desafíos en las demostraciones matemáticas

Recientemente, OpenAI publicó un post indicando que sus modelos habían resuelto diez complejísimos problemas matemáticos. Sin embargo, la revisión oficial reveló que al menos una de las diez demostraciones era errónea. Los responsables de OpenAI admitieron que el proceso no había estado tan controlado como hubieran deseado. Esto subraya la diferencia entre crear una demostración matemática convincente y establecer su validez.

Cambio en la formación matemática

Los matemáticos no aprenden trabajando sobre conjeturas complejas. Se forman resolviendo problemas manejables y cometiendo errores. Si la IA asume este trabajo intermedio, podría cambiar la forma en que las personas se convierten en investigadores en esta disciplina. Además, si gobiernos e instituciones creen que la IA puede sustituir a los matemáticos, podrían reducir el apoyo a universidades o grupos de investigación.

Advertencias sobre el futuro

Timothy Gowers advirtió que esta trayectoria podría resultar en una literatura matemática enorme sin expertos humanos que comprendan su significado. Daniel Litt propuso construir una biblioteca con demostraciones de teoremas acompañados de guías explicativas. Así, la IA no acabaría con las matemáticas, sino que convertiría cada solución encontrada en un nuevo objeto de estudio.

La Declaración Leiden y el futuro

Finalmente, la Declaración Leiden busca articular una respuesta humana al impacto de la IA en las matemáticas, preservando valores característicos como la autonomía intelectual y la transparencia. En Nature Machine Intelligence se resumió el debate actual: los avances están transformando las matemáticas, y es la comunidad la que debe decidir qué valores no quiere delegar.