When you think of AI, also think of humanity. That was the main message of the GStar Summit on AI and humanity that I organized two days ago (as a break after Google I/O). For a long time, I have been deeply focused on advancing the capabilities of
@lmthang
-
Using Gemini 3.5 and Antigravity to Auto-Train AlphaZero for Go
By
–
Pretty wild to be able to automatically train AlphaZero and serve a playable Go demo with just 2 prompts using Gemini 3.5 Flash and Antigravity 2.0 … https://t.co/rsz3jQKqtG
— Thang Luong (@lmthang) 20 mai 2026Pretty wild to be able to automatically train AlphaZero and serve a playable Go demo with just 2 prompts using Gemini 3.5 Flash and Antigravity 2.0 …
-
Google launches Gemini 3.5 Flash powering new models
By
–
Checking out Gemini 3.5 Flash, available today, which helped power Antigravity 2.0, Gemini Spark, and many more! https://
blog.google/innovation-and
-ai/models-and-research/gemini-models/gemini-3-5
… -
Aletheia AI Helps Power Advanced Math Research
By
–
This also marks the 10th math research paper that Aletheia has helped power! Following its recent success with Erdős problems, it's incredible to see AI expanding into advanced topology. See all problems that Aletheia has helped at https://
github.com/google-deepmin
d/superhuman/tree/main/aletheia
…. Some quotes from the -
AI system Aletheia autonomously generates proofs for topology problem
By
–
Recently, Aletheia (courtesy of Tony Feng) helped Stanford mathematician Ciprian Manolescu tackle Problem 5.16 from the K3 list (3rd version of Kirby’s List) in low-dimensional topology, autonomously generating proofs for the new paper “Undecidability problems for semifree DG
-
AI system Aletheia (Gemini) autonomously solves Kirby problem
By
–
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
-
Aletheia AI Agent Tackles 10th Mathematics Paper Autonomously
By
–
Looking forward to speaking at this tomorrow! And maybe reveal a bit what the 10th paper that #Aletheia has helped mathematicians (autonomously) tackle is 🙂
-
AI Math Capabilities: Conservative Assessment at L2+ Level
By
–
Maybe we should calibrate together. We (generally @tonylfeng
) are more on the conservative side that results in AI for Maths are mostly at L2+ (for now). We haven't seen any L3 result yet. -
Shifting AI evaluation metrics beyond Level 2 results
By
–
Yes, we will soon stop counting Level-2 results & shift toward Levels 3 & 4 that were laid out in the Aletheia paper.
-
AI Helps Mathematicians: 9th Research Paper Success
By
–
9th math research paper that #Aletheia has helped mathematicians! Number 10 is coming soon! Quoting @tonylfeng on this:
"Cool new paper by Thomas Krämer, Daniel Litt, Marco Maculan, featuring a (small) contribution from Gemini Deep Think and Aletheia. … AI is very useful for