Uma inteligência artificial ajudou pesquisadores a identificar centenas de resultados matemáticos desconhecidos em 1.009 páginas de cadernos escritos por Kurt Gödel, um dos maiores nomes da lógica. A análise revelou 663 teoremas e mostrou que o cientista austríaco pode ter antecipado descobertas feitas décadas depois, incluindo uma demonstração que transformou a matemática moderna.
Como a inteligência artificial conseguiu analisar os cadernos de Kurt Gödel?
O trabalho foi conduzido pelo lógico finlandês Jan von Plato, da Universidade de Helsinque, que desde 2017 coordena um projeto para estudar 16 cadernos produzidos por Gödel no início da década de 1940. Os documentos contêm anotações sobre matemática e lógica, muitas delas escritas em Gabelsberger, um sistema de taquigrafia alemão que já estava ultrapassado naquela época.
A dificuldade para interpretar os manuscritos fazia a equipe avançar em um ritmo de aproximadamente uma página por semana. Em setembro de 2026, os pesquisadores começaram a utilizar o Claude, modelo de inteligência artificial da Anthropic, para examinar transcrições dos cadernos e materiais científicos relacionados. Em poucos dias, o sistema produziu uma análise de cerca de 650 páginas.
IA encontrou 663 teoremas e revelou resultados esquecidos por décadas
A análise identificou 663 teoremas nos manuscritos, incluindo demonstrações completas, argumentos parcialmente desenvolvidos e ideias que Gödel pretendia investigar. Segundo reportagem publicada pelo The Guardian em 13 de novembro de 2026, aproximadamente 400 resultados foram confirmados como estavam escritos, enquanto outros 200 precisaram de ajustes.
Cerca de 50 resultados foram considerados incorretos, algo que também aparecia nas observações feitas pelo próprio matemático em algumas páginas. Além disso, a investigação revelou 14 temas de lógica que, segundo von Plato, ainda não haviam recebido estudos específicos. Parte das anotações também antecipava resultados matemáticos que só se tornariam conhecidos nas décadas de 1970 e 1980.
Programa Coq ajudou a verificar as descobertas feitas pela IA
Para conferir os resultados, os pesquisadores utilizaram o Coq, um assistente de demonstração matemática capaz de verificar se um argumento segue corretamente determinadas regras lógicas. Essa etapa permitiu separar resultados válidos, demonstrações que precisavam ser corrigidas e afirmações que não resistiram à verificação formal.
Leia Também
O processo também mostra uma diferença importante entre identificar uma descoberta e comprovar que ela está correta. O Claude conseguiu relacionar informações espalhadas por centenas de páginas, mas a equipe precisou examinar suas interpretações. O uso de um verificador formal ajudou a reduzir o risco de aceitar conclusões produzidas incorretamente pela inteligência artificial.
Gödel pode ter antecipado uma descoberta premiada com a Medalha Fields
Uma das revelações envolve o axioma da escolha, princípio importante da teoria dos conjuntos. Em 1966, o matemático americano Paul Cohen recebeu a Medalha Fields por contribuições que incluíam a demonstração da independência desse axioma e da hipótese do contínuo. Gödel havia afirmado que conseguira um resultado semelhante nos anos 1940, mas não apresentou uma demonstração completa aos colegas.
Ao examinar os manuscritos, a equipe encontrou uma estrutura matemática próxima daquela utilizada posteriormente por Cohen. Segundo von Plato, Gödel estava a um passo de concluir o argumento, mas havia empregado uma definição incorreta, embora tivesse utilizado a definição adequada em anotações anteriores. Uma reconstrução corrigida passou pela verificação no Coq, sem comprovar que Gödel havia finalizado a demonstração original.
Quem foi Kurt Gödel e por que suas pesquisas mudaram a matemática?
Nascido em 1906, Kurt Gödel ficou conhecido pelos teoremas da incompletude, publicados em 1931. Esses trabalhos demonstraram limitações profundas dos sistemas matemáticos formais, mostrando que existem afirmações que não podem ser demonstradas nem refutadas dentro de determinados sistemas, mesmo quando seguem regras lógicas rigorosas.
As descobertas influenciaram o desenvolvimento da computação teórica e os trabalhos de Alan Turing. Depois de deixar a Europa em 1940, Gödel estabeleceu-se em Princeton, nos Estados Unidos, onde manteve amizade com Albert Einstein. O Instituto de Estudos Avançados de Princeton, ao qual esteve ligado até sua morte em 1978, também destacou a importância da redescoberta dos manuscritos.
Descobertas ainda precisam ser avaliadas por outros especialistas
Apesar dos resultados, a pesquisa exige cautela na interpretação histórica. O professor Joel David Hamkins, da Universidade de Notre Dame, afirmou ao The Guardian que a reconstrução pode ser relevante, mas ainda precisa passar por avaliação especializada. A existência de ideias semelhantes às de Cohen não significa necessariamente que Gödel tenha concluído a mesma demonstração décadas antes.
Também será necessário distinguir quais argumentos estavam efetivamente presentes nos manuscritos e quais etapas foram reconstruídas com ajuda da inteligência artificial. Essa diferença será decisiva para estabelecer a autoria e o alcance das descobertas. Os resultados encontrados abrem novas possibilidades para estudar a história da matemática, mas não substituem a revisão científica.
Pesquisadores querem investigar novos manuscritos sobre física e cosmologia
O próximo objetivo de Jan von Plato é continuar examinando os resultados de lógica e explorar outros materiais deixados pelo matemático. Entre eles estão cadernos sobre física e cosmologia, áreas que Gödel também investigou. A expectativa é verificar se esses documentos contêm argumentos ainda desconhecidos ou conexões com pesquisas desenvolvidas posteriormente.
O caso mostra uma aplicação prática da inteligência artificial na pesquisa científica: analisar grandes arquivos, localizar relações difíceis de perceber e organizar informações que levariam anos para ser examinadas manualmente. O próximo passo será confirmar quais descobertas resistem à análise de especialistas e quais representam contribuições originais de Gödel. A validação independente determinará o verdadeiro alcance dos resultados.