LATIDIA · Modelos
Compartir el progreso de la IA en matemáticas
OpenAI publica nuevos resultados sobre problemas abiertos en matemáticas a partir de un modelo de frontera interna y comparte formalizaciones de pruebas Lean y detalles de investigación en GitHub.
WhatsApp ↗Telegram ↗
La noticia
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.