Claude helps Helsinki study Gödel notebooks

Researchers at Helsinki University successfully enlisted the AI model Claude to analyze obscure shorthand notebooks written by the 20th-century logician Kurt Gödel. The AI helped uncover hundreds of previously unknown theorems and assisted in reconstructing a proof for the independence of the axiom of choice. Logicians noted that while the AI successfully mapped out Gödel's path and ideas, historians will still need to evaluate the findings. Open article →