Inteligência Artificial surpreende ao resolver 377 problemas matemáticos complexos

Na mais recente demonstração do potencial da inteligência artificial (IA), a OpenAI anunciou na terça-feira (6) que sua tecnologia conseguiu solucionar 377 problemas de matemática considerados avançados, abrangendo áreas como álgebra, teoria dos números, lógica matemática, ciência da computação teórica e topologia. Segundo a empresa, os resultados representam um avanço significativo na capacidade das máquinas de ajudar no entendimento de questões que até então desafiavam matemáticos humanos há décadas.

O feito chamou atenção especialmente após a divulgação, no mês passado, de que a mesma IA havia resolvido a equação de Navier-Stokes, considerada um dos Problemas do Milênio, uma lista de sete desafios matemáticos considerados de extrema dificuldade e cujo preenchimento garante um prêmio de um milhão de dólares por problema. Essa solução foi considerada um marco, embora ainda não confirmado oficialmente se a demonstração foi resultado de um raciocínio criativo da IA ou de uma conclusão automática baseada em trabalhos anteriores de humanos.

De acordo com fontes ligadas à OpenAI, essas novas descobertas envolvem um modelo de IA mais avançado que, até o momento, não está disponível para o público geral. A empresa também afirmou estar trabalhando com um conselho consultivo de matemáticos, sediado no Instituto de Estudos Avançados, em Princeton, nos Estados Unidos, com o objetivo de orientar a comunicação e validação dos resultados gerados pelas máquinas. Em comunicado recente, o conselho destacou que a divulgação desses resultados é apenas o começo da compreensão humana sobre o que a IA pode fazer no campo da matemática.

Para assegurar a validade das demonstrações, muitas delas foram verificadas usando a linguagem de programação Lean, que garante a consistência lógica das soluções. Além disso, a OpenAI disponibilizou resumos de como suas IAs chegaram às respostas para dez dessas soluções, e cada uma delas levou, em média, três horas de processamento computacional. Mesmo assim, a empresa afirmou que seguiu as recomendações do conselho consultivo para a divulgação, evitando especular sobre até que ponto as máquinas podem substituir os métodos tradicionais de investigação matemática.

No entanto, uma questão ainda sem resposta é se as IAs estão realmente criando novas estratégias ou apenas reproduzindo ideias encontradas previamente nos trabalhos de humanos. Além disso, o conselho teria sugerido que as empresas de IA deveriam parar de aplicar seus modelos em problemas matemáticos cada vez mais complexos, recomendação que, segundo relatos, não teria sido totalmente adotada pela OpenAI. Segundo o conselho, essa prática de testes contínuos em áreas avançadas é ainda motivo de debate no meio científico, que busca um equilíbrio entre inovação e cautela.