AI Squawk the real-time terminal for AI news

↗

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

21h ago · HN "AI" (>=75pt) →

Kurt Gödel left 1,009 pages of densely written text – much of it in an obsolete shorthand – which is now said to contain hundreds of proved…

Why is this ranked here?

Source tier 2: +25
Category RESEARCH: +10
Other adjustment (same-source burst decay, or scored under an earlier weighting): −10
Base score: 25
Velocity (0 corroborating sources, 405 HN points): +20
Age decay (21h since published): −22
Effective score right now: 23