A OpenAI divulgou em São Francisco, nos Estados Unidos, um acervo com centenas de demonstrações matemáticas geradas por um modelo interno de inteligência artificial. A publicação ocorreu na terça-feira (6) e provocou reações imediatas na comunidade acadêmica internacional, com divergências entre pesquisadores sobre o alcance real das provas computacionais e o futuro da profissão diante da automação de descobertas teóricas.
O lote reúne 722 manuscritos preliminares cobrindo 372 famílias de problemas matemáticos, disponibilizados em um repositório público no GitHub. O material foi formulado a partir de um sistema de inteligência artificial que ainda não está liberado ao público geral, exigindo um tempo médio de processamento e raciocínio computacional de 3 horas por resultado no ChatGPT Pro.
Resultados da OpenAI cobrem hipótese de quase Riemann e tópicos em aberto
Entre os textos apresentados, o de maior repercussão técnica trata da hipótese de quase Riemann. A demonstração apresentada pela empresa estabelece uma faixa livre de zeros em θ = 7/8, valor equivalente a 0,875, apontada por especialistas como um passo intermediário em direção à histórica hipótese de Riemann original. A questão central integra a lista dos famosos Problemas do Prêmio do Milênio, criada na virada do século pelo Clay Mathematics Institute.
Alex Kontorovich, chefe do Departamento de Matemática e professor emérito da Universidade Rutgers, destacou a dimensão do anúncio ao avaliar o nível técnico das proposições descritas pelo modelo. “Se um ser humano tivesse feito isso, ganharia imediatamente uma Medalha Fields, sem discussão”, afirmou o professor, em referência à principal honraria conferida a matemáticos com menos de 40 anos.
Nenhum dos 5 Problemas do Prêmio do Milênio ainda pendentes foi totalmente solucionado nessa divulgação. No entanto, os artigos trazem avanços parciais ou desdobramentos correlatos em áreas centrais da disciplina, incluindo álgebra, topologia, lógica matemática, teoria dos números e ciência da computação teórica. Parte significativa das demonstrações foi acompanhada de formalizações na linguagem Lean, uma ferramenta de programação estruturada para a checagem computacional passo a passo.
Saiba mais: OpenAI lança agentes Dots e modelo GPT-6.1 Sol no DevDay 2026
Ken Ono, professor da Universidade da Virgínia e fundador da Axiom Math, indicou que ainda não é possível saber com clareza se a solução para a hipótese de quase Riemann funcionará como ponte direta para desatar o problema original. O pesquisador ponderou, no entanto, que o resultado traz uma quantidade expressiva de ramificações matemáticas que podem orientar pesquisas e novas etapas de investigação nos próximos anos.
Veja também: OpenAI cria sistema com detecção de até 95% para textos de IA
Como a comunidade científica reagiu aos manuscritos da OpenAI?
As reações dos cientistas ao volume divulgado variaram entre o reconhecimento da capacidade de cálculo e a preocupação com os rumos da produção científica. Martin Bridson, professor da Universidade de Oxford e presidente do Clay Mathematics Institute, resumiu a surpresa provocada pela velocidade da divulgação em larga escala feita de maneira simultânea.
“Até muito recentemente, teria sido impossível imaginar que as fronteiras da matemática pudessem avançar tanto em um único dia”, disse Bridson. O matemático completou sua análise sobre o papel dos novos sistemas no trabalho humano: “Devemos acolher o poder que as máquinas oferecem, mas não devemos ficar subordinados a seguir o caminho que elas ditam”.
A velocidade de publicação também causou críticas severas quanto à ausência de filtros e checagens tradicionais antes do lançamento público. Bryna Kra, professora da Universidade Northwestern e ex-presidente da Sociedade Americana de Matemática, apontou que a circulação massiva atropela o rigor acadêmico tradicional construído ao longo de décadas.
“A revisão por pares deixou de existir nesse processo. Portanto, a questão é: que tipo de impacto terão esses resultados gerados por IA? A comunidade matemática levará muito tempo para assimilar tudo isso”, afirmou Kra. A professora também alertou para o risco de prejuízo ao ambiente de pesquisa, caso modelos corporativos se apropriem de argumentos e intuições prévias formuladas por pesquisadores que utilizam as ferramentas para testar suas próprias ideias.
Outro posicionamento veio de Jean-Pierre Serre, professor emérito do Collège de France e vencedor da Medalha Fields e do Prêmio Abel, que comemorou seu centenário em 15 de setembro de 2026. Um dos manuscritos da OpenAI abordou afirmativamente uma conjectura formulada por ele há quase 70 anos. O pesquisador destacou o impacto psicológico dessa transição para quem está no início da trajetória profissional.
“Os matemáticos sentem prazer em fazer matemática de duas maneiras diferentes: aprendendo e descobrindo. Daí o conflito: a IA aumenta o primeiro prazer e reduz o segundo. O problema é que ela pode reduzir demais esse prazer; isso é especialmente grave para os jovens matemáticos”, declarou Serre.
Parâmetros e estatísticas do lote divulgado pela OpenAI
O conjunto divulgado pela empresa na Califórnia reúne números expressivos que ilustram a magnitude da operação computacional, conforme os registros técnicos do repositório:
- 722 manuscritos matemáticos compartilhados no repositório público do GitHub;
- 372 grupos e famílias de problemas teóricos abordados nos textos;
- Cerca de 4.000 problemas matemáticos testados internamente pelo modelo da empresa;
- 3 horas de processamento do ChatGPT Pro exigidas em média para a formulação de cada solução;
- 3 artigos retirados do repositório público pela empresa para checagem e correções até 8 de outubro de 2026.
Tensões entre a indústria de tecnologia e os centros de pesquisa
A publicação do lote em outubro de 2026 ampliou atritos acumulados entre corporações de tecnologia e institutos de pesquisa acadêmica. Semanas antes, em 8 de setembro de 2026, a OpenAI já havia enfrentado resistência ao divulgar uma alegação de solução para as equações de Navier-Stokes, desafio que conta com um prêmio de US$ 1 milhão administrado pelo Clay Mathematics Institute. Aquele anúncio levou 25 vencedores da Medalha Fields a expressarem preocupação pública sobre ética acadêmica e direitos sobre pesquisas teóricas.
O Clay Mathematics Institute mantém a exigência estatutária de que qualquer resolução proposta para um Problema do Milênio permaneça sob análise e verificação aberta da comunidade mundial por dois anos antes de qualquer premiação ser decidida. Paralelamente, o grupo consultivo independente sobre Matemática e IA do Institute for Advanced Study, que reuniu pareceres de mais de 600 matemáticos, havia recomendado formalmente que companhias de inteligência artificial suspendessem testes com problemas de fronteira em modelos proprietários fechados, orientação que a OpenAI não acatou.
A perda de espaço para métodos tradicionais de aprendizado e a dependência de sistemas corporativos geram dúvidas práticas entre doutorandos. Thomas Carlson, pesquisador no Instituto Simons Laufer de Ciências Matemáticas e doutorando na Universidade Estadual de Montana, questionou o futuro da qualificação acadêmica formal. “O que pode ser feito para garantir que alguém formado em 2028 tenha um diploma com o mesmo valor que o de alguém formado em 2023?”, ponderou Carlson.
No mesmo sentido, Kai Shaikh, doutorando na Universidade de Toronto, ponderou que o valor da matemática não reside apenas nos teoremas fechados, mas no esforço humano de elaboração e descoberta conceitual, algo que demonstrações frias produzidas por máquinas não conseguem reproduzir plenamente.
Datas dos principais acontecimentos na disputa entre IA e matemática
Os marcos mais recentes que definem os debates entre os modelos computacionais e a comunidade científica seguiram o seguinte calendário:
- 8 de setembro de 2026: OpenAI anuncia resolução alegada para as equações de Navier-Stokes, iniciando atritos sobre apropriação científica;
- 15 de setembro de 2026: centenário do matemático Jean-Pierre Serre é celebrado em Paris, antes de o autor ter uma tese antiga abordada pela IA;
- 6 de outubro de 2026: repositório com 722 artigos matemáticos gerados por inteligência artificial é tornado público na internet;
- 8 de outubro de 2026: OpenAI remove 3 textos preliminares da plataforma pública para análise após constatação de incoerências;
- 9 de outubro de 2026: pesquisadores e entidades acadêmicas intensificam a cobrança por auditoria independente nos manuscritos restantes.
A validade matemática definitiva de cada uma das centenas de demonstrações divulgadas pela OpenAI ainda não está confirmada por meio de revisão por pares independente. Os pesquisadores estimam que a tarefa de validação linha por linha das provas exigirá anos de escrutínio por matemáticos especializados em cada campo.
