A inteligência artificial da OpenAI, empresa responsável pelo ChatGPT, acaba de surpreender a comunidade científica com uma divulgação em larga escala: 372 conjuntos de resultados matemáticos, reunidos em 722 manuscritos. Publicado em 6 de outubro, o material foi produzido por um modelo avançado ainda não disponibilizado ao público e aborda problemas de longa data em diferentes áreas da matemática e da ciência da computação teórica.

++Pesquisa Atlas mostra Flávio Bolsonaro com 51,1% contra 45,7% de Lula no segundo turno

Os resultados incluem avanços em campos como álgebra, geometria, teoria dos números e lógica matemática. Segundo a OpenAI, parte das demonstrações foi formalizada em Lean, uma linguagem que permite verificar provas matemáticas com auxílio de computadores. A empresa também informou que o processamento de cada resultado utilizou, em média, um volume de computação equivalente a cerca de três horas de raciocínio do ChatGPT Pro.

A divulgação, no entanto, provocou reações divididas. Enquanto alguns pesquisadores demonstram entusiasmo com as possibilidades abertas pela tecnologia, outros questionam a clareza, a qualidade e a verificação de parte dos manuscritos. Especialistas também manifestaram preocupação com a publicação simultânea de tantos resultados, que pode dificultar a análise independente e afetar projetos desenvolvidos por matemáticos há anos.

++Camilo Santana ressalta reforços na equipe de Lula para estratégia do segundo turno

Apesar do impacto, os 372 conjuntos de resultados não significam que todos os problemas foram definitivamente resolvidos ou que todas as provas estejam validadas. A própria comunidade científica ainda precisa examinar o material e avaliar sua relevância. A iniciativa mostra o potencial crescente da inteligência artificial para a pesquisa matemática, mas também abre um debate sobre transparência, reconhecimento científico e o papel dos pesquisadores humanos diante de descobertas produzidas por máquinas.