Abstract:

In this talk, I will discuss recent advances in AI for Mathematics from neuro-symbolic systems, AlphaGeometry and AlphaProof, to foundational models such as Gemini Deep Think and most recently Aletheia, an advanced math research agent. Through these technological breakthroughs, I will also share my personal journey in building superhuman reasoning AI systems at Google DeepMind and my thoughts for the future.

Biography:

Dr. Thang Luong is a Principal Scientist and Director of Research at Google DeepMind. After earning his PhD from Stanford in 2016, his LuongAttention invention was key to upgrading Google Translate in 2017. At Google, Dr. Luong co-founded Project Meena (2020), which evolved into LaMDA, and co-led multimodal development for Bard, the precursor to Gemini. Since 2024, he has been leading the Superhuman Reasoning team at Google DeepMind to achieve IMO Silver (with AlphaGeometry and AlphaProof, 2024) and IMO Gold (with Gemini Deep Think, 2025). His honors include Google DeepRank Innovator award (2021), NUS Outstanding Young Computing Alumni Award (2023), Google DeepMind Tech Impact Award (2024), and most recently the 2025 ACL 10-year Test-of-Time Award. His works have been featured in Nature and major media outlets such as New York Times, Wall Street Journal, and Bloomberg. Outside of Google, Dr. Luong is also a co-founder of New Turing Institute (formerly VietAI), a non-profit organization that aims to nurture AI talents in Southeast Asia and beyond.