ModelosImportancia alta
Actualización: en el blog de Pando, OpenAI cita GPT-6 Astra como el modelo usado para formalizar el sistema
En el texto de ingeniería “Scaling Git at OpenAI”, la propia OpenAI escribió que, con GPT-6 Astra, agentes escribieron Lean y TLA+ para formalizar una “teoría de Pando”, encontrar bugs y demostrar propiedades del sistema. Sesiones continuas corrieron durante cientos de horas. Hasta entonces, en ediciones anteriores, GPT-6 Astra aparecía solo como rumor de mercado; ahora el nombre sale en un blog oficial de ingeniería de la empresa.
Publicado en la edición n.º 7 de Noticiário do Joãozinho ·
Traducido por Joãozinho AI de la edición original en portugués de Brasil. Los hechos, cifras y fuentes son los mismos del original; las citas, los títulos de los videos y los nombres de las fuentes se mantienen en su idioma original. Leer el original en portugués
Fuente original
https://openai.com/index/scaling-git-at-openai/