OpenAI publica soluciones a 372 familias de resultados matemáticos

OpenAI ha publicado un lote de 722 manuscritos que cubren 372 familias de resultados, las cuales agrupan artículos matemáticos relacionados. La empresa afirma que estos documentos contienen soluciones a varios problemas matemáticos de larga data producidos por un modelo de vanguardia no lanzado. Según AGMAI, el Grupo Asesor sobre Matemáticas e Inteligencia Artificial, el lanzamiento incluye soluciones a "cientos" de preguntas abiertas.

Detalles del lanzamiento y metodología

Los resultados se publicaron en un repositorio de GitHub. OpenAI dice que el repositorio incluye protocolos para revisiones de artículos y citas. La empresa también compartió formalizaciones de muchas demostraciones en Lean, un lenguaje de programación que permite que las demostraciones matemáticas sean verificadas por una computadora. OpenAI afirma que actualizará el repositorio con más formalizaciones a medida que se obtengan.

Para promover la transparencia, OpenAI está publicando detalles adicionales sobre cómo se obtuvieron los resultados. Estos detalles incluyen 10 resúmenes del razonamiento del modelo, estimaciones del cómputo utilizado en términos de uso de Pro en ChatGPT y estadísticas sobre el número de problemas intentados. OpenAI afirma que el "resultado promedio" utilizó el equivalente a tres horas de pensamiento de ChatGPT Pro.

Recomendaciones del grupo asesor

El lanzamiento sigue las recomendaciones públicas de AGMAI, un grupo asesor independiente de matemáticos de élite formado para trabajar en la comunicación responsable de los resultados. A finales de septiembre, AGMAI instó a los laboratorios de IA a publicar los resultados matemáticos de manera oportuna y a través de canales académicos establecidos cuando fuera posible. El grupo también recomendó divulgar detalles como el nombre del modelo utilizado, los prompts y los costos de cómputo.

AGMAI declaró que las empresas de IA deben "abstenerse de tratar el lanzamiento de resultados matemáticos como vehículos de marketing para promover sus modelos", una práctica que, según dijeron, causa un daño significativo a la comunidad matemática. La declaración de OpenAI señala que la empresa ha estado consultando con AGMAI en el Instituto de Estudios Avanzados para desarrollar las mejores prácticas y ha tomado en cuenta su asesoramiento para informar cómo lanza estos resultados.

Planes futuros e impacto en la comunidad

OpenAI dice que está explorando otras alternativas alojadas por la comunidad para este lanzamiento que cumplan con las pautas del comité. Para futuros lanzamientos, la empresa afirma que está comprometida a mejorar aún más la calidad de los artículos mediante citas, exposición matemática y presentación de los resultados para una mejor comprensión.

La empresa también anunció planes para financiar una serie de talleres, conferencias y programas especiales sobre la comprensión de los resultados principales producidos por la IA. OpenAI dice que quiere empoderar directamente a los científicos con capacidades de última generación y está trabajando para lanzar de manera responsable el modelo que produjo estos resultados.

Por qué importa

El lanzamiento se suma a un cuerpo creciente de resultados matemáticos de laboratorios de IA, incluidos OpenAI y laboratorios rivales como Anthropic, que el campo aún está procesando. La velocidad con la que los laboratorios de IA han ingresado a esta disciplina este año ha provocado un debate sobre las prácticas de investigación, la ética y cómo las empresas reconocen a los matemáticos humanos. Es probable que el impacto completo de los resultados tarde en sentirse a medida que los matemáticos evalúan y asimilan estos resultados.

Fuentes (en inglés)

• theverge.com: OpenAI drops another batch of mathematical breakthroughs | The Verge
• openai.com: Sharing AI progress in mathematics | OpenAI

Traducción con IA del artículo original en inglés, revisada automáticamente para que diga lo mismo que el original. Las fuentes fueron verificadas en inglés.