Provas matemáticas da OpenAI sob escrutínio devido à falta de compreensão humana

A OpenAI lançou recentemente centenas de soluções para problemas matemáticos complexos, mas matemáticos argumentam que os resultados carecem de compreensão humana suficiente. O Grupo Consultivo sobre Matemática e Inteligência Artificial (AGMAI), sediado no Instituto de Estudos Avançados do Princeton, pediu aos laboratórios para interromper os testes de matemática avançada em modelos proprietários. A OpenAI alegou seguir algumas diretrizes, como a publicação rápida dos resultados e a inclusão da justificativa do modelo, mas apenas 10 de 719 artigos incluíram processos de pensamento detalhados. O AGMAI também solicitou a formalização das provas, um passo que apenas 42% dos artigos da OpenAI conseguiram alcançar. Um artigo da Universidade de Cambridge e King's College destacou discrepâncias entre as explicações em linguagem natural e o código formal nas soluções da OpenAI para problemas de Navier-Stokes. Terence Tao criticou a falta de envolvimento humano com os resultados gerados por IA. Melanie Wood observou que, sem compreensão humana, o trabalho está apenas começando.