A OpenAI revelou o nome de sua próxima grande família de modelos de inteligência artificial, o Astra, acompanhado de uma demonstração incomum: uma versão interna do sistema produziu soluções para dez problemas em aberto de matemática e ciência da computação teórica, alguns sem qualquer progresso há quase 30 anos.
Os problemas resolvidos
Segundo manuscrito de 249 páginas publicado pela própria OpenAI, os resultados cobrem áreas como geometria de alta dimensão, teoria da codificação, teoria dos grupos, complexidade de circuitos aritméticos, complexidade quântica, criptografia baseada em reticulados e combinatória extremal. O resultado mais comentado é a primeira construção explícita provando a existência de grupos não sóficos — uma questão em aberto na teoria dos grupos desde que o matemático Mikhail Gromov introduziu o conceito de sofia, em 1999, ficando sem resposta por 27 anos. Outros destaques incluem uma refutação da conjectura de rigidez de Connes e o primeiro avanço, desde 1978, no limite superior geral de densidade de empacotamento de esferas em altas dimensões.
Um custo surpreendentemente baixo
Um dos pontos mais chamativos do anúncio é o custo: segundo a OpenAI, encontrar as dez soluções custou, ao todo, cerca de US$ 2 mil em uso computacional, usando as taxas de API do GPT-5.6 Sol. A empresa afirma ter verificado formalmente cada demonstração usando o Lean, um assistente de prova matemática que permite a qualquer pessoa conferir a validade de um resultado de forma independente — os certificados verificáveis foram publicados junto com o material.
Ceticismo saudável da comunidade científica
A reação da comunidade acadêmica foi de entusiasmo misturado com cautela. Alguns matemáticos, como Thomas Bloom, da Universidade de Manchester, chamaram os resultados de uma notícia relevante, especialmente pelo caráter de "construção" de alguns deles. Ao mesmo tempo, especialistas lembram que alegações semelhantes de laboratórios fechados sobre modelos ainda não lançados já se mostraram exageradas no passado — em outubro de 2025, a própria OpenAI havia afirmado que um modelo anterior havia resolvido dez problemas de Erdős, alegação que posteriormente precisou ser revista.
Um modelo pensado para tarefas longas
Segundo a OpenAI, o Astra é construído para tarefas que se estendem por horas ou até dias, com múltiplos agentes de IA trabalhando em conjunto — e deve formar uma nova classe de modelo ao lado das já existentes Sol, Terra e Luna. Ainda não está decidido se o produto final vai se chamar GPT-6 ou alguma variação dentro da própria linha GPT-5, e não há data de lançamento confirmada. O CEO Sam Altman já demonstrou o Astra a autoridades em Washington, e o modelo deve ser um dos primeiros a passar por um novo framework de pré-revisão de IA que o governo americano está preparando.
Por que isso importa
O anúncio reforça uma mudança de postura das grandes empresas de IA: em vez de apenas divulgar pontuações em benchmarks técnicos, cada vez mais laboratórios buscam demonstrar capacidade através de contribuições científicas verificáveis e de impacto real — mesmo que ainda cause debate sobre até que ponto esses resultados representam descoberta genuína ou apenas uma vitrine bem calculada. Para a comunidade matemática, a expectativa agora é de verificação independente dos resultados publicados, algo que só deve se consolidar nas próximas semanas.
Fonte: TechCrunch/Bleeping Computer - "OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems", publicado em 1º de agosto de 2026, com informações adicionais do The Decoder e TechCrunch.