OpenAI comparte resultados matemáticos de un modelo Frontier interno
OpenAI comparte resultados matemáticos de un modelo Frontier interno, junto con formalizaciones en Lean y detalles de investigación, ofreciendo a los desarrolladores más elementos que examinar.
