Matemáticos pedem que colegas parem de trabalhar com a OpenAI

A OpenAI publicou 372 resultados de um modelo interno ainda não lançado que, segundo ela, resolvem ou fazem avançar problemas em aberto de longa data na matemática e na ciência da computação teórica, informa a Scientific American. As alegações incluem a conjectura de Kakeya em quatro dimensões, e muitas provas foram verificadas em Lean, uma linguagem que checa a lógica de uma prova. Um porta-voz disse que um único prompt dado a um único agente de IA produziu quase todos eles.

A disputa é sobre transparência. Um grupo consultivo de matemáticos, formado depois do resultado anterior da OpenAI sobre Navier-Stokes, recomendou publicar o modelo, o prompt exato e o tempo de computação por trás de cada resultado. A OpenAI divulga só o tempo médio de computação e nenhum prompt, e diz que as recomendações não a obrigam. Andrew Sutherland, do MIT, disse à revista que alegações de tentativa única continuam não verificadas até que terceiros consigam reproduzi-las; Daniel Litt, de Toronto, afirmou que a divulgação é boa para a matemática.

Para quem avalia as alegações de pesquisa de um laboratório, qualquer pessoa pode refazer a checagem em Lean de uma prova, mas como um modelo a produziu continua inverificável sem o modelo e o prompt.