No início de outubro, a OpenAI fez uma divulgação impactante ao apresentar mais de 700 resultados matemáticos que, segundo a empresa, têm o potencial de “ampliar as fronteiras do conhecimento humano”. Os 722 artigos abordam 372 problemas não resolvidos, abrangendo áreas como álgebra, geometria e ciência da computação teórica, e foram majoritariamente gerados por um modelo de inteligência artificial ainda não revelado.
A forma como essa informação foi divulgada, rotulada de várias maneiras como um “matematicalipse”, gerou uma onda de reações na comunidade matemática. Embora alguns artigos aleguem avanços notáveis, como na hipótese de Riemann e na conjectura de Birch e Swinnerton-Dyer, cada um oferecendo um prêmio de US$ 1 milhão por sua solução, muitos questionam a legitimidade e a clareza dos resultados apresentados.
A polêmica divulgação dos resultados
A motivação da OpenAI para essa ampla divulgação é “promover mais progresso na matemática”. No entanto, a maneira como os resultados foram apresentados não parece favorecer esse objetivo. Especialistas relatam que muitos dos artigos são de difícil compreensão. Um professor, ao revisar um dos textos, afirmou que se tivesse recebido o artigo para publicação, “teria ido direto para a lixeira”.
Além disso, a própria ferramenta da OpenAI, o ChatGPT, demonstrou ceticismo sobre alguns resultados, descrevendo um deles como “uma alucinação grave… [que] nunca deveria ser citada, submetida ou divulgada como prova sem uma auditoria completa por especialistas”. Isso levanta sérias dúvidas sobre a qualidade dos trabalhos apresentados.
Desvios e questões de credibilidade
A OpenAI pode estar tentando mudar o foco de uma polêmica anterior, relacionada a uma solução contestada para um caso do problema de Navier-Stokes, também um dos desafios do Prêmio do Milênio. Os matemáticos Tristan Buckmaster e Levent Alpöge alegaram que a OpenAI usou suas ideias e dados, enquanto a empresa negou essas alegações.
Com a crescente discussão sobre inteligência artificial geral (AGI), que poderia superar humanos em diversas tarefas, a capacidade da OpenAI de resolver problemas matemáticos complexos pode reforçar a noção de que a empresa está se aproximando de um marco significativo em IA. Essa percepção pode ser vantajosa para a OpenAI, especialmente com uma possível abertura de capital no horizonte.
Confiabilidade dos resultados matemáticos
A matemática é fundamentada em verdades objetivas, onde afirmações podem ser verificadas como verdadeiras ou falsas. Tradicionalmente, a validação de novos resultados é um processo rigoroso, envolvendo revisão por pares, que pode levar anos. A OpenAI, no entanto, já teve que retirar três artigos devido a erros elementares e corrigiu outros, sugerindo uma falta de revisão adequada antes da publicação.
A era da formalização na matemática
Nos últimos anos, tem crescido o interesse por formalizar resultados matemáticos com o uso de sistemas de software, como o Lean, que permite verificar cada passo lógico de um resultado. A OpenAI afirma ter formalizado 300 resultados até o momento, mas a aceitação pela comunidade matemática ainda é incerta, especialmente após problemas anteriores com formalizações geradas por IA.
Reações da comunidade matemática
As reações à divulgação da OpenAI foram polarizadas, com alguns considerando como “o momento mais significativo da história da matemática”, enquanto outros a veem como uma “pilha gigante de cocô jogada na nossa porta”. Esse contraste reflete o entusiasmo e a preocupação dos especialistas sobre o futuro da pesquisa matemática, especialmente para aqueles em início de carreira que temem ver seus trabalhos ofuscados por descobertas feitas por IA.
Essas recentes revelações forçam a comunidade matemática a refletir sobre o que realmente valoriza e como os resultados gerados por IA impactarão as práticas de pesquisa e a percepção do trabalho acadêmico a longo prazo. A discussão a respeito dessas questões continuará muito além dessa controvérsia recente.
