OpenAI dijo que está publicando una amplia colección de investigaciones matemáticas producidas por un modelo interno no lanzado, mientras la empresa busca «mejorar» la forma en que comparte resultados con la comunidad matemática en general.
En un repositorio de GitHub publicado el martes, la empresa dijo que la colección incluye 722 manuscritos agrupados en 372 familias de resultados relacionados, que abarcan campos que van desde las correlaciones ordinarias de dos puntos de funciones multiplicativas hasta el sistema de Vlasov-Maxwell. OpenAI advirtió que los resultados se encuentran en distintas etapas de verificación y que algunos de los trabajos sin demostraciones formales podrían contener errores.
El modelo trabajó en aproximadamente 4.000 problemas, y cada resultado requirió, en promedio, el equivalente a unas tres horas de tiempo de razonamiento de ChatGPT Pro, añadió la empresa. La mayoría de los trabajos siguió el mismo procedimiento, aunque algunos resultados se abordaron por separado, incluida una región sin ceros para la función zeta de Riemann y una demostración de la conjetura de Hodge para variedades abelianas CM.
«Queremos dotar directamente a los científicos de capacidades de vanguardia y estamos trabajando para publicar de forma responsable el modelo que produjo estos resultados», dijo la empresa en un comunicado. «Por eso es importante seguir evaluando nuestros modelos internos de vanguardia en matemáticas y otras ciencias, para que podamos acelerar el desarrollo de herramientas que impulsen esos campos».
OpenAI dijo que desarrolló la publicación con aportes del Grupo Asesor independiente sobre Matemáticas e Inteligencia Artificial del Institute for Advanced Study. El repositorio también incluye formalizaciones en Lean de muchas de las demostraciones, junto con 10 resúmenes abreviados del razonamiento del modelo.
La publicación se produce después de que la empresa anunciara el mes pasado que unos 10.000 agentes de IA habían trabajado en el problema de existencia y regularidad de Navier-Stokes.
Ese anuncio provocó una disputa con Tristan Buckmaster, profesor de NYU, quien afirmó que OpenAI se apresuró después de que él y el matemático de Anthropic Levent Alpöge utilizaran Codex mientras trabajaban en el problema. OpenAI dijo que no podía descartar que datos desidentificados derivados del uso de sus productos hubieran contribuido a mejorar el modelo. La empresa también dijo que no reclamaría el premio Clay del Milenio de $1 millón.