Hacker News 日本語 フォロー AIがゲーデルのノートを解き明かす、数百の証明済み定理が含まれているとされる AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems theguardian.com Hacker News 日本語 RSS thenote.app
