A OpenAI disponibilizou em São Francisco, nos Estados Unidos, um repositório público com 722 manuscritos acadêmicos que reúnem soluções e avanços em problemas teóricos de matemática obtidos por um modelo interno de inteligência artificial. O conjunto de documentos abrange 372 famílias de resultados e foi produzido por um sistema experimental que ainda não está disponível ao público geral.
O anúncio ocorreu na terça-feira (6), quando a empresa oficializou a abertura dos arquivos na plataforma GitHub após submeter o sistema a cerca de 4.000 formulações complexas. Em comunicado oficial, a desenvolvedora declarou, em tradução livre: “Estamos liberando uma ampla gama de novos resultados matemáticos produzidos por um modelo de fronteira interno”. O diretor-executivo da OpenAI, Sam Altman, comemorou a divulgação em sua conta na rede social X ao escrever, em tradução livre, que “estamos entrando em uma nova era de descobertas agora”.
Leia também: OpenAI adia abertura de capital para priorizar segurança da IA
OpenAI publica resultados matemáticos e detalha processamento
A produção dos 722 manuscritos exigiu grande capacidade computacional para alcançar respostas estruturadas nos testes acadêmicos. De acordo com a organização, a média de processamento para cada conclusão correspondeu a aproximadamente três horas ininterruptas de raciocínio profundo no ChatGPT Pro, que opera com mecanismos avançados de lógica encadeada. Antes de estruturar os trabalhos publicados, a ferramenta de inteligência artificial falhou na maioria das cerca de 4.000 tentativas a que foi submetida durante as rotinas de cálculo.
Quase todos os textos acadêmicos foram concebidos a partir de uma única instrução direcionada a um agente autônomo de inteligência artificial encarregado de desenvolver o raciocínio matemático. O material produzido abrange áreas teóricas como álgebra, teoria dos números, lógica, topologia e fundamentos da ciência da computação teórica, reunindo provas lógicas e propostas de otimização de algoritmos computacionais.
Verificação de dados da OpenAI no sistema Lean
Para atestar a validade lógica dos argumentos, a equipe técnica da OpenAI recorreu ao assistente interativo Lean, um software utilizado pela comunidade acadêmica para confirmar formalmente se cada dedução obedece aos critérios formais de prova. Cerca de metade das demonstrações divulgadas já passou com êxito por esse crivo automatizado, e os pesquisadores da companhia trabalham na transcrição dos textos restantes para a linguagem formal do verificador.
Embora a checagem mecânica assegure a ausência de saltos lógicos nas deduções, a avaliação da relevância e da originalidade teórica das provas segue sob análise direta de pesquisadores independentes. Enquanto a documentação oficial da OpenAI registra 722 manuscritos organizados em 372 famílias de formulações, reportagens de veículos especializados contabilizam 377 questões em aberto e avanços teóricos solucionados pelo agente autônomo.
Veja também: OpenAI lança os Dots com integração a 4 mil aplicativos em nuvem dedicada
Critérios técnicos dos testes da OpenAI
- 722 manuscritos acadêmicos publicados no repositório openai/math na plataforma GitHub
- 372 famílias de resultados matemáticos catalogadas oficialmente pela empresa
- 377 questões em aberto e resultados matemáticos divulgados segundo reportagens especializadas
- Cerca de 4.000 problemas matemáticos apresentados ao sistema de inteligência artificial durante a fase de testes
- 3 horas de processamento equivalente de raciocínio no ChatGPT Pro demandadas em média por cada resultado obtido
Grupo em Princeton recomenda transparência sobre modelo da OpenAI
A publicação do material no repositório atendeu a recomendações do Grupo Consultivo em Matemática e Inteligência Artificial, colegiado independente sediado no Institute for Advanced Study, localizado em Princeton, no estado norte-americano de Nova Jersey. Criado em 21 de setembro de 2026, o comitê estabeleceu diretrizes para que desenvolvedores de tecnologia compartilhem etapas metodológicas, dados brutos e instruções utilizadas na condução de experimentos científicos para facilitar a reprodução externa dos achados.
A divulgação coletiva ocorre na esteira de um anúncio anterior feito pela OpenAI em 8 de setembro de 2026, quando a empresa reportou um avanço teórico e um contraexemplo relacionado às equações de Navier-Stokes, desafio que integra a lista dos Problemas do Milênio. O episódio gerou forte debate acadêmico, e setores da comunidade matemática manifestaram preocupação com a falta de acesso direto ao modelo proprietário, condição que inviabiliza a replicação exata do ambiente de geração das respostas.
Etapas de validação e modelo não lançado
A OpenAI declarou que pretende aprimorar a transparência das divulgações e informou que atua para liberar publicamente o sistema de forma responsável. Até o momento, a organização não revelou o nome oficial do modelo de inteligência artificial de fronteira, a data de lançamento comercial da ferramenta nem o prazo para a verificação completa de todos os 722 manuscritos no assistente Lean.