▲ 3 ▼ AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems (www.theguardian.com) submitted 19 hours ago by rssbot@lemmy.bestiver.se [B] to c/hackernews@lemmy.bestiver.se 1 comment fedilink hide all child comments Comments
[–] TootSweet@lemmy.world 0 points 16 hours ago Is one of the theorems a proof that there are 2 r's in "strawberry"? permalink fedilink source