📜 Claude leu 1.009 páginas das anotações de Gödel e listou 663 teoremas
O lógico finlandês Jan von Plato vinha decifrando os cadernos de trabalho do início dos anos 1940 de Kurt Gödel a um ritmo de cerca de uma página por semana desde 2017. Em setembro, ele entregou suas transcrições a Claude e, em poucos dias, recebeu de volta uma explicação de 650 páginas. Dos 663 teoremas que Gödel havia provado, esboçado ou apenas delineado, cerca de 400 foram confirmados no assistente de provas Coq tal como estavam escritos, cerca de 200 precisavam de correções e cerca de 50 eram falsos. Claude também descobriu que Gödel estava a apenas uma definição incorreta de provar que o axioma da escolha é independente — resultado pelo qual Paul Cohen mais tarde recebeu a Medalha Fields.
⭐ Um lógico que avançava a uma página por semana entregou os cadernos a Claude e recebeu anos de leitura de volta em dois dias.
#IA
O lógico finlandês Jan von Plato vinha decifrando os cadernos de trabalho do início dos anos 1940 de Kurt Gödel a um ritmo de cerca de uma página por semana desde 2017. Em setembro, ele entregou suas transcrições a Claude e, em poucos dias, recebeu de volta uma explicação de 650 páginas. Dos 663 teoremas que Gödel havia provado, esboçado ou apenas delineado, cerca de 400 foram confirmados no assistente de provas Coq tal como estavam escritos, cerca de 200 precisavam de correções e cerca de 50 eram falsos. Claude também descobriu que Gödel estava a apenas uma definição incorreta de provar que o axioma da escolha é independente — resultado pelo qual Paul Cohen mais tarde recebeu a Medalha Fields.
⭐ Um lógico que avançava a uma página por semana entregou os cadernos a Claude e recebeu anos de leitura de volta em dois dias.
#IA
