Um problema matemático considerado como pendente foi resolvido há 22 anos. Recentemente, o novo modelo de inteligência artificial da OpenAI, GPT-5Pro, conseguiu localizar uma prova publicada em 2003 sobre o Problema #339 de Erdős, a partir de uma captura de tela do problema, o que surpreendeu a comunidade matemática.
O Problema #339 de Erdős foi proposto pelo famoso matemático Paul Erdős e é um dos problemas clássicos da teoria dos números. O núcleo do problema é: se houver um conjunto A composto por números naturais, também chamado de base de ordem r, será possível garantir que o conjunto de inteiros formados pela soma de r elementos diferentes de A tenha densidade positiva inferior? Esse problema era considerado uma questão pendente na matemática há muito tempo e atraiu a atenção e os estudos de muitos matemáticos.
No entanto, pesquisas recentes mostraram que a resposta para esse problema já havia sido provada em 2003 em um artigo de Hegyvari, Hennecart e Plagne. O GPT-5Pro identificou com rapidez esse documento-chave analisando a captura de tela do problema, revelando assim a resposta. Essa capacidade demonstrou que o GPT-5Pro se tornou um detetive na comunidade acadêmica e oferece aos pesquisadores uma nova ferramenta para acelerar a pesquisa matemática.
Essa descoberta gerou discussões intensas na internet. Alguns internautas começaram a explorar outros problemas matemáticos relacionados, como o problema de Waring, mas rapidamente perceberam que eles diferem em termos de rigor em relação ao Problema #339 de Erdős, não afetando assim a conclusão original. Os especialistas começaram a prestar atenção à eficiência notável do GPT-5Pro no verificação de literatura acadêmica, acreditando que isso pode impulsionar significativamente o desenvolvimento da ciência.
Vários acadêmicos da comunidade matemática afirmaram que utilizar tecnologia de inteligência artificial para auxiliar nas pesquisas ajuda-os a encontrar respostas mais rapidamente, reduzindo o tempo gasto em pesquisas desnecessárias. Isso não só representa um avanço tecnológico, mas também reflete um problema comum na pesquisa acadêmica: muitos resultados publicados podem ser esquecidos ou ignorados devido à dificuldade de busca de informações.
A importância deste evento não está apenas em encontrar uma resposta esquecida, mas em mostrar o valor único da IA na pesquisa acadêmica. À medida que a quantidade de literatura acadêmica cresce exponencialmente, os métodos tradicionais de busca de literatura tornam-se cada vez menos capazes de lidar com grandes volumes de informações. Ferramentas de IA como o GPT-5Pro conseguem filtrar e localizar rapidamente literaturas relevantes, ajudando os pesquisadores a evitar estudos repetitivos e concentrarem-se em problemas realmente não resolvidos.
Essa evolução traz esperança para a exploração matemática futura e nos permite testemunhar o grande potencial da inteligência artificial na pesquisa acadêmica. Desde a ajuda na descoberta de novos conhecimentos até a recuperação de conhecimentos já existentes, a IA está se tornando um assistente indispensável na ciência. Com o avanço constante das tecnologias, o modelo de colaboração entre a IA e os pesquisadores humanos pode trazer mais avanços à comunidade acadêmica.
