Claude decifra cadernos de Gödel e revela 663 teoremas escondidos há 80 anos
Catégories: Inteligência Artificial
Equipe da Universidade de Helsinque usou o Claude para analisar 1.009 páginas dos cadernos de Kurt Gödel, escritos em taquigrafia nos anos 1940: 663 teoremas surgiram, cerca de 400 passaram na verificação formal do Coq.
Lire la suite