Hacker News 한국어 팔로우 AI가 괴델의 노트들을 해독했으며, 이 노트들에는 수백 개의 증명된 정리들이 담겨 있다고 한다. AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems theguardian.com Hacker News 한국어 RSS thenote.app
