← Back to Feed

Rising1 sources· last seen 6h ago· first seen 6h ago

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

Lead: Hacker NewsBigness: 37unlocksdel'snotebookscontainhundreds

Open primary source

📡 Coverage

10

1 news source

🟠 Hacker News

94

298 pts, 85 comments

🔴 Reddit

0

📈 Google Trends

0

Full methodology: How scoring works

Receipts (all sources)

AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

HACKERNEWS · Hacker News · 6h ago · ▲ 298 · 💬 85

score 193