O que é o modelo mais recente da OpenAI, Astra? Data de lançamento, benchmarks e como ele se compara (2026)

O que é o OpenAI Astra?

✅ Confirmado: O Astra é um sistema multiagente em fase de pesquisa da OpenAI. Em vez de produzir uma resposta única como um chatbot tradicional, um agente raiz divide uma tarefa em subproblemas, aciona subagentes para trabalhar em cada parte, aguarda os resultados e sintetiza uma resposta final.

Essa arquitetura — não uma pontuação de benchmark — é o verdadeiro anúncio. Até agora, os modelos de fronteira competiam em como um único modelo respondia bem em uma única sessão. O Astra é melhor compreendido como uma camada de coordenação do que como um cérebro maior. Sua capacidade definidora é gerenciar uma equipe de agentes de IA em trabalhos de longo horizonte — um único objetivo pode durar horas ou até dias.

A arquitetura multiagente em termos simples

Pense no Astra menos como um indivíduo mais inteligente e mais como um gerente de projetos com uma equipe de pesquisa. O agente raiz planeja; os subagentes executam em paralelo; o agente raiz revisa e combina. É por isso que a OpenAI apresenta o Astra como feito para tarefas persistentes e estendidas, em vez de perguntas e respostas rápidas.

Por que ele não é "apenas um chatbot maior"

A maioria dos lançamentos de modelos começa com um vídeo de demonstração ou uma tabela de benchmarks. O lançamento do Astra começou com matemática — resultados de pesquisa reais. Esse enquadramento sinaliza a aposta da OpenAI: a próxima fronteira não é responder a uma pergunta mais rápido, é manter uma linha de raciocínio coerente ao longo de uma tarefa longa e com várias etapas sem se perder.

O que o Astra realmente fez? Os 10 problemas de matemática

✅ Confirmado: Uma versão interna do Astra produziu soluções para dez problemas em aberto abrangendo teoria dos grupos, teoria de códigos, complexidade quântica, geometria de alta dimensão, criptografia de reticulados, complexidade de circuitos aritméticos e combinatória extremal. Todos os dez estavam em aberto há pelo menos uma década — a maioria por muito mais tempo.

Grupos não sóficos e a pergunta de Gromov de 1999

O resultado mais marcante está na teoria dos grupos: uma construção que prova que existem grupos não sóficos. Se todo grupo é sófico (aproximável por permutações finitas) era uma pergunta feita pelo matemático Mikhail Gromov em 1999 e permaneceu em aberto desde então. O Astra também contribuiu para uma refutação da conjectura de rigidez de Connes. Essas são contribuições de pesquisa genuínas, não notas de prova.

Provas verificadas em Lean — por que isso importa

Dois detalhes separam isso dos antigos títulos de "IA faz matemática":

1. As provas são verificáveis por máquina. Cada argumento foi formalizado em Lean 4, um assistente de provas que verifica cada passo lógico. Uma prova certificada em Lean não depende de confiar no modelo — ela pode ser reexecutada e verificada de forma independente.

2. Humanos escreveram os artigos. A OpenAI foi explícita: o modelo gerou os argumentos matemáticos, enquanto os humanos cuidaram da autoria e da exposição.

Pesquisadores externos levaram a sério. Thomas Bloom, da Universidade de Manchester, chamou o conjunto de "grande notícia." E a economia é impressionante — todas as dez soluções teriam custado cerca de US$ 2.000 nas tarifas de API, sugerindo que o fator limitante não é mais o preço da computação, mas a capacidade de conduzir um modelo ao longo de uma tarefa extensa.

Data de lançamento do Astra & status da prévia

Quando é a data de lançamento do Astra? ✅ Confirmado: Não há data de lançamento pública. O sistema que resolveu os dez problemas é uma versão interna de pesquisa. A OpenAI apresentou o Astra em prévia em 1º de agosto de 2026, seguida de um artigo e de provas verificáveis por máquina em 6 de agosto, e Sam Altman o demonstrou a formuladores de políticas em Washington, D.C. — mas o modelo permanece em testes.

Notavelmente, a OpenAI sinalizou que qualquer lançamento público ocorreria sob o novo marco federal de IA dos EUA, o que significa que o Astra pode ser o primeiro modelo a exigir aprovação federal antes do lançamento. Essa barreira regulatória pode manter o Astra "na vitrine" por meses, mesmo que esteja tecnicamente pronto.

⚠️ Rumor / Não verificado: Uma única fonte de mídia social (@synthwavedd, 6 de ago.) afirmou que o Astra é um pré-treinamento totalmente novo — o maior desde o GPT-4.5 —, que o checkpoint interno mais recente tem o codinome "mewfour," e que um lançamento poderia acontecer "já na semana seguinte." Essas alegações de prazo e escala não são verificadas, e os mercados de previsão atribuíram baixas probabilidades a um lançamento público em meados de agosto. Trate qualquer manchete do tipo "Astra já foi lançado" com ceticismo.

Preço do Astra — o que sabemos (e o que não sabemos)

Qual é o preço do Astra? ✅ Confirmado: a OpenAI não anunciou preço, tarifas por token ou plano de assinatura para o Astra. Qualquer estimativa de custo total de propriedade é especulativa até a OpenAI publicar números.

O único dado de custo é a referência de ~US$ 2.000 para resolver os dez problemas de matemática, calculada com as tarifas de API do GPT-5.6 Sol. Isso é um caso pontual de custo de computação, não uma tabela de preços — útil para intuição, não para orçamento.

