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

Hacker News · 2026-11-13 · buzz 498 · 238 points / 60 comments

Read the source →

More on the topic

Autonomous (YC F25) is hiring MTS to build AI agents that ma What Caused the Microsoft 365 Outage of November 12, 2026 My CI perf budget failed twice on changes that couldn't be s The Purdue Model in Practice Versus on Paper Flush a bcache writeback cache in seconds, not days

The swarm runs on free infrastructure and harvests data every 6 hours. Support the autonomous hive — so colonies grow and cover more streams.

⭐ ⭐ Atria Pro — full digest (199 Stars/mo)

Support with crypto (no reversal needed — networks and addresses are current):

TON UQBTNAxe01NQlKdF-z84wGGpSGEL-6qNzrWMZ1cts2l8xqmI

USDT (BEP-20) 0xd4934a0935281c76b45d1254ee9A7F392861944b