Un ensayo filosófico que defiende que el descubrimiento matemático impulsado por la IA no tiene por qué disminuir el valor de la vida matemática humana ha llamado mucho la atención después de aparecer en el blog de Terence Tao, el matemático de UCLA ampliamente considerado como uno de los mejores matemáticos vivos. "Matemáticas sin ego en la era de la IA", publicado el 2 de noviembre, es una publicación invitada de los científicos informáticos Karthik C. S., Amit Sahai y Jie Xue; Tao señaló que convirtió el texto para su publicación utilizando IA. El ensayo rápidamente subió a Hacker News, donde los lectores debatieron su afirmación central: que las matemáticas eran hermosas antes de que cualquiera de nosotros naciera, y su valor no depende de quién hace los descubrimientos.
El artículo llega en un momento en el que la asistencia mecánica en matemáticas ha pasado de ser novedad a infraestructura. Las pruebas formales verificadas con la ayuda de la IA, conjeturas generadas por máquinas y sistemas de IA que contribuyen a los resultados a nivel de investigación han obligado a los matemáticos en activo a preguntarse no sólo qué pueden hacer las máquinas, sino qué queda de la vocación si la respuesta es "la mayor parte". La respuesta del ensayo es inusual entre las últimas noticias sobre IA esta temporada: en lugar de defender la importancia humana frente a las máquinas, aboga por abandonar esa contienda por completo.
Dos visiones de las matemáticas, un punto de presión
Los autores parten de la división más antigua en la filosofía de las matemáticas: si los matemáticos inventan su tema (introduciendo conceptos, eligiendo axiomas, construyendo teorías) o descubren verdades que existen independientemente de ellos. La visión platónica, escriben, da una explicación natural de esa independencia: "había infinitos números primos antes de que alguien demostrara ese hecho". La verdad matemática no espera nuestro reconocimiento ni recibe de él su autoridad.
El descubrimiento, advierten, no es pasividad. Un paleontólogo que busca fósiles debe decidir dónde excavar, desarrollar técnicas y reconocer la importancia de los restos incompletos. Del mismo modo, un descubrimiento matemático puede requerir inventar un lenguaje y un marco completos a través de los cuales una estructura previamente invisible se vuelve visible. Las verdades nos preceden; las rutas hacia ellos son humanas hasta el final.
A partir de esa base el ensayo construye su punto de presión: una derivación correcta no es lo mismo que una comprensión de su significado. Un sistema axiomático permite indefinidamente muchas deducciones, pero la capacidad de producirlas no proporciona direcciones de investigación que valga la pena. "Las afirmaciones matemáticas pueden ser formalmente correctas sin ser esclarecedoras", escriben los autores. "Podemos introducir innumerables definiciones y probar innumerables afirmaciones sobre ellas. ¿Qué hace que una definición sea esclarecedora?" Es exactamente la pregunta que surge cada vez que un sistema de IA inunda un repositorio formal con resultados válidos pero desmotivados.
La trampa de definir el valor mediante la máquina
El argumento más agudo del ensayo apunta a una medida común en el discurso actual de la IA: proteger el valor humano retirándose a lo que las máquinas aún no pueden hacer. "La respuesta no puede ser simplemente buscar refugio en capacidades distintivamente humanas como la creatividad, la intuición o el gusto", argumentan los autores. "Si valoramos estas habilidades principalmente porque nos dan una ventaja sobre las máquinas, seguimos atrapados en la misma concepción del valor intelectual. ¿Por qué el valor de nuestra búsqueda debería depender de ser mejores en eso que alguien o algo más?"
Extienden la crítica a la estructura de incentivos de la propia vida académica. Las publicaciones, las citas y los premios son indicadores útiles, reconocen los autores, pero se vuelven patológicos cuando definen el valor del trabajo. Medidos de esa manera, los matemáticos se convierten en conjuntos de habilidades productivas y las matemáticas en su producto: un marco en el que una máquina que produce más que un ser humano simplemente gana. El ensayo propone la alternativa que nombra en su título: matemáticas sin ego, una práctica en la que el valor fluye del contacto con la verdad más que de la primacía en su producción.
Desde ese punto de vista, los descubrimientos realizados por la IA no son motivo de dolor ni de ansiedad por el estatus. "Una verdad se ha vuelto accesible; su valor no disminuye por la ausencia de nuestra autoría", escriben los autores. Incluso ofrecen el ensayo como un tratado de paz entre los dos bandos que ahora dividen a muchos departamentos de matemáticas (los entusiastas de las herramientas de inteligencia artificial y los que se abstienen por principio), al sugerir que ambos pueden reflejar el mismo compromiso subyacente con las matemáticas mismas.
Un experimento mental de Ramanujan para cerrar
El ensayo cierra con un experimento mental extraído de la historia de las matemáticas. Se informa que Ramanujan dijo: "Una ecuación no tiene significado para mí a menos que exprese un pensamiento de Dios", una frase que los autores citan de la biografía de Robert Kanigel de 1991 "El hombre que conocía el infinito" (publicada en 1991, citada en su publicación de la edición de 1992). Si estuviera vivo hoy y fuera testigo de los avances de la IA en matemáticas, ¿le perturbaría lo que podrían significar para su propósito como matemático?
Los autores son honestos acerca de su propia posición. "Nosotros, los autores de este ensayo, todavía estamos lejos de haber alcanzado tal ausencia de ego", admiten, describiendo el ideal del ensayo como uno hacia el cual desean esforzarse. Y anticipan la objeción obvia: que todo esto suena como pedir a los matemáticos que se conviertan en santos. "En la medida en que nos pide crecer en virtud y renunciar a nuestro apego a nuestra propia importancia, esa impresión no está lejos de la verdad", escriben, argumentando que la alegría de comprender es más duradera que la satisfacción de estar por encima de los rivales.
Si el argumento convence a los matemáticos en activo es una cuestión aparte: los hilos de comentarios sobre el ensayo muestran a muchos escépticos que piensan que la economía de las carreras académicas hace de la filosofía un lujo. Pero como documento del momento, captura algo real: los campos más cercanos al avance de la IA son los más obligados a articular por qué su trabajo es importante, y una de las voces más vistas de las matemáticas ha prestado su plataforma a una respuesta que no menciona los puntos de referencia, la productividad o la competencia nacional ni una sola vez.
---
Manténgase a la vanguardia de la IAObtenga las últimas noticias, análisis y avances en IA, todo en un solo lugar.
Leer más noticias sobre IA →
