O Próximo ChatGPT é uma Besta: Já Resolveu Dez Problemas Matemáticos Impossíveis

OpenAI apresentou o Astra, seu próximo grande modelo de inteligência artificial, revelando que uma versão interna do sistema obteve avanços em dez problemas matemáticos que permaneciam sem solução há anos. A empresa realizou uma demonstração privada para legisladores dos Estados Unidos, visando garantir um futuro lançamento.

Segundo o BleepingComputer, a OpenAI apresentou o Astra como seu próximo modelo de IA após uma versão interna produzir dez avanços significativos em matemática e ciências da computação teórica. Em uma publicação em seu site, a empresa afirmou que os problemas em questão não apresentavam progresso em suas soluções há pelo menos uma década.

Os pesquisadores da OpenAI focaram em áreas como geometria de alta dimensão, teoria de códigos, complexidade de circuitos aritméticos, teoria de grupos, complexidade quântica, criptografia baseada em retículos e combinatória extremal. A empresa destacou que "todos eles são de grande interesse para suas respectivas comunidades matemáticas, e vários são de interesse geral para a matemática como um todo".

Entre os feitos do novo modelo da OpenAI está a solução para três problemas específicos de Paul Erdős, um matemático húngaro renomado por ser pioneiro na teoria dos números e na probabilidade. O método envolveu pesquisadores humanos utilizando o modelo para redigir os argumentos, que então eram traduzidos pelo Astra em um certificado em Lean para verificação da validade das provas.

OpenAI ainda não decidiu se Astra será chamado de GPT-5.7 ou GPT-6

Embora a OpenAI não tenha divulgado o nome ou detalhes sobre seu próximo modelo, um relatório do The Information confirmou que Astra será uma nova família de modelos para tarefas de longa duração.

Em uma reunião com legisladores e reguladores em Washington D.C., Sam Altman explicou que Astra permitirá que múltiplos agentes de IA colaborem entre si em diferentes partes de um mesmo problema. A OpenAI realizou uma demonstração onde agentes se coordenaram para resolver problemas complexos por longos períodos. A empresa afirmou que essa dinâmica ajudaria a solucionar desafios matemáticos avançados, como os publicados em seu blog.

Se confirmado, Astra se juntaria a outras famílias de modelos da OpenAI, como Sol, Terra e Luna. Atualmente, não se sabe quando ele chegará ao público ou se será sob o nome GPT-6, ou através de uma atualização da série GPT-5 (possivelmente como GPT-5.7). O que se sabe é que esses modelos já estão em fase de testes e seriam os primeiros a passar pelo novo quadro regulatório que os Estados Unidos está preparando.

Astra poderia seguir o caminho do Claude Fable e lançar uma versão limitada para o público em geral, enquanto a variante mais potente seria restrita a poucos e oferecida após aprovação governamental. A OpenAI prometeu publicar um relatório detalhado sobre como sua IA mais avançada conseguiu resolver 10 problemas matemáticos que estavam sem solução há anos.