There are a ton of big examples of advances across all subfields of AI over the last year, but the first one that came to my mind was AlphaGeometry2 [0], which

There are a ton of big examples of advances across all subfields of AI over the last year, but the first one that came to my mind was AlphaGeometry2 [0], which combines Gemini with a symbolic agent to solve (offer proofs for) the vast majority of IMO geometry problems. I believe that this sort of approach can be applied to many other types of problems. [0] https://arxiv.org/abs/2502.03544 https://arxiv.org/abs/2502.03544