OpenAI revela Astra, um modelo de IA que resolveu dez problemas de matemática que intrigavam matemáticos há décadas

A OpenAI confirmou oficialmente a existência de um novo modelo de IA, o Astra, descrevendo-o como sua 'próxima grande família de modelos'. Uma versão interna do Astra ajudou a resolver dez problemas em aberto em matemática e ciência da computação teórica, nos quais pesquisadores trabalhavam sem sucesso há pelo menos dez anos e, em alguns casos, muito mais tempo. Os problemas resolvidos incluem tópicos em geometria de alta dimensão, teoria de codificação, teoria de grupos, complexidade quântica, criptografia baseada em reticulados e combinatória extremal. Notavelmente, o Astra construiu o primeiro exemplo de um grupo não sófico, um objeto cuja existência era discutida há muitos anos. O matemático Thomas Bloom, da Universidade de Manchester, chamou os resultados de 'grande notícia', observando que são mais significativos do que o contraexemplo de maio para a conjectura da distância unitária, mas não acredita que os matemáticos serão substituídos por IA em breve, pois os sistemas de IA são construídos com base no trabalho de longo prazo da comunidade matemática. Noam Brown, desenvolvedor de tecnologia de raciocínio na OpenAI, disse que a empresa tentou aplicar o Astra a outros problemas famosos em aberto, mas até agora sem sucesso, e escreveu no X: 'Infelizmente, nenhum problema do Prêmio Millennium (ainda)'. O Instituto de Matemática Clay paga US$ 1 milhão por cada um dos sete Problemas do Prêmio Millennium, dos quais apenas um foi resolvido desde 2000. A OpenAI estima que a computação necessária para todas as dez soluções custaria cerca de US$ 2.000 às taxas atuais de API para seu modelo Sol. Os pesquisadores transformaram as ideias em artigos científicos completos, e todas as provas foram formalizadas em Lean, um sistema que combina uma linguagem de programação com um verificador interativo de provas, fornecendo provas verificadas por máquina. A OpenAI publicou o raciocínio passo a passo para cada resultado, enfatizando que os pesquisadores são responsáveis pelas publicações finais, mas as ideias matemáticas e a lógica de prova vieram do Astra. Anteriormente, a OpenAI disse que estava desenvolvendo uma nova família de modelos para tarefas longas e complexas, e o CEO Sam Altman apresentou o Astra a autoridades governamentais e reguladoras dos EUA, destacando sua capacidade de coordenar muitos agentes de IA. Segundo fontes, o Astra se juntará às famílias de modelos Sol, Terra e Luna, e seu nome comercial é desconhecido. A OpenAI prometeu publicar um relatório técnico detalhado. Os novos modelos estão passando por testes internos e serão os primeiros a serem avaliados sob um procedimento dos EUA para modelos avançados de IA, com um desafio-chave sendo o raciocínio estável de cadeia longa.