OpenAI nomeia Astra como próxima família de modelos principal; versão interna resolveu 10 problemas matemáticos abertos

OpenAI anunciou em 1º de agosto de 2026 que sua próxima família de modelos é chamada Astra, construída para lidar com tarefas de longa duração e problemas complexos coordinando múltiplos agentes trabalhando juntos ao longo de períodos estendidos. Uma versão interna de Astra resolveu dez problemas abertos em matemática e ciência da computação teórica—problemas que matemáticos não fizeram progresso por pelo menos uma década, e muito mais em muitos casos. OpenAI publicou provas formais em Lean para cada solução e lançou um guia do processo de raciocínio do modelo para cada problema.

O modelo consumiu aproximadamente $2.000 em tokens à taxa de API GPT-5.6 Sol para gerar todas as dez soluções. Astra ainda não foi lançado publicamente e não tem preço ou data de disponibilidade anunciados. O CEO Sam Altman mostrou Astra para políticos e reguladores em Washington, D.C. Os modelos estão em teste e serão os primeiros a passar por um processo de revisão governamental planejado que requer aprovação oficial antes do lançamento público. OpenAI não confirmou se Astra será marcado como GPT-6 ou como outro lançamento de ponto GPT-5.

Para praticantes, Astra sinaliza uma mudança na estratégia de modelos de OpenAI: de produtos lançados para sistemas agentivos de longa duração que raciocinam ao longo de horas ou dias e podem resolver problemas anteriormente intratáveis. O avanço matemático demonstra que compute de tempo de teste pode ser alavancado muito além dos modelos atualmente lançados. O processo de revisão governamental indica que implantação de modelos de AI de fronteira agora pode enfrentar controle regulatório antes da disponibilidade pública, uma mudança estrutural em como laboratórios de fronteira lançam.