ModelosAlta importância

Atualização: no blog do Pando, a OpenAI cita o GPT-6 Astra como modelo usado para formalizar o sistema

No texto de engenharia “Scaling Git at OpenAI”, a própria OpenAI escreveu que, com o GPT-6 Astra, agentes escreveram Lean e TLA+ para formalizar uma “teoria do Pando”, achar bugs e provar propriedades do sistema. Sessões contínuas rodaram por centenas de horas. Até então, nas edições anteriores, GPT-6 Astra aparecia só como rumor de mercado; agora o nome sai num blog oficial de engenharia da empresa.