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 complexos, que incluem respostas para questões ainda sem solução e alguns avanços em problemas que pesquisadores tentavam resolver há tempos.
📱Favorite o g1 no Google e acompanhe as principais notícias do dia
Os trabalhos passam por áreas como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica.
Esses campos estudam desde relações entre números e estruturas abstratas até regras de raciocínio e problemas usados na base de algoritmos, 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 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 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 chamados Problemas 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 pesquisadores testem o sistema nas mesmas condições e tentem reproduzir o processo que levou às respostas.
Justamente por isso, alguns matemáticos defendem que empresas de IA expliquem melhor como esses resultados foram obtidos, incluindo qual modelo foi usado, quais comandos foram dados e como o trabalho foi produzido.
📱Baixe o app do g1 para ver notícias em tempo real e de graça
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.
Novo modelo da OpenAI produziu 377 resultados matemáticos complexos, segundo a empresa.
Pexels
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
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 complexos, que incluem respostas para questões ainda sem solução e alguns avanços em problemas que pesquisadores tentavam resolver há tempos.
📱Favorite o g1 no Google e acompanhe as principais notícias do dia
Os trabalhos passam por áreas como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica.
Esses campos estudam desde relações entre números e estruturas abstratas até regras de raciocínio e problemas usados na base de algoritmos, 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 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 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 chamados Problemas 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 pesquisadores testem o sistema nas mesmas condições e tentem reproduzir o processo que levou às respostas.
Justamente por isso, alguns matemáticos defendem que empresas de IA expliquem melhor como esses resultados foram obtidos, incluindo qual modelo foi usado, quais comandos foram dados e como o trabalho foi produzido.
📱Baixe o app do g1 para ver notícias em tempo real e de graça
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.
Novo modelo da OpenAI produziu 377 resultados matemáticos complexos, segundo a empresa.
Pexels
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