@quocleix
Google Fellow
Exciting results in AI math research! We use Aletheia agent, powered by Gemini 3 Deep Think, to tackle the FirstProof challenge. Operating completely autonomously, Aletheia successfully solved 6 out of the 10 problems. Check out the full paper for details on the methodology and expert evaluations. t.co/jGebqX543b
See @lmthang tweet for more info: x.com/lmthang/status…
