OpenAI publica 722 manuscritos de matemáticas generados por IA, con elogios y rechazo

OpenAI ha publicado 722 manuscritos de matemáticas generados por un modelo de IA interno aún no lanzado, agrupados en 372 resultados que abarcan teoría de números, geometría algebraica, ecuaciones diferenciales, lógica matemática y otras áreas. Chosun Ilbo, Asia Economy y Newsis indicaron que la publicación se produjo el 6 de octubre, hora local; Korea Economic Daily, citando a OpenAI y al Wall Street Journal, indicó el día anterior al 8 de octubre. Los manuscritos se publicaron en GitHub. OpenAI dijo que dio al modelo unos 4.000 problemas y que cada resultado utilizó, en promedio, una capacidad de cómputo equivalente a unas tres horas de razonamiento de ChatGPT Pro. Newsis señaló que los 722 manuscritos no significan que se hayan resuelto 722 problemas distintos. [ 1 , 2 , 3 , 4 ]

El resultado más seguido se refiere a la «hipótesis cuasi-Riemann», una forma debilitada de la hipótesis de Riemann. Korea Economic Daily dijo que el manuscrito no demuestra la hipótesis de Riemann en sí, pero afirma ampliar la región en la que no existen ceros de la función zeta de Riemann ni de las funciones L de Dirichlet. Alex Kontorovich, profesor de la Universidad Rutgers, dijo en X que, si una persona hubiera hecho esto, habría ganado de inmediato la Medalla Fields. Korea Economic Daily dijo que la publicación incluye avances relacionados con tres de los problemas sin resolver del Premio del Milenio, que no han sido resueltos como tales. Chosun Ilbo dijo que OpenAI había anunciado antes, en agosto, resultados sobre 10 problemas y que en septiembre afirmó haber resuelto más de 100 problemas pendientes desde hacía mucho tiempo. [ 1 , 2 ]

Muchos manuscritos incluyen verificación formal en el lenguaje Lean, pero no todos, y OpenAI dijo que los manuscritos no verificados pueden contener errores. Oum Sang-il (엄상일), del Instituto de Ciencias Básicas, dijo a Asia Economy que alrededor del 42 % tenía enlazada una formalización en Lean. Asia Economy informó de que OpenAI dijo que, a las 14:20 del 8 de octubre, había retirado tres resultados y revisado o complementado unas doce demostraciones. Baek Hyung-ryul (백형렬), de KAIST, dijo que la publicación contenía varios problemas que calificaría de nivel Medalla Fields en su campo y que el impacto sería muy grande si se verificaran los resultados principales, pero que los manuscritos que leyó eran difíciles de seguir. [ 1 , 3 , 4 ]

La publicación ha suscitado críticas. Un grupo asesor independiente sobre matemáticas e IA, creado a sugerencia de OpenAI, dijo el 6 de octubre que el futuro de la investigación matemática no debería consistir solo en entender los resultados producidos por empresas de IA, informó Chosun Ilbo. Un grupo de matemáticos creado el mes pasado, la AHM (인간을 위한 수학협회), dijo el 7 de octubre que publicar más de 700 archivos de una vez era una exhibición de fuerza e instó a los matemáticos a dejar de trabajar con OpenAI. El mes pasado, 25 ganadores de la Medalla Fields, entre ellos Terence Tao, Peter Scholze y June Huh, emitieron una declaración conjunta en la que criticaban a las empresas de IA por usar problemas matemáticos como pruebas de rendimiento. Nature informó el 7 de octubre de que los matemáticos reaccionaron con sorpresa y también con rechazo, según Newsis. [ 2 , 4 ]

OpenAI dijo que publicó artículos y resúmenes del razonamiento de algunos problemas, financiará talleres y conferencias, y se prepara para lanzar el modelo. No aceptó los llamamientos a dejar de probar problemas matemáticos avanzados con modelos no lanzados, y dijo que esas evaluaciones son necesarias para crear mejores herramientas de investigación. [ 1 , 2 ]