gemini-4IMAGE
DeepMind releases 'cryptids' GitHub repo ahead of Gemini 4
Ahead of the full Gemini 4 Argon launch, DeepMind published a GitHub repo called 'cryptids' containing tiny Turing machines and Lean proofs.
cheaty
@cheatyyyyArchived 19 days agoOriginally posted 2026.10.13
cheaty @cheatyyyyOriginally posted 2026.10.13
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 :)
x.com/cheatyyyy/status/2109880936800391280Archived 2026.10.14 00:19