6 oct 2026 · openai
Sharing AI progress in mathematics
OpenAI · Laboratorio · web oficial
Anuncio
Tipo: Anuncio.
OpenAI comparte avances en resolución de problemas matemáticos mediante un modelo frontera y libera formalizaciones de pruebas en Lean, lo cual es relevante para la investigación en razonamiento lógico y verificación formal.
Qué ha cambiado
- Publicación de resultados sobre problemas abiertos en matemáticas mediante un modelo frontera interno.
“OpenAI publishes new results on open problems in mathematics from an internal frontier model” — fuente
- Liberación de formalizaciones de pruebas en Lean y detalles de investigación en GitHub.
“shares Lean proof formalizations and research details on GitHub” — fuente
Fuentes
- Sharing AI progress in mathematics consultada 2026-10-13
Cómo se decidió
Todas las citas verificadas · triage por LLM (gemma4).
- Las reglas vieron dudas sin señales relevantes.
- El modelo decidió publicar · 2 citas comprobadas
Procedencia técnica
- reglas: hold (sin señales)
- llm: publish; 2 citas verificadas, 0 rechazadas
sha256 4db42ee12d42afe9…· https://openai.com/index/sharing-ai-progress-in-mathematics