OpenAI revela Astra, modelo que avançou em dez problemas matemáticos | Alura Cursos Online
OpenAI revela Astra, modelo que avançou em dez problemas matemáticos
4 min4 minutos de leitura
4 min4 minutos de leitura
A OpenAI divulgou, em 1º de agosto de 2026, dez resultados matemáticos obtidos por uma versão interna do Astra. A empresa descreve o sistema como seu próximo grande modelo.
Autor(a)
Fabrício Carraro
Fabrício Carraro é formado em Engenharia da Computação pela UNICAMP e pós-graduado em Data Analytics & Machine Learning pela FIAP. Atualmente, mora na Espanha.
Inscreva-se em nossa Newsletter
Fique por dentro de conteúdos, insights e oportunidades do universo tech. Receba novidades e lançamentos direto no seu e-mail.
Cada um dos dez resultados resolve ou avança de forma substancial um problema em aberto há anos. As áreas envolvidas incluem geometria de alta dimensão, teoria de códigos e criptografia baseada em reticulados.
O anúncio chega três meses depois de a OpenAI ter divulgado uma refutação gerada por IA da conjectura da distância unitária de Erdős. Aquele resultado também havia sido descoberto durante a avaliação de um modelo ainda não lançado publicamente.
O que é o Astra?
O Astra ainda não é um produto disponível ao público: trata-se de uma versão interna de pesquisa, usada pela OpenAI para testar capacidades avançadas antes de qualquer lançamento comercial. A divulgação foi publicada no site de pesquisa da própria empresa.
O que aconteceu
Os dez problemas abordados pelo Astra abrangem geometria de alta dimensão, teoria de códigos e complexidade de circuitos aritméticos. A lista inclui ainda teoria de grupos, álgebras de operadores, complexidade quântica, criptografia baseada em reticulados e combinatória extremal, segundo a OpenAI.
A empresa faz uma distinção importante: nem todos os dez problemas foram integralmente resolvidos. Parte deles corresponde a avanços substanciais, não a soluções completas.
A questão da autoria vem antes da técnica na explicação da OpenAI. A empresa diz assumir a responsabilidade pela correção das provas, mas afirma que os argumentos matemáticos em si foram gerados pelo sistema. Essa distinção deve pesar em como créditos científicos serão atribuídos a partir de agora.
Só depois vem o processo que sustenta essa validação. Os argumentos produzidos pelo Astra foram organizados em manuscritos por pessoas usando o mesmo modelo. Na prática, cada argumento foi formalizado em um certificado Lean, ferramenta de verificação formal de provas, publicado em repositório aberto.
Além disso, a empresa divulgou, para cada solução, a narração do próprio modelo sobre seu raciocínio. Segundo a OpenAI, o total de tokens necessário custaria cerca de US$ 2 mil nas tarifas de sua API interna.
Quando modelos da OpenAI começaram a apresentar resoluções de problemas?
O anúncio retoma um episódio anterior.
Em maio, a OpenAI já havia compartilhado uma refutação gerada por IA da conjectura da distância unitária de Erdős, obtida durante a avaliação de um modelo ainda não lançado. Naquela época, o achado já havia impulsionado novas pesquisas em geometria e ciência da computação teórica, publicadas por outros autores em seguida.
E não é a primeira IA que ajuda humanos a resolverem problemas. Esse ano, o Claude Fable 5 ajudou o matemático Levent Alpöge, ligado a Harvard e à Anthropic, a resolver um problema matemático de 87 anos.
Por que isso importa para quem trabalha com tecnologia
Problemas matemáticos que resistem por décadas costumam exigir caminhos de raciocínio pouco óbvios. Gerações de pesquisadores humanos não conseguiram formalizá-los. Um modelo de IA abrindo novos ângulos para esses problemas sugere uma capacidade de explorar hipóteses em escala difícil de reproduzir manualmente.
Esse avanço não acontece sem contestação. Em junho de 2026, 16 pesquisadores de 15 universidades publicaram a Declaração de Leiden sobre IA e Matemática, endossada pela União Matemática Internacional. O documento alerta sobre riscos à confiabilidade de provas geradas por IA e à concentração de poder em empresas de tecnologia.
A própria refutação de maio da OpenAI já havia gerado críticas: a matemática Melanie Matchett Wood apontou que a empresa não citou adequadamente pesquisas anteriores relacionadas ao tema.
Esse debate se conecta a uma tendência mais ampla de modelos de raciocínio, sistemas treinados para produzir cadeias de inferência longas antes de responder.
O Astra deixa de ser apenas ferramenta de assistência. Ele passa a atuar como participante de processos de pesquisa científica, ao lado de humanos, e não mais só como apoio a eles.
A publicação de refutações e provas por modelos ainda não lançados comercialmente também revela uma estratégia. Empresas de IA estão usando pesquisa científica de ponta como banco de testes para modelos futuros, antes de anunciá-los ao público em geral.
Quer entender melhor como os modelos de raciocínio funcionam?
Quer entender como a inteligência artificial está transformando produtos, empresas e formas de trabalhar? A Alura tem formações completas de IA aplicada, como a Carreira de Especialista em IA para você aprender a usar essas ferramentas na prática, do básico à estratégia de produto com inteligência artificial generativa.
