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.