Resumo para equipes: você não pode implantar o Astra hoje nem precificá-lo. Se você precisa de um modelo de fronteira capaz agora, vai usar algo que já está disponível (mais sobre isso abaixo).

O Astra é o novo carro-chefe da OpenAI? Ele é o GPT-6?

✅ Confirmado, com ressalvas: A OpenAI está posicionando o Astra como sua próxima grande família de modelos — não uma atualização incremental. Mas ainda não decidiu se o Astra será lançado como GPT-6 ou como uma variante da linha GPT-5, e "Astra" é em si um codinome provisório para a classe de modelos.

Então, hoje, o carro-chefe disponível publicamente continua sendo o GPT-5.6 Sol. O Astra é a indicação de para onde a OpenAI está indo — um "upgrade" em ambição e arquitetura — mas ainda não é um produto que você pode selecionar em um menu suspenso.

Benchmarks do Astra & como ele se compara

Existem benchmarks do Astra? ✅ Confirmado: a OpenAI deliberadamente não divulgou uma tabela de benchmarks. Em vez de um ranking, ela mostrou resultados de pesquisa originais em áreas onde nem existe benchmark. Essa é uma jogada estratégica — ela reformula a competição de "pontuação mais alta em prova" para "você consegue produzir conhecimento novo."

Isso torna impossível, por enquanto, comparar números frente a frente. O que podemos fazer é colocar o Astra em contexto com os modelos que você pode realmente usar hoje. Veja como está o cenário:

Astra vs GPT-5.6 vs Kimi K3 vs Fable 5 — matriz de comparação

Os preços acima refletem tarifas agregadas de API (por exemplo, via GPT Proto); as tarifas oficiais diretas podem ser diferentes.

Astra vs GPT-5.6 Sol

GPT-5.6 Sol é o carro-chefe público atual da OpenAI e já suporta fluxos de trabalho agênticos e subagentes. O Astra é o próximo passo dedicado para trabalho persistente de vários dias. Se você precisa de confiabilidade de produção hoje, o Sol é a resposta; o Astra é a direção futura.

Astra vs Kimi K3

Kimi K3 (Moonshot AI) é um modelo aberto de 2.8 trilhões de parâmetros que rende muito acima do seu preço — forte em benchmarks de codificação e agentes a cerca de um terço dos custos dos carros-chefe. Enquanto o Astra mira a pesquisa de fronteira, o Kimi K3 mira trabalho de engenharia prático e de alto volume a baixo custo. São trabalhos completamente diferentes, mas para a maioria dos desenvolvedores o K3 é utilizável agora e barato.

Astra vs Fable 5

Claude Fable 5 é um carro-chefe fechado de alto nível, frequentemente liderando avaliações de trabalho de conhecimento e raciocínio no mundo real. É a opção premium que você pode realmente implantar. A proposta do Astra não é "superar o Fable 5 em um benchmark" — é "produzir resultados em domínios onde benchmarks não existem." Até o Astra ser lançado, o Fable 5 é a opção disponível de ponta.

Riscos do Astra & questões em aberto

Antes de se deixar levar pelo hype, avalie estes ⚠️ riscos e ressalvas:

• Demonstração selecionada ≠ confiabilidade. Dez provas escolhidas a dedo e verificadas em Lean são um sinal sério — mas dizem pouco sobre como o Astra se sai em um problema aleatório escolhido por um pesquisador externo. O teste real vem quando pessoas de fora podem executá-lo em suas próprias perguntas.

• Barreira regulatória. Como primeiro modelo potencialmente sujeito a um novo marco de aprovação federal dos EUA, o lançamento do Astra pode ser adiado por meses, independentemente da prontidão técnica.

• Contaminação por boatos. Grande parte da cobertura sobre "Astra" — especialmente as alegações de "lançamento na próxima semana" e "mewfour" — vem de uma única fonte não verificada. Alguns veículos trataram especulação como fato.

• Ainda sem reprodutibilidade. Se a abordagem do Astra generaliza além de um conjunto selecionado é a questão em aberto. Uma capacidade que só funciona em problemas escolhidos a dedo é uma demonstração; uma que funciona na pergunta de uma pessoa de fora é um produto.

Você deve esperar pelo Astra — ou usar um modelo hoje?

Aqui está a visão honesta: Astra não é algo que você possa usar. Sem data de lançamento, sem preço, sem API. Se o seu trabalho é pesquisa matemática de fronteira, o Astra merece atenção. Para todos os outros — criando aplicativos, escrevendo código, executando agentes, gerando conteúdo — a jogada inteligente é usar os modelos que já estão em produção.

A boa notícia: os exatos modelos com os quais o Astra será comparado — GPT-5.6 Sol, Kimi K3 e Claude Fable 5 — estão todos disponíveis agora, e você não precisa de três contas separadas para experimentá-los. Em um agregador como a biblioteca de modelos do GPT Proto, uma única chave de API e um saldo compartilhado desbloqueia mais de 200 modelos em texto, imagem, vídeo e áudio — incluindo GPT-5.6, Kimi K3 e Fable 5 — geralmente com 10–60% abaixo das tarifas oficiais.

Isso significa que você pode comparar hoje os futuros concorrentes do Astra entre si, escolher o melhor para a sua tarefa e trocar de modelos sem religar sua infraestrutura. Quando o Astra finalmente for lançado, você já terá a infraestrutura para adicioná-lo em uma linha.

👉 Compare e experimente GPT-5.6, Kimi K3, Fable 5 e mais de 200 modelos no GPT Proto →