A OpenAI afirmou nesta terça-feira (6) que seu novo modelo interno deinteligência artificialproduziu377 resultados matemáticos complexos, que incluem respostas para questões ainda sem solução e alguns avanços em problemas que pesquisadores tentavam resolver há tempos.
Os trabalhos passam por áreas comoálgebra,teoria dos números,lógica matemática,topologiaeciência da computação teórica.
Esses campos estudam desde relações entrenúmeroseestruturas abstratasatéregras de raciocínioe problemas usados na base dealgoritmos, sequências de instruções que fazem computadores resolverem tarefas.
Segundo a empresa, parte dos resultados resolve questões em aberto e parte representa avanços em problemas que ainda estavam sendo estudados.
Muitas das demonstrações foram checadas noLean, um sistema usado para verificar se os passos de uma prova matemática seguem corretamente as regras da lógica.
Essa checagem ajuda a confirmar se os passos da prova estão corretos, mas não substitui uma análise de pesquisadores sobre o que há de novo em cada resultado.
A divulgação ocorre cerca de um mês depois de a OpenAI anunciar um avanço ligado às equações de Navier-Stokes, um dos chamadosProblemas do Milênio,considerados alguns dos desafios mais difíceis da matemática.
A quantidade de resultados divulgados de uma vez, contudo, chamou atenção porque o modelo usado pela empresa ainda não está disponível ao público.
Isso impede que outros pesquisadorestestem o sistema nas mesmas condiçõesetentem reproduzir o processoque levou às respostas.
Justamente por isso, alguns matemáticos defendem que empresas de IAexpliquem melhorcomo esses resultados foram obtidos, incluindo qual modelo foi usado, quais comandos foram dados e como o trabalho foi produzido.
A OpenAI diz que começou a divulgar mais detalhes sobre os resultados e que pretende melhorar as próximas publicações.
Segundo a empresa, o resultado médio consumiu o equivalente a cerca detrês horas de processamentono modo de raciocínio doChatGPT Pro.
A companhia também afirma que trabalha para liberar de forma responsável o modelo que produziu os resultados.
OpenAI afirma que novo modelo produziu 377 resultados matemáticos complexos; entenda
Empresa diz que sistema avançou em problemas de diferentes áreas da matemática e da computação. Parte dos resultados foi checada por ferramentas de verificação, mas pesquisadores cobram mais transparência sobre o modelo.