La empresa OpenAI ha publicado nuevos resultados sobre problemas matemáticos abiertos utilizando un modelo de frontera interna. Los resultados incluyen formalizaciones de pruebas Lean y detalles de investigación en GitHub. Esto permite a la comunidad matemática acceder a la información y contribuir al progreso en este campo.