Open research efforts in AI for MATH will greatly benefit from this work that gives a teaser of the difficulties x.com/lmthang/status…. Their evaluations target the two essential components –Solver and Grader. Also give us some idea of the difficulties one runs into. I'm

A bit of a history of IMO-Bench and our IMO efforts: a. We started building IMO-Bench around early 2024, which was the precursor of ProofBench (basic). b. IMO-Bench was first mentioned in the Gemini 1.5 paper around May 2024. At that time, Gemini Math-specialized 1.5 Pro scored

Presenting at EMNLP tomorrow! Come check out our poster for details on the milestone benchmark for the IMO gold medal🥇 11.07(Fri) 14:00~15:30, Hall C

Introducing Gemini 3 ✨ It’s the best model in the world for multimodal understanding, and our most powerful agentic + vibe coding model yet. Gemini 3 can bring any idea to life, quickly grasping context and intent so you can get what you need with less prompting.  Find Gemini

Gemini 3 Deep Think is next level. Deep Think was the the engine behind our gold medal-level wins at IMO and ICPC, and now powers an even stronger version of Gemini 3. SOTA above SOTA. More to come soon!