A OpenAI anunciou nesta terça-feira (6) que seu mais recente modelo interno de inteligência artificial alcançou um marco significativo ao entregar 377 resultados em problemas matemáticos de alta complexidade. O feito abrange áreas fundamentais como teoria dos números, álgebra, topologia, lógica matemática e ciência da computação teórica, oferecendo soluções para questões que permaneciam sem resposta e progredindo em desafios que há muito tempo ocupavam pesquisadores.
Validação e rigor científico
Para garantir a precisão das demonstrações, a companhia utilizou o Lean, um sistema de verificação formal que atesta se os passos de uma prova matemática respeitam rigorosamente as regras da lógica. Embora essa ferramenta confirme a correção dos cálculos e da estrutura lógica, a empresa ressalta que o processo não dispensa a análise crítica de especialistas humanos para avaliar a originalidade e a relevância científica de cada descoberta.
O desafio da transparência e acesso
A divulgação de um volume tão expressivo de resoluções de uma só vez gerou questionamentos, principalmente porque o modelo responsável pelo feito ainda não foi disponibilizado publicamente. A ausência de acesso ao sistema impede que a comunidade científica independente realize testes, tente reproduzir os resultados ou valide a metodologia empregada pela OpenAI.
Diante desse cenário, especialistas da área defendem uma postura mais aberta por parte das desenvolvedoras de tecnologia. A demanda é que as empresas expliquem melhor como esses resultados foram obtidos, incluindo qual modelo foi usado, quais comandos foram dados e como o trabalho foi produzido.
Próximos passos da OpenAI
Em resposta à demanda por maior clareza, a OpenAI informou que já iniciou a publicação de detalhes adicionais sobre esses resultados e que planeja aprimorar a transparência em suas futuras divulgações. De acordo com a organização, cada solução exigiu, em média, cerca de três horas de processamento no modo de raciocínio do ChatGPT Pro.
O anúncio acontece pouco tempo após a companhia ter revelado avanços relacionados às equações de Navier-Stokes, um dos desafios matemáticos mais difíceis do mundo. Atualmente, a empresa assegura que trabalha para viabilizar a liberação responsável do modelo que gerou essas novas demonstrações matemáticas.
