A OpenAI publicou mais de 350 trabalhos em que a IA resolve problemas matemáticos investigados por pesquisadores há décadas. Os resultados foram disponibilizados em um repositório público em 6 de outubro de 2026 e geraram reações que vão do espanto ao entusiasmo entre matemáticos do mundo todo.
O material abrange álgebra, teoria dos números, topologia, lógica matemática e ciência da computação teórica. São dezenas de milhares de páginas, o que dificulta a verificação. Até 8 de outubro, a empresa havia retirado três artigos e feito correções em outros.
O que a IA demonstrou (e o que ainda está em aberto)
Um dos trabalhos apresenta uma demonstração da hipótese quase-Riemann, variante relacionada à hipótese de Riemann. Essa hipótese é um dos sete Problemas do Milênio, listados pelo Clay Mathematics Institute, cada um com prêmio de US$ 1 milhão para quem apresentar uma solução verificada. Nenhum dos cinco ainda em aberto foi completamente resolvido pelos trabalhos da OpenAI, mas há avanços indiretos em todos eles.
Alex Kontorovich, chefe do departamento de matemática da Universidade Rutgers, escreveu nas redes sociais que um dos resultados mereceria a Medalha Fields se tivesse sido produzido por um humano. Martin Bridson, da Universidade de Oxford e presidente do Clay Mathematics Institute, descreveu a divulgação como impressionante. Para ele, até pouco tempo atrás seria difícil imaginar que as fronteiras da matemática avançassem tanto em um único dia.
Ken Ono, da Universidade da Virgínia e fundador da Axiom Math, disse que a reação inicial de muitos matemáticos foi como "um soco no estômago", seguido de entusiasmo. Jean-Pierre Serre, 100 anos, vencedor da Medalha Fields e do Prêmio Abel, se interessou pelo resultado de número 46 da lista, que confirma uma conjectura que ele formulou há quase sete décadas.
A OpenAI não informou qual modelo de IA foi usado nem os métodos empregados.
Dúvidas sobre verificação e revisão por pares
Bryna Kra, da Universidade Northwestern e ex-presidente da Sociedade Americana de Matemática, afirmou que, apesar de impressionantes, algumas demonstrações são difíceis de compreender. A revisão por pares, etapa padrão de validação científica, não fez parte da divulgação inicial.
Kra também levantou a hipótese de que parte dos trabalhos possa ter se beneficiado de argumentos ainda não publicados por pesquisadores, o que exporia ideias inéditas antes que seus autores pudessem publicá-las. Os artigos citam literatura anterior, mas há indícios de que ao menos alguns deles incorporaram argumentos que não estavam disponíveis publicamente.
Uma porta-voz da OpenAI disse que erros identificados são corrigidos e que trabalhos são retirados quando os problemas não podem ser resolvidos.
Por que isso importa para o seu negócio
A matemática pode parecer distante do cotidiano empresarial, mas é a base de algoritmos de precificação, modelos de risco, otimização logística e criptografia. Quando a IA resolve problemas matemáticos aplicados a essas áreas, os efeitos chegam a sistemas de segurança, análise de dados e motores de recomendação.
O impacto mais direto está na velocidade de produção. Yuanning Zhang, doutorando da Universidade Northwestern, descreveu a sensação como vertigem. Se os resultados forem verificados, disse, a pesquisa matemática assistida por IA pode estar começando a operar em escala industrial. Para empresas que dependem de pesquisa e desenvolvimento, isso significa que o ritmo de inovação em ferramentas analíticas pode acelerar de forma significativa.
Thomas Carlson, doutorando na Universidade Estadual de Montana, questionou como a formação acadêmica será avaliada diante dessas ferramentas. A pergunta é válida para além das universidades: como validar o conhecimento de um analista ou engenheiro quando a IA resolve problemas matemáticos antes mesmo de a pergunta ser formulada?
Conteúdo reescrito e traduzido para PT pela redação luiscortex, revisado por humano.
Fontes:
