Compartir los avances de la IA en matemáticas
Publicamos una amplia variedad de nuevos resultados matemáticos obtenidos por un modelo interno de vanguardia.
Para establecer un procedimiento común a la hora de compartir resultados con la comunidad matemática, hemos consultado al Grupo Asesor sobre Matemáticas e Inteligencia Artificial del Instituto de Estudios Avanzados(se abre en una ventana nueva), un organismo independiente, sobre el desarrollo de buenas prácticas. Estamos incorporando sus consejos y recomendaciones públicas(se abre en una ventana nueva) a nuestra forma de publicar estos resultados.
En esta ocasión, publicamos los resultados en un repositorio de GitHub, con protocolos para la revisión de artículos y las citas. Seguimos explorando otras alternativas de alojamiento gestionadas por la comunidad para esta publicación que cumplan las directrices del comité. De cara a futuras publicaciones, nos comprometemos a seguir mejorando la calidad de los artículos mediante las citas, la exposición matemática y la presentación de los resultados para facilitar su comprensión.
En nuestro repositorio de GitHub compartimos también formalizaciones de muchas de las demostraciones en Lean, un lenguaje de programación que permite comprobar demostraciones matemáticas mediante un ordenador. Actualizaremos el repositorio con más formalizaciones a medida que las obtengamos.
Para promover la transparencia y la apertura en la ciencia, también publicamos en el repositorio más detalles sobre cómo obtuvimos los resultados. Estos incluyen 10 resúmenes del razonamiento del modelo, estimaciones de los recursos de cómputo empleados expresadas en términos de uso de Pro en ChatGPT y estadísticas sobre el número de problemas que se intentó resolver. De media, cada resultado requirió unos recursos de cómputo equivalentes a unas tres horas de razonamiento de ChatGPT Pro.
Queremos que estos avances amplíen los límites del conocimiento humano y propicien nuevos progresos en matemáticas. Financiaremos una serie de talleres, conferencias y programas especiales centrados en comprender resultados importantes obtenidos por la IA. Compartiremos más información al respecto próximamente.
Queremos poner capacidades de última generación directamente en manos de los científicos y estamos trabajando para ofrecer de forma responsable el modelo que produjo estos resultados. Por eso es importante seguir evaluando nuestros modelos internos de vanguardia en matemáticas y otras ciencias, para acelerar el desarrollo de herramientas que impulsen el progreso en esos campos. Seguiremos actuando en respuesta a los comentarios de la comunidad y actualizando nuestros criterios para futuras publicaciones de avances científicos importantes.
