O mundo da matemática está em efervescência, e o motivo é a OpenAI. No início de outubro, a empresa lançou um conjunto massivo de centenas de resultados matemáticos, gerados em grande parte por um modelo de inteligência artificial ainda não revelado.
Essa avalanche de 722 artigos, que abordam 372 problemas em aberto, desde álgebra até ciência da computação teórica, foi descrita como um “matematicalipse” e provocou um choque sem precedentes na comunidade.
O Lançamento Massivo da OpenAI e as Promessas Milionárias
A OpenAI afirmou que seus modelos poderiam “ampliar as fronteiras do conhecimento humano”. Muitos dos artigos prometiam avanços significativos em problemas de alta visibilidade e longa data.
Entre eles, destacam-se a Hipótese de Riemann e a Conjectura de Birch e Swinnerton-Dyer, cada uma valendo US$ 1 milhão como parte dos Problemas do Prêmio do Milênio.
A magnitude e a forma dessa divulgação, contudo, levantaram imediatamente questionamentos e desconfiança entre os matemáticos.
Por Que a OpenAI Fez Isso? As Motivações por Trás do “Bombardeio”
A OpenAI declarou que sua motivação era “promover mais progresso na matemática”. No entanto, a maneira como a divulgação foi feita não pareceu propícia a esse objetivo.
As razões para essa jogada estratégica da empresa podem ser complexas e multifacetadas. Analistas e matemáticos apontam para diversas possibilidades:
- Artigos incompreensíveis: Muitos trabalhos eram tão indecifráveis que um editor de revista matemática os “jogaria direto na lixeira”. Até o próprio ChatGPT (GPT-5.6 Sol) descreveu um dos resultados como uma “alucinação grave”.
- Desviar atenção: A OpenAI pode ter buscado desviar o foco de uma controvérsia anterior, envolvendo uma solução para o problema de Navier-Stokes. A empresa foi acusada por matemáticos de ter acessado seus dados e ideias.
- Impulsionar a AGI: A capacidade de resolver problemas matemáticos complexos pode dar credibilidade à narrativa de que os modelos da OpenAI estão próximos da Inteligência Artificial Geral (AGI). Isso seria um grande benefício antes de um possível IPO, com uma avaliação esperada de até US$ 1,4 trilhão.
Confiabilidade em Xeque: Erros e Ceticismo no Coração da Matemática
A matemática pura baseia-se na verdade objetiva, estabelecida por consenso e revisão por pares. Esse processo é rigoroso e pode levar anos para artigos mais longos.
A abordagem da OpenAI, com um lançamento em massa, contraria essa tradição. A confiança nos resultados foi rapidamente abalada por fatos preocupantes:
- Retiradas e correções: A OpenAI já retirou três artigos devido a erros elementares e corrigiu vários outros por equívocos que invalidavam os resultados. Isso sugere uma clara falta de revisão pré-publicação.
- Formalização por máquinas: Para incentivar a confiança, a OpenAI afirmou ter formalizado 300 resultados. Contudo, há evidências anteriores de problemas com formalizações geradas por IA, e a comunidade ainda não aceitará as da OpenAI.
A verdade matemática exige verificação minuciosa, algo que a velocidade da IA parece ignorar, forçando a comunidade a um trabalho hercúleo de auditoria.
O Impacto Profundo na Comunidade Matemática
As reações ao lançamento da OpenAI foram amplamente divididas, variando de entusiasmo a ceticismo severo. Alguns consideraram o “momento mais significativo da história da matemática”, enquanto outros o viram como uma “pilha gigante de cocô”.
Apesar do entusiasmo inicial com o potencial avanço em problemas importantes, a comunidade enfrenta incertezas e preocupações fundamentais:
- Sobrecarga de verificação: Quem arcará com o trabalho de tentar dar sentido a argumentos que, à primeira vista, parecem “lixo gerado pela IA”?
- Futuro da pesquisa: O que o volume e a velocidade dessas descobertas significam para a pesquisa humana? Como o trabalho de estudantes e pesquisadores em início de carreira será valorizado, diante da possibilidade de antecipação por IA?
Este “matematicalipse” da OpenAI forçou os matemáticos a uma profunda reflexão sobre os valores e o futuro de sua disciplina. A discussão sobre o papel da IA na descoberta matemática está apenas começando.
