A medida que los sistemas de IA empiezan a demostrar teoremas, los matemáticos se hacen una pregunta inquieta: ¿qué nos queda? Un ensayo invitado en el blog de Terence Tao, de Karthik C. S., Amit Sahai y Jie Xue, ofrece una respuesta inusual. Si las verdades matemáticas se descubren en lugar de inventarse, argumentan, un resultado no pierde nada de su valor cuando lo encuentra una máquina, y el verdadero objeto de la inquietud es un viejo hábito de medir a los matemáticos por su producción.
El argumento se apoya en una visión platónica de la matemática. Según esta, había infinitos números primos antes de que nadie lo demostrara; la verdad matemática no espera el reconocimiento humano ni extrae su autoridad de nosotros. Nos topamos con esa independencia, dicen los autores, siempre que una construcción nos sorprende, una definición revela una conexión inesperada o una conjetura en la que confiábamos resulta tener un contraejemplo. No podemos hacer válido un argumento con solo desearlo. De ahí se sigue que el significado de una demostración reside en su relación con ese orden independiente, no en quién la produjo, así que un descubrimiento hecho por una máquina no es menos un descubrimiento genuino.
Su movimiento más agudo es separar la derivación correcta de la comprensión. Un sistema axiomático permite infinitas deducciones formalmente correctas, pero producirlas no dice por sí mismo cuáles vale la pena perseguir. Lo que hace que una definición ilumine y otra sea solo válida es su relación con las estructuras que pone a la vista, cuestión de gusto matemático entendido como algo más que preferencia privada. En esta lectura, la preocupación real es anterior a la IA: los matemáticos ya habían llegado a verse como colecciones de capacidades productivas medidas por publicaciones, citas y premios, y la IA solo expone las consecuencias de esa autoimagen. Los autores revelan que usaron modelos GPT para ayudar a preparar el texto.
Es una réplica reflexiva a un miedo genuino, y el paso del estatus a la comprensión es saludable para un campo que ha atado el valor a los premios. Pero el ensayo es tan fuerte como su punto de partida. Todo el argumento se apoya en el platonismo matemático, que es una posición filosófica discutida y no un hecho zanjado, y un lector que no lo comparta pierde el consuelo que el ensayo ofrece.
El ensayo también dice poco sobre la parte de la inquietud que no es filosófica. El empleo, la financiación, quién controla las herramientas y quién recibe el crédito son donde residen de verdad las preocupaciones de la mayoría de los matemáticos en activo, y una meditación sobre la búsqueda de la verdad sin ego no las toca. Léelo por el argumento sobre para qué sirve la matemática, no como guía de cómo debería responder la profesión.