A OpenAI anunciou nesta terça-feira (6) que seu mais recente modelo interno de inteligência artificial foi capaz de gerar 377 resultados matemáticos complexos. O feito inclui desde respostas para questões que antes permaneciam sem solução até avanços significativos em problemas que desafiavam pesquisadores havia longos períodos.
Os trabalhos desenvolvidos pela tecnologia abrangem diversas disciplinas fundamentais da matemática e da computação, passando por áreas como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica. Esses campos investigam desde estruturas abstratas e relações numéricas até as regras de raciocínio lógico que fundamentam os algoritmos utilizados por computadores.
De acordo com a companhia, parte dos dados obtidos soluciona definitivamente questões em aberto, enquanto outra parcela representa progressos substanciais em investigações em andamento. Para garantir a validade lógica, grande parte das demonstrações foi submetida ao Lean, um sistema especializado em verificar se os passos de uma prova matemática cumprem rigorosamente as regras da lógica formal. No entanto, especialistas ressaltam que essa checagem automatizada não substitui a avaliação aprofundada de matemáticos humanos sobre a relevância e a originalidade de cada descoberta.
O anúncio ocorre cerca de um mês após a própria OpenAI revelar progressos associados às equações de Navier-Stokes, consideradas um dos célebres 'Problemas do Milênio' e tidas como alguns dos maiores desafios da matemática contemporânea. Apesar da repercussão, a expressiva quantidade de resultados divulgados simultaneamente gerou questionamentos na comunidade acadêmica, principalmente porque o modelo utilizado permanece restrito ao ambiente interno da empresa.
A falta de acesso público ao sistema impede que pesquisadores independentes testem a tecnologia sob as mesmas condições ou tentem replicar o processo que gerou as respostas. Por esse motivo, matemáticos têm defendido maior transparência por parte das empresas de tecnologia, exigindo detalhes claros sobre os modelos empregados, os comandos (prompts) utilizados e a metodologia exata de produção.
Em resposta aos questionamentos, a OpenAI declarou que já iniciou o processo de compartilhar mais detalhes sobre as pesquisas e que planeja aprimorar a transparência em futuras publicações. Segundo a corporação, o esforço computacional médio para cada resultado consumiu o equivalente a cerca de três horas de processamento no modo de raciocínio avançado do ChatGPT Pro, e a empresa avalia formas de liberar o modelo ao público de maneira segura e responsável.
Fonte original: G1
