OpenAI publica centenas de resultados matemáticos de modelo interno ainda não lançado
A OpenAI anunciou a publicação de um amplo conjunto de resultados matemáticos — organizados como 722 manuscritos em 372 famílias — produzidos por um modelo interno de fronteira ainda não lançado ao público, abordando problemas matemáticos em aberto.
O modelo recebeu cerca de 4.000 problemas durante a avaliação, com cada resultado a consumir em média cerca de três horas de computação equivalente ao "ChatGPT Pro thinking"; quase todos os artigos nasceram de um único prompt a um único agente, segundo a própria OpenAI. Entre os resultados mais notáveis: uma região livre de zeros para a função zeta de Riemann e uma prova da conjetura de Hodge para variedades abelianas CM. Muitos artigos têm versões formais verificáveis na linguagem Lean, mas nem todos — a OpenAI admite que alguns resultados sem verificação formal podem ter problemas.
O Advisory Group on Mathematics and Artificial Intelligence, que aconselhou a OpenAI, sublinhou que o seu aconselhamento "não é um aval" aos resultados, chamando ao lançamento "o início, não a conclusão, do processo de compreensão humana". Houve ceticismo explícito de matemáticos como Tristan Buckmaster (NYU), que duvidou que a OpenAI tenha feito a devida diligência num lançamento tão massivo de uma só vez, e Andrew Sutherland (MIT), que pede para tratar as alegações como não verificadas até que outros consigam reproduzir os resultados.
Fontes
- OpenAI openai.com
- TheNextWeb thenextweb.com
Resumo editorial em português feito com apoio de inteligência artificial a partir das fontes indicadas. Como fazemos o Boletim IA.