OpenAI Apresenta Astra: Nova Família de Modelos para Tarefas de Longo Prazo
A OpenAI revelou o Astra, um modelo que permite a colaboração de múltiplos agentes de IA em tarefas complexas, alcançando avanços significativos em matemática e ciência da computação teórica.
OpenAI Apresenta Astra — uma nova família de modelos projetada para tarefas de longo prazo, onde múltiplos agentes de IA trabalham em conjunto em um único projeto.
De acordo com a empresa, o modelo alcançou 10 novos resultados em problemas de longa data na matemática, teoria da complexidade quântica e ciência da computação teórica.
Entre as conquistas destacam-se: – A construção do primeiro grupo não-sófico explícito. – A refutação da hipótese de rigidez de Conn. – A prova de um teorema sobre repetição paralela quântica para o caso geral de jogos de dois jogadores com entrelaçamento. – A prova da conjectura do volume de Ehrhart. – A primeira melhoria da estimativa geral do expoente de empacotamento de esferas desde 1978.
As ideias-chave das provas foram geradas pelo Astra. O modelo então formalizou essas ideias em Lean, obtendo certificados de prova verificáveis por máquina e um manuscrito de 249 páginas. O custo do lançamento bem-sucedido foi de aproximadamente US$ 2.000 às taxas da API Sol.
Parece que este é o modelo que Altman apresentou na Casa Branca esta semana. Internamente, a OpenAI ainda não decidiu se este modelo será lançado como GPT-6 ou GPT-5.7.
Atualmente, ele está passando por "testes Trump".
Por que isso importa
AnáliseEsta notícia é significativa pois o Astra pode revolucionar as abordagens para resolver problemas complexos em matemática e ciência da computação teórica, demonstrando o potencial dos agentes de IA na pesquisa científica.
Debater na comunidade
Compartilhe suas dúvidas e insights com desenvolvedores
Relacionado no ecossistema
Guias práticos, terminologia essencial e skills de agentes
OpenAI GPT (Modelos Flagship da Série GPT)
A principal linha universal de grandes modelos de linguagem da OpenAI (GPT-4, GPT-4o). Otimizada para análise textual complexa, programação, criatividade e trabalho intelectual diário.
OpenAI prepara GIFs animados para o ChatGPT
A OpenAI adicionou suporte experimental à geração de GIFs animados no Codex, usando a OpenAI Images API. A função pode chegar ao ChatGPT em breve.
Codex Skills para iniciantes: como automatizar fluxos de trabalho de agentes de IA
Guia prático para criar e usar Skills no Codex: anatomia do SKILL.md, ativação explícita e automática, diferenças entre skills, scripts e tools, Skills API e configuração de limites de segurança.
GPT Mini (Modelos compactos da série GPT-4o mini)
Versão econômica e ultrarrápida dos modelos principais da OpenAI. Otimizada para tarefas diárias em massa, respostas instantâneas, classificação de textos e economia de limites.