Modelo de IA da OpenAI Desvenda Dez Problemas Matemáticos e de Computação Inéditos

A OpenAI deu um passo e tanto ao revelar que seu mais novo modelo de IA, batizado de Astra, desvendou dez problemas matemáticos e de ciência da computação teórica que estavam em aberto. Essas descobertas abrangem campos complexos como geometria de alta dimensão, teoria de códigos, complexidade de circuitos aritméticos e criptografia de reticulados. Cada solução representa um avanço robusto, mostrando que a IA pode, sim, impulsionar a pesquisa fundamental em domínios que pareciam intocáveis.

O desenvolvimento do Astra já está alinhado com a estratégia da OpenAI de capacitar pesquisadores, como vimos no programa ChatGPT para Academic Researchers, que oferece acesso gratuito a modelos de ponta. Os argumentos das soluções foram gerados pelo modelo e, depois, preparados por humanos com a mesma ferramenta, formalizando cada um em um certificado Lean. Interessante que o custo total em tokens para essas soluções foi de aproximadamente 2 mil dólares, uma cifra que ressalta a eficiência computacional para tamanha complexidade.

Comparado aos avanços anteriores que o CEVIU noticiou, a principal mudança aqui é a escala e a diversidade das conquistas. Enquanto em maio o CEVIU cobriu o contraexemplo gerado por IA para a conjectura de Erdős sobre distância unitária, e em março de 2026 vimos o GPT-5.4 (xhigh) resolver outro problema isolado, o Astra agora entrega dez soluções simultaneamente em áreas distintas. Não se trata de uma única grande prova, mas de um conjunto variado de problemas que estavam sem progresso há pelo menos uma década. Isso mostra uma evolução significativa na capacidade dos modelos de IA para abordar e resolver desafios matemáticos complexos de forma mais abrangente e consistente.

O feito da OpenAI vai além da resolução de problemas específicos. Ele recalibra a expectativa sobre o papel da IA na pesquisa fundamental. Não estamos mais falando apenas de ferramentas para otimizar tarefas ou formalizar provas, mas de um agente capaz de gerar conhecimento inédito e resolver mistérios científicos de longa data. Isso pode acelerar exponencialmente o progresso em diversas áreas da matemática e da computação teórica, abrindo caminho para novas tecnologias e entendimentos que ainda nem vislumbramos. É um divisor de águas na colaboração entre humanos e IA.