
Logo da OpenAI aparece ao lado de mão robótica.
Reuters/Dado Ruvic
A OpenAI afirmou nesta terça-feira (6) que seu novo modelo interno de inteligência artificial produziu 377 resultados matemáticos, que incluem respostas para questões ainda sem solução e avanços em problemas que pesquisadores tentavam resolver.
Os trabalhos passam por áreas como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica.
Em termos simples, são campos que estudam desde relações entre números e estruturas abstratas até regras de raciocínio e problemas usados na base de algoritmos.
📱Favorite o g1 no Google e acompanhe as principais notícias do dia
Segundo a empresa, parte dos resultados resolve questões em aberto e parte representa avanços em problemas que ainda estavam sendo estudados. Entre eles, a OpenAI cita trabalhos em matemática pura e também melhorias em algoritmos de computação.
Muitas das demonstrações foram checadas no Lean, 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 a estrutura formal da prova, mas não substitui a análise dos pesquisadores sobre o que há de novo em cada resultado.
📱Baixe o app do g1 para ver notícias em tempo real e de graça
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 chamados Problemas do Milênio, considerados alguns dos desafios mais difíceis da matemática.
A quantidade de resultados divulgados de uma vez chamou atenção porque o modelo usado pela empresa ainda não está disponível ao público. Isso impede que outros pesquisadores testem o sistema nas mesmas condições e tentem reproduzir o processo que levou às respostas.
Um grupo independente de matemáticos ligado ao Institute for Advanced Study, em Princeton, nos Estados Unidos, defende que empresas de IA ofereçam mais informações sobre os modelos, os comandos usados e o processo de produção desses trabalhos.
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 de três horas de processamento no modo de raciocínio do ChatGPT Pro.
A companhia também afirma que trabalha para liberar de forma responsável o modelo que produziu os resultados. Enquanto isso, matemáticos seguem analisando as demonstrações para entender quais avanços podem de fato ser incorporados às pesquisas da área.
LEIA TAMBÉM:
Espécie achada em esterco de gado pode explicar a origem do ‘cogumelo mágico’ mais cultivado do mundo
Cientistas encontram fóssil de tiranossauo gigante que pode ser parente antigo do T. rex
Estudos sugerem que o Sol ‘fugiu’ do centro da Via Láctea junto com estrelas gêmeas
Anthropic bloqueia uso de IA em pesquisa de armas biológicas
OpenAI afirma que novo modelo produziu 377 resultados matemáticos complexos; entenda
1