A OpenAI, gigante da inteligência artificial, agitou o mundo da matemática com a publicação de centenas de artigos contendo resultados em diversas áreas, desde álgebra e geometria até ciência da computação teórica. A iniciativa, que visa, segundo a empresa, “ampliar as fronteiras do conhecimento humano”, gerou tanto espanto quanto ceticismo na comunidade científica, levantando debates sobre a confiabilidade das descobertas e as reais intenções por trás da divulgação.
A avalanche de 722 artigos, produzidos em grande parte por um modelo de IA ainda não divulgado, aborda 372 problemas matemáticos, incluindo alguns de longa data e alta visibilidade, como a hipótese de Riemann e a conjectura de Birch e Swinnerton-Dyer, ambos com recompensas de US$ 1 milhão para suas soluções. A forma da divulgação, descrita por alguns como um “matematicalipse”, causou grande comoção, com muitos artigos sendo posteriormente retirados ou alterados devido a erros.
A motivação da OpenAI para essa divulgação em massa não é clara. Enquanto a empresa afirma que o objetivo é “promover mais progresso na matemática”, a maneira como os resultados foram apresentados levanta dúvidas. Um colega sênior descreveu um dos artigos como tão incompreensível que seria descartado por qualquer editor de revista científica. Inclusive, o próprio ChatGPT, modelo da OpenAI, demonstrou ceticismo em relação a alguns dos resultados mais notórios, classificando-os como “alucinações graves” que necessitam de auditoria completa por especialistas.
As informações foram reunidas a partir de dados divulgados por The Conversation.
Controvérsias e Possíveis Motivações
Esta não é a primeira vez que a OpenAI causa alvoroço no meio matemático. Em setembro, a empresa publicou uma solução controversa para um caso do problema de Navier-Stokes, outro dos Problemas do Prêmio do Milênio. Na ocasião, matemáticos alegaram que a OpenAI teria acessado seus dados e utilizado suas ideias, algo que a empresa negou.
Uma possível motivação para a OpenAI pode ser a busca por credibilidade em torno do conceito de Inteligência Artificial Geral (AGI), um tipo hipotético de IA capaz de superar os humanos em tarefas cognitivas. A capacidade de resolver problemas matemáticos complexos, uma área tradicionalmente considerada de alta dificuldade e que depende de raciocínio abstrato e rigoroso, pode reforçar a ideia de que os modelos de IA estão se aproximando da AGI. Essa percepção poderia beneficiar a OpenAI, especialmente considerando seu plano de abertura de capital, com expectativas de uma avaliação de mercado bilionária.
O Papel da Verificação e Formalização
A matemática se baseia na verdade objetiva e no consenso estabelecido através de séculos de revisão por pares. O processo tradicional de verificação de artigos matemáticos pode ser demorado, levando anos para alguns trabalhos complexos. A OpenAI, por sua vez, afirma ter formalizado 300 dos resultados com o uso de sistemas de software como o Lean, que verificam a lógica passo a passo. No entanto, a confiabilidade dessas formalizações geradas por IA ainda é questionada, com exemplos anteriores de problemas com a formalização do problema de Navier-Stokes.
A reação da comunidade matemática à divulgação da OpenAI tem sido polarizada. Enquanto alguns celebram o potencial avanço em problemas centrais, outros expressam ceticismo e preocupação com o volume e a velocidade das descobertas, questionando o impacto no futuro da pesquisa e quem arcará com o ônus de verificar tais resultados. A situação força a comunidade a refletir sobre seus valores e o que significa produzir e validar conhecimento em uma era de IA avançada, um debate que promete se estender muito além da repercussão inicial.
