IA ajuda a decifrar cadernos inéditos de Kurt Gödel com centenas de teoremas nunca publicados
Um projeto de investigação divulgado a 13 de novembro de 2026 recorreu a um modelo Claude para decifrar 16 cadernos de pesquisa inéditos do matemático Kurt Gödel, escritos no início da década de 1940 numa taquigrafia hoje obsoleta.
Segundo o The Guardian, os cadernos somam 1.009 páginas e estavam largamente ilegíveis devido ao sistema de taquigrafia pessoal usado por Gödel. Um relato relacionado, publicado na plataforma note.com, atribui a um modelo Claude, da Anthropic, o trabalho de transcrição e análise, apontando a identificação de 663 teoremas potencialmente novos ao longo do material — um número que o Guardian, mais cauteloso, descreve apenas como 'centenas' de teoremas provados.
Os excertos disponíveis das duas fontes não identificam de forma completa a equipa de investigadores responsável nem detalham integralmente o processo de verificação matemática aplicado a cada teorema extraído, pelo que este número exato de 663 ainda carece de confirmação independente mais aprofundada. Gödel, autor dos célebres teoremas da incompletude, é uma das figuras centrais da lógica matemática do século XX, e o achado é apresentado pelo Guardian sob o título 'Ahead of his time' (Adiantado para o seu tempo).
Perguntas frequentes
Quantos teoremas novos foram encontrados nos cadernos de Gödel?
Uma fonte aponta 663 teoremas potencialmente novos, mas o Guardian fala apenas em 'centenas', sem confirmar esse número exato — pelo que o valor preciso ainda não está totalmente verificado.
Fontes
- The Guardian www.theguardian.com
Resumo editorial em português feito com apoio de inteligência artificial a partir das fontes indicadas. Como fazemos o Boletim IA.