OpenAI publica manuscritos matemáticos cuyo alcance aún debe evaluarse

OpenAI anuncia la publicación de nuevos resultados sobre problemas abiertos en matemáticas, obtenidos con un modelo avanzado interno, así como la difusión de demostraciones formalizadas en Lean y detalles de la investigación en GitHub. The Verge describe un conjunto de 722 manuscritos, agrupados en 372 familias de resultados, producidos por un modelo no publicado. Según AGMAI, el grupo asesor independiente constituido para acompañar su comunicación, este conjunto incluye soluciones a cientos de preguntas abiertas.

Esta valoración sigue siendo atribuible al grupo. El volumen anunciado no basta para establecer la validez de cada demostración ni para medir la importancia de cada resultado. The Verge subraya que la comunidad matemática aún debe examinar y asimilar los trabajos.

AGMAI publicó sus primeras recomendaciones a finales de septiembre, en las que pedía una difusión rápida y, cuando fuera posible, a través de los canales académicos establecidos. El grupo también reclama información sobre el modelo, las instrucciones utilizadas y los costes de cómputo. Desaconseja convertir estas publicaciones en materiales promocionales.

OpenAI indica que utiliza un repositorio de GitHub, con procedimientos de revisión de artículos y de citación. Según The Verge, los documentos incluyen, entre otros elementos, resúmenes del razonamiento del modelo, estimaciones de cómputo y estadísticas sobre los problemas abordados. Ahora el reto consiste en distinguir entre las soluciones que se afirma haber obtenido, su verificación y su contribución científica. La información difundida puede facilitar este examen, sin sustituir sus conclusiones.