OpenAI · 6 de octubre de 2026

Compartimos avances de IA en matemáticas

OpenAI publica nuevos resultados sobre problemas abiertos de matemáticas obtenidos con un modelo interno avanzado y comparte en GitHub formalizaciones de pruebas en Lean y detalles de la investigación.

Idioma de la fuente original · inglés

Leer el original

Verificado · 10 de octubre de 2026