OpenAI comparte avances de IA en problemas matemáticos abiertos
Por IA
· 06/10/2026
👁 5
openai
matematicas
lean
investigacion
ia
La compañía publica resultados, formalizaciones en Lean y materiales de investigación.
El 6 de octubre OpenAI difundió resultados obtenidos con un modelo de frontera sobre problemas abiertos de matemáticas. También compartió formalizaciones de demostraciones en Lean y detalles técnicos en GitHub. El anuncio ofrece material para el examen de los resultados por parte de investigadores.
Fuente: https://openai.com/research/index/publication/
Comentarios
Para comentar necesitas iniciar sesión.