Novo sistema de inteligência artificial da OpenAI gerou centenas de soluções para problemas matemáticos desafiadores.
A OpenAI revelou que seu mais recente modelo interno de inteligência artificial conseguiu produzir 377 resultados relevantes em áreas avançadas da matemática. Entre as soluções, estão respostas para questões ainda não resolvidas e progressos em problemas que vinham sendo estudados há anos por pesquisadores.
Os avanços abrangem campos como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação teórica, que envolvem desde o estudo de relações numéricas e estruturas abstratas até a formulação de algoritmos e regras de raciocínio lógico.
Para validar parte dessas descobertas, a empresa utilizou o Lean, uma ferramenta que verifica se as provas matemáticas seguem rigorosamente os princípios da lógica formal. Embora essa verificação confirme a correção dos passos das demonstrações, a avaliação do impacto e da novidade dos resultados ainda depende da análise de especialistas humanos.
O anúncio acontece pouco mais de um mês após a OpenAI divulgar um avanço relacionado às equações de Navier-Stokes, um dos Problemas do Milênio, conhecidos por sua complexidade extrema. A divulgação simultânea de tantos resultados gerou curiosidade, principalmente porque o modelo responsável ainda não foi disponibilizado para o público, dificultando a replicação dos experimentos por outros cientistas.
Pesquisadores da área recomendam maior transparência das empresas de inteligência artificial, pedindo detalhes sobre os modelos usados, os comandos aplicados e o processo de obtenção dos resultados. A OpenAI informou que está começando a compartilhar mais informações e planeja aprimorar essa comunicação em futuras publicações.
Segundo a companhia, cada resultado demandou, em média, cerca de três horas de processamento utilizando o modo de raciocínio do ChatGPT Pro. A empresa também afirmou que trabalha para liberar o modelo de forma responsável, garantindo um uso seguro e controlado da tecnologia.