¿Se vuelven obsoletos los matemáticos? La IA desafía a la élite científica en un cónclave

En mayo de 2025, treinta de los matemáticos más destacados del mundo participaron en un encuentro confidencial en el campus de la Universidad de California en Berkeley. No fue un simposio académico tradicional, sino un duelo intelectual entre humanos y una inteligencia artificial : o4-mini, un modelo de lenguaje avanzado desarrollado por OpenA I , capaz de razonar a una velocidad y profundidad sin precedentes.

Durante dos días, la IA fue puesta a prueba con algunos de los problemas matemáticos más complejos que se pueden concebir. La mecánica era clara: por cada problema que o4-mini no pudiera resolver, su creador humano recibiría una recompensa de 7.500 dólares. Pero el resultado sorprendió a todos. El modelo no solo resolvía en minutos lo que a un académico le tomaría semanas, sino que además mostró un proceso de razonamiento estructurado, lógico y creativo.

"Nunca había visto ese tipo de razonamiento en un modelo. Eso es lo que hace un científico. Es aterrador", confesó Ken Ono , matemático de la Universidad de Virginia y uno de los jueces del evento, en declaraciones a Scientific American .

Una competencia bajo estrictas medidas de seguridad.

El evento, organizado por la ONG Epoch AI como parte del programa FrontierMath, se realizó con máxima confidencialidad . Los participantes firmaron acuerdos de silencio, no pudieron usar correo electrónico y solo se comunicaban mediante la aplicación cifrada Signal , para evitar que la IA accediera a datos externos que contaminasen su entrenamiento.

Divididos en grupos, los matemáticos diseñan problemas que ellos mismos podrían resolver, pero que supuestamente fallarían a la IA. Sin embargo, o4-mini demostró una habilidad inesperada: leía literatura matemática relevante, simplificaba el problema, y finalmente lo resolvía paso a paso.

¿Una nueva era para las matemáticas?

La impresión general fue ambivalente: admiración técnica y temor existencial . Algunos problemas sí resistieron a la máquina (diez en total), pero los especialistas saben que esa ventaja humana es cada vez más efímera.

“¿Qué pasa cuando la máquina resuelve todo más rápido que tú?”, se preguntaron varios asistentes. Para Ono, pensar que la inteligencia artificial general (AGI) es solo ciencia ficción es “un grave error”. “Estos modelos ya están superando a nuestros mejores estudiantes de doctorado”, advirtió.

Yang Hui He , pionero en el uso de IA en investigación matemática, comparó el trabajo con la IA con el de tener “un estudiante de posgrado brillante, pero incluso más eficiente” . También introdujo el concepto de “prueba por intimidación” : cuando una IA responde con tanta seguridad que incluso expertos humanos aceptan sin cuestionar.

¿Matemáticos o mentores de IA?

Frente a este escenario, los matemáticos reflexionan sobre su nuevo rol: pasar de ser resolutores a formuladores de preguntas, capaces de guiar a la IA hacia descubrimientos originales. “La IA deduce, calcula… pero todavía no sueña ni intuye”, afirmó Hui He.

Óscar Corcho , catedrático de IA en la Universidad Politécnica de Madrid, lo resumió así: "Estamos comenzando a ser los psicólogos de la IA. Debemos entender su lógica, sus límites, sus sesgos. No es una amenaza, es una herramienta nueva y poderosa" .

Una carrera ya en marcha

La agencia estadounidense DARPA ya había advertido que las matemáticas siguen ancladas en prácticas del siglo XIX. Su iniciativa expMath , lanzada en abril de 2025, busca desarrollar un coautor de IA capaz de dividir y resolver grandes problemas matemáticos con precisión.

Lo ocurrido en Berkeley no fue una derrota humana, pero sí una advertencia histórica : la era de las matemáticas solitarias en la pizarra podría estar cediendo paso a un nuevo paradigma de colaboración entre humanos y máquinas pensantes .

“Tengo colegas que ya dicen que estos modelos se acercan a la genialidad matemática”, concluyó Ken Ono.