News for hackers. Stuff that matters.

A comment on 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 tiffanyh on Friday November 13, 2026 @02:34PM (#50488583)
I’m been trying to use various frontier models to decipher lost ancient languages (like Linear A).

I wonder what tactics this used, so that I can leverage in my own work.

[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by rhdunn on Friday November 13, 2026 @03:42PM (#50489372)
The problem with Linear A is that we don't have a reference point like the Rosetta Stone to anchor it to other languages and scripts. It also has a small corpus, making it hard to find patterns in the texts.
[ Parent | on HN ]