A OpenAI publicou nesta semana 722 manuscritos de matemática produzidos com a participação de um modelo interno de inteligência artificial que ainda não foi lançado ao público. O material está organizado em 372 grupos de resultados e inclui trabalhos relacionados a problemas de pesquisa em diferentes áreas da matemática.
A iniciativa chama atenção por mostrar uma nova fronteira para a inteligência artificial: em vez de apenas responder perguntas ou auxiliar pesquisadores, modelos mais avançados começam a ser testados na produção de novos resultados científicos.
Os trabalhos foram disponibilizados publicamente pela OpenAI em um repositório no GitHub. A própria empresa, no entanto, alerta que os resultados estão em diferentes estágios de verificação e que parte do material ainda pode conter erros.
IA recebeu cerca de 4 mil problemas
Durante a avaliação, o modelo interno foi submetido a aproximadamente 4 mil problemas matemáticos.
A grande maioria dos resultados foi obtida utilizando o mesmo procedimento e o mesmo modelo ainda não disponibilizado pela OpenAI. Segundo as informações divulgadas junto ao material, cada resultado consumiu, em média, capacidade computacional equivalente a aproximadamente três horas de processamento do ChatGPT Pro com esse modelo interno.
O resultado final foi organizado em 372 famílias. Cada família pode reunir um resultado principal, argumentos complementares, consequências matemáticas ou diferentes formas de demonstração.
Por isso, os 722 manuscritos não significam que a IA resolveu 722 problemas independentes.
Essa distinção é importante para compreender o tamanho do anúncio sem transformar o número divulgado pela empresa em uma quantidade equivalente de descobertas científicas.
Nem todos os resultados foram verificados formalmente
A própria OpenAI pede cautela na interpretação do material.
Parte dos trabalhos possui demonstrações formalizadas utilizando Lean, um sistema que permite representar provas matemáticas de maneira que possam ser verificadas por computador.
Mas isso ainda não ocorre com todo o catálogo.
A OpenAI afirma que continuará adicionando formalizações à coleção e reconhece que alguns dos resultados ainda não formalizados podem apresentar problemas.
O material também poderá receber correções e revisões. A empresa pretende manter disponíveis as versões anteriores para permitir o acompanhamento das mudanças.
Isso significa que a publicação deve ser entendida como parte de um processo de pesquisa e verificação, e não como a confirmação automática de centenas de descobertas matemáticas definitivas.
Modelo ainda não está disponível ao público
Outro elemento que chama atenção é o modelo responsável pelos resultados.
A OpenAI informa apenas que se trata de um modelo interno de fronteira, ainda não lançado comercialmente.
A companhia já havia revelado em setembro que estava treinando um novo sistema interno que apresentou desempenho acima das avaliações anteriores em matemática. Segundo a empresa, o avanço foi suficiente para que seus modelos passassem a ser avaliados diretamente em problemas de pesquisa que permaneciam em aberto.
Esse mesmo esforço já havia produzido um resultado de grande repercussão: uma solução apresentada pela OpenAI para o problema de existência e suavidade das equações de Navier–Stokes, um dos chamados Problemas do Prêmio Millennium.
Por que isso é importante para a inteligência artificial?
Grande parte da popularização recente da IA ocorreu em atividades como produção de textos e imagens, programação, buscas e automação de tarefas.
A utilização desses sistemas em problemas científicos muda o patamar da discussão.
Em vez de somente organizar conhecimento produzido anteriormente por seres humanos, a questão passa a ser se modelos de IA conseguem ajudar pesquisadores a produzir conhecimento novo, encontrar demonstrações e explorar problemas que ainda não possuem respostas conhecidas.
A matemática é especialmente relevante para esse tipo de avaliação porque uma demonstração pode, em determinadas situações, ser transformada em linguagem formal e verificada por computador.
Isso permite testar de maneira mais objetiva se determinado raciocínio produzido por uma IA está matematicamente correto.
Avanço também provoca debate entre matemáticos
O avanço rápido da inteligência artificial na área não está ocorrendo sem controvérsia.
Matemáticos vêm discutindo questões como verificação independente, autoria, atribuição de crédito científico e a forma como empresas de tecnologia devem divulgar resultados produzidos por modelos proprietários.
A OpenAI passou a trabalhar com um grupo consultivo independente formado por matemáticos para discutir justamente como resultados produzidos com inteligência artificial devem ser analisados e comunicados à comunidade científica. A empresa afirma ter considerado essas recomendações na divulgação dos novos trabalhos.
Agora, os 722 manuscritos ficarão disponíveis para análise da comunidade matemática.
O impacto científico de cada resultado dependerá dessa avaliação. Mas a escala do experimento já mostra que a corrida pela inteligência artificial está avançando para uma nova etapa: usar modelos não apenas para responder ao conhecimento existente, mas também para tentar ampliá-lo.