4 ms·
LLMs, maybe. AI? Hardly.
by therealpygon 1y ago
LLMs, maybe. AI? Hardly.
- apwell23 1y ago>AI? Hardly. what are some examples of 'hardly' ?
- falcor84 1y agoThere 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