A OpenAI informou nesta terça-feira (6) que um de seus modelos internos gerou 377 resultados matemáticos complexos, entre eles respostas para questões sem solução conhecida e progressos em problemas que vinham sendo estudados por pesquisadores há anos. A empresa afirmou que os achados envolvem campos como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica.
Segundo a OpenAI, parte dos resultados resolve perguntas em aberto, enquanto outra parte representa avanços sobre problemas ainda em investigação. Muitas das demonstrações apresentadas pela empresa passaram por checagem no Lean, um sistema usado para verificar formalmente se os passos de uma prova seguem as regras da lógica. A companhia ressaltou que a verificação no Lean ajuda a confirmar a correção formal dos passos, mas não substitui a avaliação de especialistas sobre a originalidade ou a relevância dos resultados.
A divulgação sai cerca de um mês após a OpenAI anunciar um avanço relacionado às equações de Navier-Stokes, um dos chamados Problemas do Milênio. A quantidade de resultados revelada de uma só vez despertou atenção porque o modelo que produziu essas respostas ainda não foi tornado público. A indisponibilidade do sistema impede que outros pesquisadores reproduzam o processo ou testem o modelo nas mesmas condições.
Por isso, alguns matemáticos pedem maior transparência por parte das empresas de inteligência artificial, solicitando informações sobre qual modelo foi usado, quais comandos foram aplicados e como o trabalho foi conduzido. A OpenAI informou que começou a divulgar mais detalhes sobre os resultados e pretende aprimorar as publicações subsequentes.
Em comunicado, a empresa afirmou que o resultado médio consumiu o equivalente a cerca de três horas de processamento no modo de raciocínio do ChatGPT Pro. A OpenAI também disse que trabalha para liberar o modelo responsável pelos resultados de forma responsável.
As informações divulgadas agora descrevem o alcance dos trabalhos e os métodos de verificação adotados, sem disponibilizar o modelo nem os dados completos que permitiriam reprodução imediata por outros grupos de pesquisa.
Com informações de G1
