DeepMind Aletheia solves Kirby topology problem
Thang Luong, Principal Scientist and Director of Research at Google DeepMind, announced that Aletheia solved one unsolved problem from Kirby’s list in low-dimensional topology. Powered by Gemini Deep Think, the system tackled Legendrian knots and semifree DG algebras. The result underpins the new arXiv paper “Undecidability Problems for Semifree DG Algebras” by Ciprian Manolescu and Nick Rozenblyum. Aletheia used one-shot prompting on 46 problems selected from nearly 400.
#188Thang Luong@LMTHANGVery excited to share a new milestone in AI for Math: Aletheia, powered by Gemini Deep Think, was just used to autonomously solve a Kirby problem! “Kirby’s list” is a “compendium of the most important unsolved problems in topology, the study of deformable shapes” (Quanta magazine). 🧵
