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

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by _bent on Friday November 13, 2026 @02:05PM (#50488217)

you can just write a doc with your proof/idea, hash it and post that hash on twitter

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by soulofmischief on Friday November 13, 2026 @04:51PM (#50490400)

Yes, you can. So maybe we'll see an adoption of that paradigm, or another. The value of a ZKP is that you can optionally prove some facts up front about the file, whereas a normal hash is all-or-nothing. You can't reveal part of the information because you need the entire contents to properly verify the hash.

[ Parent | on HN ]