Openai apresenta soluções inovadoras para 377 problemas matemáticos e provoca debate na comunidade científica

Na última terça-feira, a OpenAI divulgou resultados que abrangem diversas áreas, como álgebra, teoria dos números, ciência da computação teórica, lógica matemática e topologia. Este marco segue a recente conquista da empresa ao resolver as equações de Navier-Stokes, um dos Problemas do Milênio, que oferece uma recompensa de US$ 1 milhão por soluções.

Esses avanços levantam questões sobre a natureza do raciocínio da IA. Especialistas debatem se os sistemas da OpenAI estão realizando um raciocínio criativo ou simplesmente completando etapas de demonstrações matemáticas já concebidas por humanos. Os resultados foram gerados por um modelo de IA ainda não disponível ao público, o que intensifica a discussão sobre a transparência e a ética na divulgação de descobertas científicas.

Recentemente, a OpenAI formou um conselho consultivo composto por matemáticos para orientar a comunicação dos resultados gerados por IA à comunidade acadêmica. O grupo, sediado no Institute for Advanced Study em Princeton, Nova Jersey, visa estabelecer padrões que garantam a compreensão dos resultados pelos matemáticos e sua incorporação ao conhecimento existente.

Entre as recomendações do conselho está a divulgação completa dos comandos enviados aos agentes de IA, além de suas cadeias de raciocínio. Em um comunicado, o grupo enfatizou que a publicação dos resultados representa um início, não um fim, no processo de entendimento humano sobre esses avanços.

As soluções matemáticas foram verificadas com o uso do Lean, uma linguagem computacional que assegura a consistência lógica dos argumentos. Para dez das soluções, a OpenAI forneceu resumos explicativos sobre como o modelo de IA chegou aos resultados, com cada solução demandando, em média, cerca de três horas de processamento computacional.

Entretanto, a OpenAI parece hesitar em seguir uma recomendação central do conselho: interromper os testes de modelos proprietários em problemas matemáticos complexos ainda sem solução. O líder de pesquisa da OpenAI, Dan Roberts, defende que testar modelos em desafios complexos é essencial para o desenvolvimento de ferramentas melhores, mesmo que isso signifique gerar resultados que podem ser questionados.

A velocidade com que os problemas estão sendo resolvidos levanta preocupações sobre o impacto na disciplina matemática. Muitos matemáticos, como Tristan Buckmaster da Universidade de Nova York, expressam incerteza sobre se a utilização de ferramentas de IA por pesquisadores pode inadvertidamente fornecer informações que levem a respostas antes que eles próprios as descubram.

Com a quantidade significativa de resultados divulgados, a análise aprofundada dos trabalhos pode ser comprometida, levando a discussões sobre se o ritmo acelerado de resolução de problemas é benéfico ou prejudicial para a compreensão humana das soluções.

Fonte: infomoney.com.br