IA da OpenAI resolve problemas matemáticos complexos e gera debate

Plataformas de inteligência artificial (IA) estão revolucionando a pesquisa matemática, resolvendo problemas complexos que antes desafiavam os maiores especialistas do mundo em tempos recordes. A OpenAI, em particular, tem se destacado nesse campo, anunciando a solução de centenas de problemas matemáticos e até mesmo um dos sete Problemas do Milênio propostos pelo Clay Mathematics Institute.

Em outubro, a OpenAI informou ter resolvido 372 problemas matemáticos até então sem solução, publicando os resultados online. Meses antes, a empresa causou surpresa e reações mistas ao alegar ter solucionado o Problema de Navier-Stokes em apenas 88 horas. Este problema, que envolve equações cruciais para a descrição do movimento de líquidos e gases, possui aplicações em diversas áreas como engenharia, medicina e previsão do tempo.

O Problema de Navier-Stokes e suas Implicações

A solução para o Problema de Navier-Stokes, um dos sete problemas do milênio com prêmio de US$ 1 milhão oferecido pelo Clay Mathematics Institute, foi estimada em um custo de processamento de US$ 15 milhões pela OpenAI. Apesar de a empresa ter afirmado que não reivindicaria o prêmio, o Instituto Clay confirmou que a questão aparentemente foi resolvida, embora a avaliação formal da prova ainda esteja em andamento.

As equações de Navier-Stokes são fundamentais para a compreensão de fluidos e gases, com impacto direto em áreas como desenvolvimento de aeronaves, oceanografia e previsão do tempo. Uma das implicações indiretas da solução pode ser o aumento da eficiência no resfriamento de data centers, essenciais para o processamento de cargas computacionais de IA, que utilizam sistemas de refrigeração líquida e a ar.

A OpenAI utilizou cerca de 10 mil agentes de IA que atuaram de forma autônoma, sob supervisão humana, para encontrar a solução. A demonstração matemática foi publicada em Lean, uma ferramenta de verificação de demonstrações computacionais criada pelo cientista brasileiro Leonardo de Moura.

Críticas e Controvérsias na Comunidade Científica

Apesar dos avanços, a utilização da IA na pesquisa matemática não está isenta de controvérsias. O matemático Tristan Buckmaster, professor na New York University, acusou a OpenAI de ter seguido um caminho de solução similar ao de sua própria investigação, utilizando a ferramenta Codex da própria empresa. A OpenAI nega a acusação.

Marcelo Viana, diretor-geral do Instituto Nacional de Matemática Pura e Aplicada (IMPA), destaca a capacidade da IA em reunir e combinar ferramentas existentes com velocidade e habilidade excepcionais, impulsionada por vastos volumes de dados e poder de processamento. Contudo, ele alerta que as motivações comerciais das plataformas de IA podem estar desalinhadas com os objetivos da comunidade científica.

“Os últimos desenvolvimentos são coisas que estão acontecendo, não só ocorrem de maneira independente da comunidade matemática, mas de certa forma à revelia dela. Temos de ter consciência disso até para não sermos manipulados, porque, no final das contas, as motivações principais são de ordem comercial. Dito isso, a essa altura é inegável que a IA mudou completamente a regra do jogo na área da matemática”, afirma Viana.

Benefícios e Riscos da IA na Pesquisa

Anderson Soares, diretor de IA (CAIO) da IA Brasil, ressalta a capacidade da IA de atuar como um especialista em temas mais abrangentes, conectando conhecimentos que um único matemático, especializado em poucas áreas, poderia não conseguir. A IA pode testar milhões de caminhos em paralelo, algo que a mente humana, embora criativa, não consegue fazer com a mesma escala.

Por outro lado, Diogo Cortiz, professor da PUC-SP, aponta riscos como a estagnação do raciocínio humano e a terceirização do processo criativo para a tecnologia. Ele cita o economista Daron Acemoglu, que argumenta que o progresso do conhecimento humano se dá pelo processo de tentativa e erro, gerando conhecimento residual. O uso excessivo da IA pode levar a um colapso na produção de novos caminhos conceituais.

Um risco adicional apontado por Cortiz é o potencial da IA em causar uma “grande divergência” no desenvolvimento econômico e social entre países. Nações como os Estados Unidos e a China, com plataformas de IA avançadas e capital para investir em infraestrutura, podem se distanciar significativamente de outros países, repetindo um padrão histórico de desigualdade visto na Revolução Industrial.