A OpenAI anunciou que seu novo modelo de inteligência artificial gerou 377 resultados matemáticos, incluindo soluções para questões ainda não resolvidas e avanços em problemas estudados por anos. Estes resultados abrangem áreas como álgebra, teoria dos números, lógica matemática, topologia e ciência da computação.
Os novos dados não apenas fazem referência a questões em aberto, como também significam progresso em problemas que demandam persistentes pesquisas. Para garantir a validade desses resultados, foram checados em Lean, uma plataforma voltada à verificação de provas matemáticas, que assegura o respeito às regras lógicas, embora isso não substitua a análise crítica de especialistas na área.
A quantidade de resultados apresentados em uma única divulgação foi surpreendente, pois o modelo utilizado não está disponível ao público, o que tem gerado críticas de matemáticos. Eles pedem uma maior transparência na metodologia, incluindo detalhes sobre os comandos usados e o processo de produção das respostas.
Recentemente, a OpenAI também havia feito progresso em relação às equações de Navier-Stokes, que estão entre os desafios matemáticos fundamentais do século XXI. O tempo de processamento médio para cada um dos resultados foi de cerca de três horas usando o modo de raciocínio do ChatGPT Pro.
PublicidadeCom a promessa de melhorar a comunicação sobre seus resultados, a OpenAI se compromete a liberar, de forma responsável, o modelo que gerou esses avanços. O impacto desse trabalho poderá fortalecer a pesquisa matemática e abrir novas possibilidades de inovação no campo da ciência e tecnologia.