Informes de IA · OpenAI · 2026-10-06 · Blog / comentario
Compartir el progreso de la IA en matemáticas
Título original: Sharing AI progress in mathematics
OpenAI ha publicado nuevos resultados sobre problemas abiertos de matemáticas obtenidos con un modelo de frontera interno. También comparte en GitHub formalizaciones de demostraciones en Lean y detalles de la investigación.