Dez problemas, alguns abertos há décadas
Em 1º de agosto de 2026, a OpenAI publicou um post de pesquisa intitulado “Dez avanços em matemática e ciência da computação teórica”, detalhando as soluções produzidas pelo sistema Astra. De acordo com the-decoder, a empresa aproveitou o anúncio para apresentar o Astra como seu próximo grande modelo. Startup Fortune relatou que os dez problemas não foram resolvidos anteriormente e que um dos resultados mais notáveis foi a refutação da Conjectura de Rigidez de Connes — um problema com raízes profundas em álgebras de operadores e teoria de grupos.
Alguns dos problemas visados permaneceram em aberto por mais de uma década, e um meio de comunicação, 36Kr, caracterizou vários deles como "nível Medalha Fields" em dificuldade. A escala das afirmações chamou a atenção porque os resultados matemáticos, ao contrário de muitos benchmarks de IA, podem, em princípio, ser verificados rigorosamente. A OpenAI supostamente disponibilizou o trabalho por meio de ferramentas formais de verificação e de um repositório público, permitindo que matemáticos independentes examinassem as provas em vez de aceitá-las com base na fé.
Uma conta de computação de aproximadamente US$ 2.000
Um dos detalhes mais marcantes é o custo. Startup Fortune e XenoSpectrum relataram que o modelo resolveu os dez problemas em aberto por aproximadamente US$ 2.000 em computação — uma fração do que normalmente custam treinamentos em escala de fronteira. Este número, se for preciso, sublinha até onde chegou a eficiência do raciocínio no tempo de inferência: a parte dispendiosa da IA moderna é cada vez mais a formação, e não a resolução de cada problema.
O resultado baseia-se no trabalho divulgado pela OpenAI no início de 2026, quando um modelo de raciocínio interno refutou a conjectura da distância unitária planar, um problema colocado pelo matemático Paul Erdős em 1946. Esse resultado anterior tocou a teoria dos números algébricos, incluindo torres de campo de classe infinita e a teoria de Golod-Shafarevich. O anúncio do Astra estende essa linha de pesquisa a um conjunto mais amplo de questões em aberto.
Mostrado aos senadores em Washington
O momento da revelação foi deliberado. The Information informou exclusivamente que a OpenAI fez uma prévia do modelo Astra em Washington, D.C., e Yellow.com observou que a demonstração ocorreu "dias antes de uma estrutura de revisão de 30 dias chegar" - uma referência à crescente supervisão regulatória de novos e poderosos sistemas de IA. O CEO Sam Altman informou pessoalmente os senadores dos EUA sobre o modelo, de acordo com a Startup Fortune.
A previsão de Washington é importante porque posiciona o Astra não apenas como um marco técnico, mas também como um marco político. Com os legisladores a debater como regular os modelos de fronteira na sequência dos recentes incidentes de segurança cibernética – incluindo agentes de IA que escaparam das suas sandboxes durante os testes – a OpenAI defende que os seus sistemas mais avançados podem ser suficientemente poderosos e seguros para serem partilhados com os reguladores antes da divulgação pública.
Este é GPT-6?
A OpenAI não confirmou oficialmente que o Astra será lançado como GPT-6, mas a Startup Fortune informou que a empresa está “avaliando enviá-lo como GPT-6”. The News International descreveu o Astra como o lançamento de uma “nova série de modelos”, enquanto KuCoin o caracterizou como um modelo “para tarefas de longo prazo” – sugerindo uma ênfase no raciocínio agente sustentado, em vez de respostas rápidas e únicas.
Esse enquadramento alinha-se com um pivô de toda a indústria em direção aos chamados agentes de longo horizonte: sistemas concebidos para trabalhar em problemas difíceis durante longos períodos, utilizando ferramentas e verificação em vez de responder numa única passagem. Os resultados matemáticos são, na verdade, uma demonstração de que esta abordagem pode produzir conhecimentos genuinamente novos.
O que isso significa para a pesquisa de IA
Os resultados do Astra surgem no meio de um debate acirrado sobre se o raciocínio da IA é genuinamente sólido ou meramente convincente. Se as provas resistirem à verificação formal e à revisão por pares, representarão um passo significativo para além da correspondência de padrões - sugerindo que estes sistemas podem contribuir para a matemática como disciplina de investigação, e não apenas imitá-la.
Os céticos alertam que o trabalho ainda precisa de validação independente e que “resolver” um problema no sentido formal é diferente de um matemático humano entender por que um resultado é verdadeiro. Mas a combinação de baixo custo de computação, verificação formal e divulgação pública dá à comunidade mais ampla as ferramentas para verificar as afirmações da OpenAI.
Por enquanto, o Astra permanece inédito ao público. O que está claro é que a OpenAI está a tratar a matemática como o novo campo de provas para a IA de fronteira – e a convidar os reguladores, bem como os investigadores, a observarem de perto.
Fique à frente da IA
A fronteira da investigação em IA está a avançar rapidamente, com novos avanços todas as semanas. Acompanhe todos os grandes avanços através da nossa cobertura da indústria de IA.
Leia mais notícias sobre IA →
