OpenAI ha publicado 722 artículos matemáticos que abordan 372 problemas abiertos y abarcan campos que van del álgebra y la geometría a la informática teórica. La empresa afirmó que el trabajo, producido en gran medida por un modelo de IA que aún no ha revelado, podría ayudar a ampliar las fronteras del conocimiento humano. La publicación ha suscitado tanto entusiasmo como preocupación entre los matemáticos por la fiabilidad de los resultados y la forma en que se presentaron.
Algunos artículos afirman haber avanzado en cuestiones destacadas y de larga data, entre ellas la hipótesis de Riemann y la conjetura de Birch y Swinnerton-Dyer. Cada una es uno de los siete Problemas del Milenio, cuyo premio por una solución asciende a 1 millón de dólares estadounidenses. Desde entonces, se han retirado o revisado varios artículos de la colección.
OpenAI afirma que publicó los resultados para promover el progreso de las matemáticas. Sin embargo, algunos investigadores se han preguntado si los artículos son lo bastante claros como para poder evaluarlos. Un matemático dijo al autor del artículo que uno sobre un problema que conocía bien era tan difícil de entender que, a su juicio, no habría sido apto para la revisión de una revista. El autor también informó de que ChatGPT expresó fuertes dudas sobre al menos un resultado de alto perfil y dijo que no debía considerarse una demostración sin una auditoría completa por parte de expertos.
La publicación se produjo tras otra controversia relacionada con el trabajo de OpenAI de septiembre sobre un caso del problema de Navier-Stokes, otro Problema del Milenio. Los matemáticos Tristan Buckmaster y Levent Alpöge alegaron que OpenAI había accedido a sus datos y utilizado sus ideas antes de dedicar recursos informáticos a una solución. OpenAI negó las acusaciones.
La magnitud de la nueva colección también ha planteado preguntas sobre las comprobaciones realizadas antes de su publicación. OpenAI ha retirado tres artículos debido a un error elemental y ha corregido varios más después de que errores invalidaran sus resultados. En matemáticas, el trabajo nuevo suele ser evaluado por especialistas antes de pasar a formar parte de la literatura aceptada; este proceso puede llevar años en el caso de artículos técnicos extensos. Por ello, la revisión de la comunidad será fundamental para determinar si las afirmaciones se sostienen.
OpenAI afirma que ha formalizado 300 de los principales resultados utilizando programas como Lean para traducir los argumentos matemáticos en demostraciones que un ordenador puede comprobar paso a paso. Los sistemas de IA se utilizan cada vez más para automatizar este proceso. Sin embargo, las formalizaciones también pueden implementarse de forma incorrecta, y trabajos anteriores generados por IA, incluidos los relacionados con Navier-Stokes, han suscitado dudas. No está claro si los matemáticos aceptarán las formalizaciones de OpenAI.
Las reacciones a la publicación han ido desde calificarla de momento histórico hasta criticar el volumen de material y la carga que impone a los investigadores a quienes se pide evaluarlo. Los resultados han entusiasmado a especialistas que investigan posibles avances, a la vez que han suscitado preocupación por cómo la rápida investigación asistida por IA podría afectar al trabajo de los matemáticos, en particular al de estudiantes e investigadores en los inicios de su carrera.
Fuentes: Folha Ciência.