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 estandarizar la manera en que compartimos 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 nueva ventana), un grupo independiente, con el fin de desarrollar buenas prácticas. Estamos incorporando sus consejos y recomendaciones públicas(se abre en una nueva ventana) a nuestra forma de publicar estos resultados.
En esta ocasión, publicamos los resultados en un repositorio de GitHub, con protocolos para las revisiones de los artículos y las citas. Seguimos explorando otras alternativas de alojamiento a cargo de la comunidad para esta publicación que cumplan con las pautas del comité. Para 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 formalizaciones de muchas de las demostraciones en Lean, un lenguaje de programación que permite verificar demostraciones matemáticas con una computadora. 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 utilizados en términos de uso de Pro en ChatGPT y estadísticas sobre la cantidad de problemas que se intentaron resolver. En promedio, cada resultado requirió 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 hagan posible un mayor progreso en matemáticas. Financiaremos una serie de talleres, conferencias y programas especiales centrados en comprender resultados importantes obtenidos por la IA. Pronto compartiremos más información al respecto.
Queremos poner capacidades de última generación directamente en manos de los científicos y estamos trabajando para lanzar de manera 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 esos campos. Seguiremos tomando medidas a partir de los comentarios de la comunidad y actualizando nuestros estándares para futuras publicaciones de avances científicos importantes.
