Avances de IA en matemáticas compartidos con acceso abierto

Una importante publicación de resultados matemáticos generados por un modelo interno ha sido hecha pública a través de un repositorio de GitHub. La publicación incluye pruebas formalizadas en Lean, un lenguaje de programación utilizado para verificar la lógica matemática. El repositorio también contiene documentación detallada sobre el razonamiento, los costes computacionales y las estadísticas de resolución de problemas del modelo. El resultado promedio requirió el equivalente a tres horas de computación de ChatGPT Pro. La publicación se basa en consultas con el Grupo Asesor sobre Matemáticas e Inteligencia Artificial en el Instituto de Estudios Avanzados, que ayudó a establecer las mejores prácticas para compartir los resultados. La empresa está explorando plataformas adicionales alojadas por la comunidad para futuras publicaciones y planea mejorar la calidad de los futuros artículos a través de mejores citas y explicaciones. También anunció financiación para talleres y programas para explorar aún más los avances matemáticos generados por la IA. La iniciativa tiene como objetivo mejorar la transparencia científica y empoderar a los investigadores con capacidades avanzadas de IA. La empresa enfatizó su compromiso de publicar modelos de forma responsable y de continuar evaluándolos en diversas disciplinas científicas para acelerar el progreso en esos campos.