Inteligencia Artificial OpenAI Astra resuelve 10 problemas de matemáticas que llevaban décadas sin avances 4 ago 2026