Thang Luong(@lmthang):Very 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). 🧵

Thang Luong

@lmthang

Director, lead Superhuman Reasoning @GoogleDeepMind. AI IMO Gold. Co-led #Aletheia#, #DeepThink#, #AlphaGeometry#, #Bard# (now Gemini) Multimodality, #MeenaBot#.

Joined December 2008

98 Following 32.5K Followers

Thang Luong@lmthang

2026.05.13 17:33

Very 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). 🧵