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

article⭐ 1,000 stars

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

HackerNews · 343 points · 93 comments

Type

article

Stars

1,000

Added

Nov 14, 2026

Join builders getting curated tech discoveries every week. No spam.

No spam. Unsubscribe anytime.

↗Related Items

article🟠 HackerNews

⭐ 1,000

HackerNews · 742 points · 267 comments

article🟠 HackerNews

⭐ 1,000

HackerNews · 717 points · 227 comments

article🟠 HackerNews

⭐ 1,000

HackerNews · 1099 points · 641 comments