OpenAI confirma 'próxima grande família de modelos' Astra, resolvendo dez problemas de matemática em aberto de uma só vez

A OpenAI confirmou oficialmente o nome de sua próxima grande família de modelos, Astra, e publicou um relatório de matemática mostrando que uma versão interna da Astra resolveu dez problemas anteriormente não resolvidos em matemática e ciência da computação teórica. Os problemas abrangem áreas diversas, incluindo geometria de alta dimensão, teoria de codificação, teoria de grupos, complexidade quântica, criptografia de reticulados e combinatória extremal. Entre os problemas resolvidos está uma prova da existência de grupos não sóficos, uma questão central em aberto na teoria de grupos. O matemático Thomas Bloom, da Universidade de Manchester, chamou os resultados de 'grandes notícias' no X, classificando-os acima do contraexemplo para a conjectura da distância unitária publicado em maio. Noam Brown, figura-chave por trás da tecnologia de raciocínio em tempo de teste que sustenta a Astra, reconheceu no X que a OpenAI também falhou em outros problemas importantes, incluindo os Problemas do Prêmio do Milênio, observando que eles não gastaram muito poder computacional por problema e que o cálculo em tempo de teste pode ser escalado ainda mais. Brown descreveu a Astra como um 'grande passo para o raciocínio científico'. O custo computacional para as soluções foi notavelmente baixo: de acordo com a OpenAI, os tokens necessários teriam custado cerca de 2.000 dólares aos preços da API do modelo Sol. Os argumentos foram então processados por humanos juntamente com o mesmo modelo em manuscritos, e cada prova foi formalizada em um certificado Lean, uma confirmação verificável por máquina da correção matemática. A OpenAI também publicou uma narrativa do processo de pensamento do modelo para cada solução. A empresa esclareceu que, embora tenham ajudado na preparação do manuscrito e na formalização e assumam a responsabilidade pela correção, os argumentos matemáticos em si vieram do sistema, e reivindicar autoria humana para uma prova totalmente gerada por IA deturparia tanto a contribuição do sistema quanto a natureza do trabalho intelectual humano genuíno, referindo-se aos signatários da Declaração de Leiden sobre IA e Matemática. Bloom relativizou a ideia de que a IA substitui matemáticos, argumentando que não é apropriado dizer isso quando a IA se baseia em mais de um século de teoria matemática, foi construída por matemáticos e foi treinada em tudo o que os matemáticos já escreveram. Relatos anteriores indicaram que o CEO Sam Altman demonstrou a Astra a políticos e reguladores em Washington, D.C., e que a Astra é uma nova classe de modelo distinta das famílias existentes Sol, Terra e Luna, com a possibilidade de ser lançada como GPT-6 ou como uma variante dentro da série GPT-5, como GPT-5.7. Espera-se que a Astra seja o primeiro modelo a passar por um novo framework planejado pela administração Trump, que exige revisão do governo federal antes do lançamento público. O modelo é projetado para colaboração multiagente em períodos prolongados, visando resolver projetos complexos e tarefas matemáticas avançadas. A OpenAI declarou seu objetivo de desenvolver sistemas de IA que possam trabalhar em problemas por horas ou dias, e até março de 2028 pretende completar um pesquisador de IA totalmente autônomo.