OpenAI divulga 719 provas matemáticas sob questionamentos de pesquisadores

A OpenAI divulgou, em data não especificada na matéria da TechCrunch, 719 manuscritos com soluções para problemas matemáticos avançados, mas pesquisadores questionaram a compreensão humana e a formalização dos resultados.

O Grupo Consultivo sobre Matemática e Inteligência Artificial, ligado ao Institute for Advanced Studies da Universidade de Princeton, reúne nove pesquisadores de instituições de diversos países e publicou diretrizes para laboratórios de fronteira no fim de setembro.

A OpenAI afirmou que avaliava seus modelos proprietários com problemas matemáticos de pesquisa aberta. Essa prática contrariou a primeira recomendação do grupo, que pedia o fim dos testes de problemas avançados em modelos proprietários.

Apenas 10 dos 719 manuscritos divulgaram a cadeia de raciocínio dos modelos. Além disso, 42% das provas publicadas pela OpenAI não haviam passado por formalização.

Um artigo de matemáticos da Universidade de Cambridge e do King’s College London identificou ao menos duas discrepâncias entre a explicação em linguagem natural e o código em Lean usado em uma solução relacionada às equações de Navier-Stokes. As diferenças não comprovam que as soluções estejam erradas, mas levantam dúvidas sobre a capacidade dos modelos de formalizar seus próprios resultados sem participação humana.

Por que importa: A falta de compreensão humana e de revisão independente pode dificultar a validação das provas, a identificação de erros, o compartilhamento de métodos e a aplicação prática de novas descobertas matemáticas.

Reportagem original apurada por TechCrunch.