● ResearchNov 14, 2026 · 00:301 source
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
From theguardian.com
AI unlocked Kurt Gödel's 1,009 pages of text. This text is said to contain hundreds of proved theorems.
Read originalSign in to suggest