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

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.

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.