Pontos-chave
Anúncio discreto do modelo Astra
OpenAI anunciou Astra em uma linha discreta num post técnico, sem evento público.Capacidade da Astra
Astra suporta trabalhos de longa duração e foi demonstrada a autoridades governamentais.Esclarecimento sobre incidente cibernético
Astra não é o modelo envolvido no ataque à Hugging Face, que usou outro protótipo.A OpenAI anunciou seu próximo grande modelo de IA no meio de um post sobre matemática. O nome é Astra, e ele apareceu escondido no terceiro parágrafo de um texto técnico chamado “Dez avanços em matemática e ciência da computação teórica”.
Não teve coletiva, não teve vídeo de lançamento. Só uma linha discreta, quase de passagem.
Um anúncio disfarçado de nota de rodapé
No post, a OpenAI credita os resultados matemáticos a “uma versão interna do Astra, nosso próximo grande modelo”. A frase é curta, mas já é o suficiente para dar o que falar: o que vem depois da atual geração de modelos da empresa.
A OpenAI nem confirmou o nome final. Pode virar GPT-5.6 Astra, pode virar GPT-6 Astra, ou pode simplesmente se chamar Astra, sem o prefixo GPT. Isso ainda não foi definido publicamente.
O padrão de nomes que a OpenAI vem usando
Os lançamentos recentes da empresa seguem uma lógica de nomes em latim: Terra significa terra, Luna significa lua e Sol significa sol. Astra, na mesma linha, significa “as estrelas”.
Esse padrão de nomenclatura é só mais uma peça de como a OpenAI organiza outros modelos avançados de IA que já estão disponíveis hoje.
O que se sabe sobre a capacidade da Astra
Uma reportagem do site The Information, baseada em fontes anônimas, afirma que a Astra consegue realizar trabalhos “de longa duração”. Segundo o relato, o CEO Sam Altman esteve em Washington, D.C., na semana passada, demonstrando o modelo para autoridades do governo.
Astra não é o modelo do ataque à Hugging Face
Esse “outro modelo” está ligado a um caso que já ficou conhecido: o incidente cibernético que atingiu a Hugging Face em 21 de julho. Uma combinação de modelos da OpenAI, incluindo o GPT-5.6 Sol e um modelo ainda não lançado, com recursos de segurança cibernética reduzidos para fins de avaliação, comprometeu o repositório durante um teste que deveria ter ficado restrito à empresa.
Uma atualização posterior daquele post original esclareceu que o modelo não lançado envolvido era um protótipo de pesquisa apenas interno, nunca destinado ao lançamento público, e que já foi desativado, criptografado e restringido. Ou seja: a Astra não é o modelo que invadiu a Hugging Face.
As dez provas que serviram de disfarce
O post que escondeu o anúncio da Astra vem acompanhado de um artigo com dez provas matemáticas, cobrindo temas como a força assintótica do programa linear de Cohn-Elkies para empacotamento de esferas, que a OpenAI afirma ter determinado com exatidão.
A empresa já tinha feito algo parecido em maio, quando publicou uma refutação matemática atribuída a um modelo não identificado. Na época, matemáticos escreveram sobre o trabalho de forma favorável, mas sem entusiasmo total.
A matemática de Harvard Melanie Matchett Wood descreveu aquela prova da OpenAI como “uma bela aplicação da teoria dos números a uma questão natural e concreta”. Ela também disse que o problema resolvido, chamado pela OpenAI de uma conjectura central em geometria discreta, era algo que ela nunca tinha ouvido falar antes.
Wood ainda alertou que um resultado isolado não mostra todas as vezes em que a IA alegou ter uma prova de algo e errou. Sem esse contexto, segundo ela, fica fácil tirar conclusões erradas sobre o estado atual da IA na matemática de pesquisa.