AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems : hackernews@lemmy.bestiver.se

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

1 comment

sorted by: hot top controversial new old

[–] TootSweet@lemmy.world 0 points 16 hours ago

Is one of the theorems a proof that there are 2 r's in "strawberry"?

1 comment in c/math@lemmy.sdf.org view that post

[–] Dadifer@lemmy.world 1 point 9 hours ago

That is super cool.