OpenAI comparte nuevos resultados matemáticos generados por un modelo de IA fronterizo
OpenAI ha publicado una colección de nuevos resultados matemáticos producidos por un modelo de IA fronterizo interno, compartiéndolos a través de un repositorio de GitHub junto con estimaciones de costos computacionales y verificaciones formales de pruebas en Lean, mientras consulta con expertos en matemáticas sobre las mejores prácticas para el descubrimiento asistido por IA.
Leer el artículo completo →


















