Alkemet News
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
(theguardian.com)
304
points
bybookofjoe
7 hours ago |
89
comments
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date