OpenAI publicó más de 370 resultados matemáticos nuevos, y la cifra encendió entre los matemáticos una discusión sobre cómo se revisa el trabajo generado por IA y quién tiene derecho a examinarlo.
La empresa dio a conocer los hallazgos el martes. Abarcan álgebra, ciencias de la computación teóricas y lógica matemática, informó The Guardian. El diario australiano The Age precisó el conteo en 377, y reportó que OpenAI asegura haber resuelto 377 ecuaciones que llevaban años trabando a los expertos. La publicación buscaba mostrar de qué son capaces algunos de los modelos más avanzados de la compañía.
El antecedente de Navier-Stokes
La publicación llega después de otro hito. El mes pasado OpenAI resolvió la ecuación de Navier-Stokes, uno de los problemas matemáticos más difíciles del mundo, que tiene una recompensa de 1 millón de dólares para quien lo resuelva, según The Guardian.
Ese logro despertó la preocupación de figuras del área. Sostienen que los laboratorios de frontera no deberían poner a prueba los problemas matemáticos más avanzados con modelos propietarios a los que la comunidad matemática en general no tiene acceso.
¿Qué dijo el Instituto de Estudios Avanzados?
El Instituto de Estudios Avanzados de Princeton, Nueva Jersey, una organización independiente de expertos en matemáticas, afirmó que no respalda la práctica.
En un comunicado, el instituto advirtió que la IA ya puede producir argumentos matemáticos sin que la persona que la instruyó sea capaz de entenderlos, verificarlos o hacerse responsable de ellos. Según el texto, la comprensión humana de las matemáticas "sigue siendo de suma importancia".
La organización planteó además una pregunta más amplia. ¿Cómo construir, en esta nueva era, un paradigma que trate la comprensión humana de las matemáticas como parte de una producción académica responsable?
OpenAI responde, pero sigue probando
Para atender las inquietudes de la comunidad, OpenAI anunció que trabajará con el instituto para darles a "los matemáticos una voz en cómo avanzamos".
La empresa no dio señales, eso sí, de que vaya a dejar de probar sus modelos con problemas de ese nivel. Expertos del área temen que OpenAI no esté haciendo la revisión necesaria para validar los resultados.
¿A quién le corresponde el crédito?
Tristan Buckmaster, matemático de la Universidad de Nueva York que trabajaba en el problema de Navier-Stokes, planteó otra duda en una entrevista con The New York Times. Los matemáticos que le piden a un modelo resolver una ecuación, explicó, podrían estar entregándole información que lo ayuda a llegar a la respuesta.
"Es probable que haya un montón de resultados en los que toman el trabajo de alguien y luego lo llevan hasta el final", dijo Buckmaster, según The Guardian.
Una grieta filosófica
La discusión también tomó un tono más reflexivo. Kai Shaikh, estudiante de posgrado en matemáticas de la Universidad de Toronto, le dijo a The Age que los seres humanos tienen dos naturalezas en pugna, la tendencia a competir y la capacidad de apreciar la belleza.
"A mí esto me parece un caso de la primera tratando de estrangular a la segunda", afirmó Shaikh.
Las reacciones muestran a una disciplina enfrentada a una tensión de fondo. OpenAI publica hallazgos por centenares, mientras los matemáticos preguntan si esos resultados se pueden entender, verificar y acreditar como exige el trabajo académico tradicional. El Instituto de Estudios Avanzados no ha respaldado la práctica, y OpenAI no ha dicho que vaya a detenerla.
