Inteligencia Artificial·10 min readAlphaProof 2 de DeepMind resuelve problemas de olimpiada matemática en tiempo realNoa Levi · 22 may 2026