OpenAI Apresenta Astra: Nova Família de Modelos para Tarefas de Longo Prazo

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".