DeepMind 发布 cryptids 仓库预热 Gemini 4

cheaty @cheatyyyy原推发布于 2026.10.13

在 X 上打开原推

Google DeepMind has released a new GitHub repo called 'cryptids', ahead of the Gemini 4 Argon general launch later today. They hold tiny Turing machines that run forever unless a famous conjecture is false, plus Lean proofs to do the same. Google seems to be back :)