AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
AI has deciphered theorems in mathematician Kurt Gödel's handwritten notebooks, reportedly containing hundreds of proofs.
Hacker News submitter: bookofjoe
Submitted to Hacker News: